Dutch Formal Methods Day 2025 (series) / Joost J. Joosten

Registered user since Mon 6 May 2024
Name:Joost J. Joosten
Bio:
Undergrad mathematics at the University of Amsterdam with a Master in Logic at the Institute for Logic, Language and Computation; PhD at Utrecht University on Interpretability Logic; Current position at the University of Barcelona at the Philosophy Department with an ICREA Academia distinction and membership to the Institute of Mathematics of the University of Barcelona.
Country:Spain
Affiliation:University of Barcelona
Personal website: http://www.joostjjoosten.nl//
Research interests:Logic, Foundations of Mathematics, Interactions of Logic and Law, Rule based artificial intelligence
Contributions
2025
Dutch Formal Methods Day
Dutch Formal Methods Day 2025-profile
View general profile
View general profile