La lógica matemática y su aplicación a los fundamentos de la informática definen la carrera de Johann A. Makowsky. Nacido en Hungría en 1948 y habiendo obtenido posteriormente la ciudadanía suiza, cursó una formación académica rigurosa en la ETH de Zúrich. Su trayectoria profesional recorrió panoramas de investigación internacionales, influyendo en campos que van desde la teoría de modelos y los algoritmos de grafos hasta la complejidad de bases de datos y la programación lógica.
Formación académica
Makowsky se matriculó en la ETH de Zúrich en 1967 y completó sus estudios en 1971. Bajo la supervisión de Ernst Specker y Hans Läuchli, desarrolló una base en lógica matemática. Su educación se extendió más allá de Suiza, ya que pasó el año 1972 en Varsovia trabajando con Andrzej Mostowski y Witek Marek. También se relacionó con las enseñanzas de Beno Eckmann en topología y geometría, junto con Volker Strassen en algoritmia, obteniendo finalmente su doctorado en ciencias matemáticas (Dr. math.sc.) en 1974.
Investigación y trayectoria profesional
Su carrera abarca numerosos puestos de profesor visitante en instituciones globales, incluidas la Universidad Stanford, la Universidad Simon Fraser, la Universidad de Florencia y la Universidad de Lausana. Ocupó cargos académicos permanentes en la Universidad Libre de Berlín y en el Technion – Instituto Tecnológico de Israel en Haifa, donde ejerció como profesor titular. Desde 2016 ostenta el título de profesor emérito en el Technion, manteniendo su participación en la investigación y en la supervisión de estudiantes de posgrado.
Contribuciones a la lógica y la computación
Makowsky produjo resultados significativos en teoría de modelos, específicamente en lo referente a la teoría de la categoricidad y a las propiedades de interpolación y compacidad, junto con Saharon Shelah y Jonathan Stavi. Su trabajo en teoría de bases de datos identificó los primeros resultados de indecidibilidad para problemas de consecuencia relacionados con dependencias, junto con Ashok Chandra y Harry Lewis. Además, colaboró en la unificación de los modelos entidad-relación con los modelos relacionales y estudió la complejidad de las fórmulas de Horn.
Teoría de grafos y servicio profesional
En el ámbito de los algoritmos de grafos, desarrolló un enfoque teórico-modelístico de la anchura de árbol y la anchura de camarilla (tree-width y clique-width). Esta investigación contribuyó a una teoría general de los polinomios de grafos y su definibilidad dentro de formalismos lógicos. Más allá de la investigación técnica, fue miembro fundador de la Asociación Europea de Lógica en Informática (EACSL) en 1992. Ejerció como vicepresidente de la organización de 2002 a 2004 y como presidente de 2004 a 2009, periodo durante el cual inauguró el Premio Ackermann.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Datos clave
- Nacimiento: 1948, Hungría - Nacionalidad: Suiza - Educación: ETH de Zúrich - Campos principales: Matemáticas, Informática, Lógica - Estado académico: Profesor emérito, Technion - Membresía profesional: Asociación Europea de Lógica en Informática
Preguntas frecuentes
### ¿Dónde obtuvo Johann Makowsky su título de doctorado?
Obtuvo su doctorado en ciencias matemáticas (Dr. math.sc.) en la ETH de Zúrich en 1974.
### ¿Qué premio específico estableció Makowsky durante su etapa en la EACSL?
Estableció el Premio Ackermann de la EACSL, que reconoce tesis doctorales sobresalientes en lógica informática.
### ¿Sigue activo Johann Makowsky en el ámbito académico?
Sí, continúa activo como profesor emérito en el Technion, donde sigue enseñando y supervisando a estudiantes de posgrado.
