Alexey Ignatiev
Associate Professor
Melbourne, Victoria, Australia
Summary
👤
SeniorAlexey Ignatiev is an Associate Professor and Course Director of the Bachelor of Computer Science at Monash University with over a decade of experience developing SAT- and SMT-based decision and optimization methods for AI applications. His research tackles practical problems from software package upgradability and Boolean formula minimization to model-based diagnosis, software fault localization and formal explainable AI, bridging theoretical advances and real-world impact. Having progressed from postdoctoral work at the University of Lisbon to senior academic leadership in Melbourne, he combines deep algorithmic expertise with curriculum stewardship. Notably, his work emphasizes highly efficient, application-tailored solvers that make formal methods usable in large-scale software and diagnostic settings.
11 years of coding experience
8 years of employment as a software developer
Github Skills (62)
formula10
python10
verification10
browser10
sat10
pyodide10
webassembly10
prototyping10
smt10
rubiks-cube9
manipulation9
latex8
tex8
filetype8
vim-plugin7
Programming languages (9)
Github contributions (5)
alexeyignatiev/satlive
Jan 2019 - Mar 2024
SAT Live! web site
Contributions:11 pushes in 5 years 3 months
satweb-site
pysathq/pysathq.github.io
Jun 2018 - Mar 2025
Contributions:158 pushes, 1 comment in 6 years 10 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.