Professor del Departament de Filosofia de la Facultat de Filosofia de la UB. És doctor en lògica per la Universitat d’Utrecht i graduat en Física i Astronomia, i Matemàtiques per la Universitat d’Amsterdam. Després de diverses estades postdoctorals, va arribar a la Universitat de Barcelona, concretament a la Facultat de Filosofia, amb una ajuda Ramon i Cajal. Té diverses línies de recerca, algunes més teòriques i altres més aplicades. La línia teòrica gira entorn els fonaments de les matemàtiques. La línia més aplicada tracta de mètodes formals en general, i en particular, de la generació de programari que està matemàticament demostrat que és lliure d’errors. Una pregunta important relacionada amb aquesta darrera línia és saber com aquest software ha de trobar el seu lloc dins de la societat, sobretot quan s’aplica a l’àmbit legal i a la intel·ligència artificial.
Events
| ID | Event Name | Duration | Start Date |
|---|---|---|---|
| Intel·ligència artificial i humanitat, perills i avantatges | 1 Hours | 11/09/2023 |
