Khelifa Saber
Overview of research area
My research topics are essentiellay focused on studies of different lambda-Caculus systems from rewriting system point of view as : confluency and normalisation. Form logical and semantic point of view as realisability and completeness.
Short biography
After a graduation in fundamental mathemathics from Ecole Normale Supérieure of Kouba (Algiers), I obtained a Master’s degree from the University of Savoie Mont-Blanc in fundamental mathematics with a Master thesis on Lambda-Calculus and Classical Natural Deduction at the LAboratoire de MAthématiques of Savoie Mont-Blanc Univeristy. In 2007, I defended a PhD thesis in Lambda-Calculs and its extension to the classical natural deduction with disjunction as primitive supervised by Karim Nour at the LAboratoire de MAthématiques de Chambéry. During these years, I improved my skills in proof theory, logical systems, their different lambda-calculus and on theoritical computer science. Since 2009, I extended my research fields and got new skills in quantum and probalisitic lambda-calculs, AI, artificial neural networks and fuzzy logic . Now, I’m associate professor at ESME Sudria – School of Engineering (Lyon Campus), where I teach, mathematics and theoritical computer science.
Publications
