"I am a professor of computer science in Orléans (teaching: IUT, UFR Sciences - research: LIFO). My general interests are in programming language design and implementation, constraint programming, and computational linguistics."
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)
D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, volume 55 of Fundamental Theories of Physics, Springer Netherlands, (1993)