Wednesday, October 10, 2018

Ada Lovelace Day 2018

Almost forgot about Ada Lovelace Day again! The interwebs seem to be forgetting too. With all the bad stuff happening in politics and all the accumulated work, caused by (very nice, all the same!!) being Invited Speaker at the Logic AI Summit in Luxembourg, no wonder.

Anyways, my hero figure this year is Professor Christine Paulin-Mohring, Professor Université Paris-Sud and INRIA Saclay - Île-de-France.
Prof Paulin-Mohring  is one of the people responsible for Coq, the famous French theorem prover and an expert on  automated theorem proving using dependent type theory. I have not, so far, recognized any of my heroes of Functional Programming, so this is about time, really. Happy Ada Lovelace Day, Christine!