Laid Kahloul is a professor of computer science at the University of Biskra, attached to the Department of Computer Science. He is also a researcher affiliated with the Laboratory of Intelligent Computing (LINFI). His research concerns the use of formal methods in the software process. He is the author of several articles in this field.