Joost J. Joosten

Joost J. Joosten studied mathematics and physics at the University of Amsterdam. He specialized in logic obtaining his master from the Institute of Logic, Language and Computation and his PhD at the University of Utrecht. After working at Risk Management at an international bank and various postdocs he is now associate professor at the University of Barcelona where he leads a group on pure and applied logic in covenant with two industrial partners. The applied logic group works on legal software: design, implementation and homologation. The main current research revolves around quantitative temporal regulations which results in software that has mathematically proven zero errors w.r.t. its specification.