Baltasar Trancón y Widemann

Werdegang:

• Informatik (Diplom), TU Berlin
• Promotion (Dr. rer. nat.), TU Berlin
• Postdoc, SQRL, University of Limerick

Forschungsschwerpunkte:

• Information und Komplexität
• Logik und Berechnung in Modellen
• Nichtreduktionistische Modellierung
• Computergestützte Simulation und Verifikation
• Modellieren und Programmieren