Christine Paulin-Mohring

Christine Paulin-Mohring (born 1962) is a mathematical logician and computer scientist, and Professor Faculté des Sciences at Paris-Saclay University, best known for developing the interactive theorem prover Coq. Provided by Wikipedia
1
Cover Image
Published 2013
Other Authors: '; “...Paulin-Mohring, Christine....”
Get full text
Electronic
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Artificial intelligence Computer Science Computer science Computer software Data protection Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering Software engineering Systems and Data Security