SPLASH 2024 (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
Using general profile