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 (54)
python10
verification10
emscripten10
pyodide10
nodejs10
webassembly10
smt9
latex8
sat-solver8
vim-plugin7
filetype7
tex7
sat7
mlmodel7
neovim6
Programming languages (9)
Github contributions (5)
alexeyignatiev/alexeyignatiev.github.io
Aug 2019 - May 2026
Personal webpage
Contributions:137 pushes, 1 branch in 6 years 9 months
reactpersonal-webpagewebpage
pysathq/pysat
Aug 2018 - Jan 2023
A toolkit for SAT-based prototyping in Python
Contributions:4 releases, 1 review, 141 commits in 4 years 5 months
python
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.