Miquel Ramírez
Research Fellow at Praetorian Aeronautics
Melbourne, Victoria, Australia
Summary
👤
Senior🎓
Top SchoolMiquel 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.
23 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science Artificial Intelligence, Doctor of Philosophy (PhD) Computer Science Artificial Intelligence at Universitat Pompeu Fabra
Japanese
Stackoverflow
543reputation
43kreached
19answers
0questions
Github Skills (81)
first-order-logic10
agent-based-modeling10
planning10
modeling10
robotics9
rubiks-cube9
python9
artificial-intelligence9
ai8
solver8
sat8
machine-learning8
verification8
drake7
placement7
Programming languages (8)
Github contributions (5)
miquelramirez/aptk
Jun 2011 - May 2012
Contributions:30 commits in 11 months
miquelramirez/yowie-benchmarks
Nov 2018 - Nov 2020
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.