I am a computer scientist interested in various areas of computation, including algorithmic analysis, combinatorial optimisation, formal methods, reasoning, and machine learning.

I currently hold a position as an Associate Professor of Computer Science at INSA Toulouse and LAAS-CNRS. My research is conducted within the ROC group (Operations Research, Combinatorial Optimization, and Constraints) at LAAS-CNRS.

My early research broadened the use of Constraint Programming and Boolean Satisfiability for sequencing, scheduling, and preference-based matching. My current focus is on trustworthy machine learning through automated reasoning and formal methods. In the long term, I aim to develop resilient computational systems that integrate reasoning and learning with rigorous guarantees, while remaining adaptable to 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