Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > IGUERNELALA Mohamed
About LRI
Mr IGUERNELALA Mohamed

Warning: this member left the laboratory on 31/10/2020
 
IGUERNELALA Ingénieur expert
unknown
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 37/PCRI-S

Personal web page : http://www.iguer.info/
Email : Mohamed.Iguernelala@lri.fr

Research activities
   - Automated Proof, SMT and Applications

Publications







Software & Patents
   - Alt-Ergo: The Alt-Ergo theorem prover


Ph.D. dissertations & Faculty habilitations
Ph.D   - Strengthening the Heart of an SMT-Solver: Design and Implementation of Efficient Decision Procedures