I am an Associate Professor of 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) in 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 address trustworthy machine learning through the lens of formal reasoning.

In the long run, I aim to develop computational systems that integrate reasoning and learning with rigorous guarantees and flexibility to address continuous developments, 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