Juan Conejero

Juan Conejero received his B.Sc. in Mathematics from the University of València and his M.Sc. in Pure and Applied Logic from the University of Barcelona. After finishing his studies, he worked on bringing formal verification to the road transport regulation sector and creating verified programs, that automatically check for legal compliance, using Coq. His interests include logic, the formalization of mathematics, programming language theory, and program verification. He is an open source software supporter and has contributed to the development of the Coq Proof Assistant.