Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Owen Lamont
owenlamont
I'm a developer/analyst with interests in data visualisation, machine learning, computer graphics, and Python
OptiGrid Adelaide, Australia
Numair Mansur
numairmansur
Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems
Amazon Web Services Berlin, Germany