Person profile

Ao.Univ.Prof. Dr.phil.

Matthias Baaz

Phone +43 1 58801 10420

E-Mailmatthias.baaz@tuwien.ac.at

Assigned

E104-02

Business Card

Research area

Name	Management/Member
Research Unit of Computational Logic	Management

Research profile (German):

Beweistheorie, juristische Logik

Research profile (English):

Proof theory , legal logic

Additional information:

Guide_VCLA

Publications:

Publications

Research focus	Research field	Keywords	Percentage
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

Faculty focus	Percentage
Diskrete Mathematik und Geometrie	100

Committee	Description	Location	Function	From-To	Comment
scientific committee/curatorship/institute	COST, Many-Valued Logics for Computer Science Applications		Member	01/2004 -	Austrian Representative in the Mangemant Committee of COST, Many-Valued Logics for Computer Science Applications, European Community
scientific circle	Kurt Gödel Gesellschaft		Chairman	01/2004 -	Generalsekretär der Kurt-Gödel-Gesellschaft

Title	Classification	Referenced	Function	From-To
Collegium Logicum	unclassified	Yes	Editorial board	01/2004 -
Language, Logic, Computation	unclassified	Yes	Editorial board	01/2005 -
Yearbook of the Kurt Gödel Society	unclassified	Yes	Editor	01/2004 -

Category	Collaboration	Event name	From	Until	Function/Comments
Postgraduate courses / Summer School	Organisator_in	International Summer school in logic & language	01/2000		in Georgien
Scientific Conference / Symposium	eingeladene_r Sprecher_in	Vienna Center for Logic and Algorithms			VCLA is managed by a Board in collaboration with an international Advisory Board.
Scientific Conference / 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