Personenprofil

Ao.Univ.Prof. Dr.phil.

Matthias Baaz

Telefon +43 1 58801 10420

E-Mailmatthias.baaz@tuwien.ac.at

Zugeordnet

E104-02

Visitenkarte

Forschungsbereich

Name	Leitung/Mitglied
Forschungsbereich Computational Logic	Leitung

Forschungsprofil (Deutsch):

Beweistheorie, juristische Logik

Forschungsprofil (Englisch):

Proof theory , legal logic

Weitere Informationen:

Guide_VCLA

Publikationen:

Forschungsschwerpunkt	Forschungsfeld	Schlagwörter	Prozent
Information and Communication Technology	Computer Engineering and Software-Intensive Systems	Dependable Networked Embedded Systems, Fehlertolerante verteilte Echtzeitsysteme, Zeitgesteuerte Echtzeitsysteme, Dependable Systems-on-Chip, Model-based Design, Validation & Verification, Automation Systems, Speichersysteme	20
Computational Science and Engineering	Computer Science Foundations	Parallel Computing, Analysis of Large Datasets, High Energy Physics, Geoinformatics, Programming Models for CSE, Algorithms, Complexity and Optimization, Advanced Simulation Models for CSE	80

Fakultätsschwerpunkt	Prozent
Diskrete Mathematik und Geometrie	100

Gremium	Bezeichnung	Sitz	Funktion	Von-Bis	Bemerkungen
wiss. Beirat/Kuratorium/Institut	COST, Many-Valued Logics for Computer Science Applications		Mitglied	01/2004 -	Austrian Representative in the Mangemant Committee of COST, Many-Valued Logics for Computer Science Applications, European Community
wissenschaftliche Gesellschaft	Kurt Gödel Gesellschaft		Vorständin/Vorstand	01/2004 -	Generalsekretär der Kurt-Gödel-Gesellschaft

Titel	Klassifizierung	Referenziert	Funktion	Von-Bis
Collegium Logicum	unklassifiziert	Ja	Editorial board	01/2004 -
Language, Logic, Computation	unklassifiziert	Ja	Editorial board	01/2005 -
Yearbook of the Kurt Gödel Society	unklassifiziert	Ja	Editor	01/2004 -

Kategorie	Art der Mitarbeit	Veranstaltungsname	Von	Bis	Funktion/Bemerkungen
Postgraduale Lehrgänge/Summer School	Organisator_in	International Summer school in logic & language	01/2000		in Georgien
Wissenschaftliche Konferenz/Symposium	eingeladene_r Sprecher_in	Vienna Center for Logic and Algorithms			VCLA is managed by a Board in collaboration with an international Advisory Board.
Wissenschaftliche Konferenz/Symposium	Organisator_in	Vienna Summer of Logic	07/2014	07/2014	consisted of twelve large conferences and numerous workshops, attracting over 2000 researchers from all over the world