Miquel Ramírez

Research Fellow at Adelaide University

Melbourne, Victoria, Australia
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Miquel Ramírez is a research-focused AI engineer with 23 years of experience bridging academic rigor and applied autonomous systems, currently holding research and leadership roles at Adelaide University and Praetorian Aeronautics. Over nine years at the University of Melbourne he led foundational work in reinforcement learning, automated planning, combinatorial optimization and trusted autonomy, with a track record of publishing and advancing hybrid planning for dynamical systems. He combines deep theoretical expertise from a PhD in AI with practical experience building research software since his early work on recommender systems and music-tech tools. Comfortable both teaching and convening courses, he has a history of mentoring students while delivering collaborative research across multiple universities. Known for translating complex planning problems into implementable algorithms, he often focuses on the interplay between discrete planning and continuous dynamics—an uncommon cross-cutting skill in autonomous systems research. Based in Melbourne, he brings academic depth alongside industry-oriented leadership in AI teams.
code24 years of coding experience
job7 years of employment as a software developer
bookDoctor of Philosophy (PhD) Computer Science Artificial Intelligence, Doctor of Philosophy (PhD) Computer Science Artificial Intelligence at Universitat Pompeu Fabra
languagesJapanese
stackoverflow-logo

Stackoverflow

Stats
543reputation
43kreached
19answers
0questions
github-logo-circle

Github Skills (47)

first-order-logic10
ai9
sat-solver8
robotics8
pddl7
voice6
drake6
validation6
ruler6
macros6
algorithm6
c-preprocessor6
artificial-intelligence6
signal-processing6
class-library5

Programming languages (8)

C++CHTMLMiniZincSMTGDScriptPythonKotlin

Github contributions (5)

github-logo-circle
miquelramirez/aptk

Jun 2011 - May 2012

Contributions:30 commits in 11 months
Contributions:20 commits, 11 pushes, 1 branch in 1 year 11 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial