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 Optimisation, and Constraints) at LAAS-CNRS. I earned my PhD at LAAS-CNRS in 2015, then joined the Insight Centre for Data Analytics at University College Cork, Ireland, as a postdoctoral researcher.

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