Nadjib Lazaar

About

Professor Nadjib Lazaar is a full professor at the University of Paris-Saclay in France. His research primarily focuses on areas such as program precondition inference, qualitative constraint acquisition, and learning constraints through queries. He has authored recent articles including "A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference" and "Boosting the Learning for Ranking Patterns."