Description: Alexey Ignatiev's home page.
about publications software curriculum vitae Alexey Ignatiev Faculty of IT, Monash University, Australia I am a Senior Lecturer at the Optimisation research group of the Faculty of Information Technology of Monash University .
Previously, I was a postdoctoral researcher supervised by Joao Marques-Silva and then a researcher at the Reason Lab, Faculty of Sciences , University of Lisbon , working on various topics related to computing and reasoning with SAT oracles, among many other problem areas.
I did my Ph.D. ( candidate of physico-mathematical sciences in Russia) under the supervision of Alexander A. Semenov at Matrosov Institute for System Dynamics and Control Theory, a research institute of the Russian Academy of Sciences. My thesis was about combining conflict-driven clause learning (CDCL) with binary decision diagrams (BDDs) done in parallel.