Mohammed Nassim Seghir

Mohammed Nassim Seghir is affiliated with the Department of Informatics at the University of Freiburg, Germany. He holds a PhD in Computer Science from 2010, focusing on Abstraction Refinement Techniques for Software Model Checking. His research interests include formal methods, software verification using SMT solvers, and program analysis. He contributes to the Software Modeling and Verification (SWT) research group.

He has taught numerous courses since 2005, including Program Verification, Software Engineering, and Cyber-Physical Systems. His work includes developing tools like ACSAR (for automated safety verification) and LotoStem (for concurrent system verification). Seghir’s publications emphasize abstraction refinement, loop summarization, and assume-guarantee reasoning in software model checking.

He has presented research at venues like ATVA 2011, AMAST 2010, and SAS 2009, focusing on scalable verification techniques and integration with theorem provers like Isabelle. His work bridges theoretical formal methods with practical tool development for industrial applications.