I am an Associate Professor in Computer Science at INSA Toulouse and LAAS-CNRS. I conduct my research as a member of the ROC research group (Operations Research, Combinatorial Optimization, and Constraints) at LAAS-CNRS. I completed my PhD in the ROC research group between 2012 and 2015. In 2015, I moved to Ireland to pursue a postdoctoral research position at Insight, Centre for Data Analytics, University College Cork, Ireland.

My early research focused on widening the scope of applications of Constraint Programming and Boolean Satisfiability to a variety of Combinatorial Optimisation problems, including sequencing, scheduling, and matching under preferences, among others. My current research addresses trustworthy machine learning through the lens of automated reasoning and formal methods.

In the long run, I aim to develop resilient computational systems that integrate reasoning and learning with rigorous guarantees and the flexibility to address ongoing change, uncertainty, and undesirable outcomes.

My CV is available here .

Contact information:
Address: 7, avenue du Colonel Roche, BP 54200, 31031 Toulouse Cedex 4, France
Gmail: s i a . m o h a m e d
Office phone: +33 5 61 33 69 31