Sami Cherif

Sami Cherif is a Lecturer at the University of Picardie Jules Verne, specializing in Optimization and Cryptography, AI - OCIA. His research focuses on advanced applications of Constraint Programming and Max-SAT in solving complex industrial and cryptographic problems.

• PhD in Computer Science (2022, Aix-Marseille University)
• Key collaboration networks: Chu-Min Li, Sorina Ionica, Corinne Lucet

Research Interests
Dr. Cherif’s work bridges Artificial Intelligence with Cryptography, emphasizing:

• Max-SAT resolution techniques
• Energy-efficient manufacturing systems
• Conference scheduling optimization
• Cryptographic attack modeling

Publication Trends
His recent publications (2025–2024) highlight Max-SAT as a central method for:

• Self-stabilization analysis
• Assembly line energy optimization
• Cryptographic problem solving
• Conference scheduling

Academic Collaborations
Active collaborations in constraint programming include co-authors such as Chu-Min Li, Sorina Ionica, and Corinne Lucet, with applications spanning from industrial engineering to cryptanalysis.