I am a postdoctoral researcher working at The Optimisation Research Group of NICTA with Prof. Peter Stuckey (soon it will become The Decision Science Group of Data61).

Before that, I worked in the Logics and Programming Research Group under the supervision of Robert Nieuwenhuis, Albert Oliveras and Enric Rodríguez Carbonell.

My work deals with combinatorial optimitzation problems from real-world industries, like schedule profesional sportive leagues, timetabling, etc. using SAT and SMT-based techniques. Therefore, it consists on finding better encodings of these problems and improving our SAT and SMT Solvers.

My address is 115 Batman Street at West Melbourne, 3003, Victoria (Australia). My phone number is +61 399 828 206, and my email is ignasi dot abio at nicta dot com dot au

A picture