| Ocupación | lógico, informático teórico, físico |
|---|---|
| Nacimiento | 1964 |
| Instituciones | Technical University of Munich |
| Formación | Universidad de Zaragoza |
| Lugar de nacimiento | España |
| Director de tesis | Manuel Silva Suárez |
| Miembro de | Academia Europaea, SIGLOG |
Fuentes: Wikidata (CC0) · Wikidata Q102342745