| Lab |
| 総合実験棟Multidisciplinary Research Center 3F |
| TEL：0761-51-1170 |
To Lab's Site |
| Japanese | English |
| Full text / JAIST Repository |
Norbert Preining Associate Professor
Research Center for Software Verification
■Degrees
Master's degree in mathematics from the Vienna University of Technology(1996), Doctor's degree in mathematics from the Vienna University of Technology(2003)
■Professional Career
Project Assistant at Plan Treuhand(2002), Research assistant at the Vienna University of Technology(2003), Marie Curie Fellow at the University of Siena(2005), Project assistant at the Vienna University of Technology(2007)
■Specialties
Many valued logics, esp. Goedel logics, their proof theory and semantics
■Research Keywords
many-value logics, proof theory, semantics, goedel logics
■Publications
◇Published Papers
- Gödel-Dummett Logics，Matthias Baaz, Norbert Preining，Handbook of Mathematical Fuzzy Logic, College Publications，II，585, 42，2011/12/21
- First-order satisfiability in Gödel logics: an NP-complete fragment，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Theoretical Computer Science，412，6612, 12，2011/08/16
- SAT in monadic Goedel logics: A borderline between decidability and undecidability，Matthias Baaz, Agata Ciabattoni, Norbert Preining，Proceedings of WoLLIC 2009, LNCS，5512，113,11，2009
◇Lectures and Presentations
- Axiomatizability of some first-order logics of linear Kripke frames over constant domains，Norbert Preining，NCMPL Non-classical Modal and Predicate Logics 2011，Sun Yat-sen University, Guangzhou, China，2011-12-06
- Typesetting with Kanji, Tutorial in LaTeX，Norbert Preining，Seminar of the Department of Philosophy，Sun Yat-sen University, Guangzhou, China，2011-12-05
- Kripke frames - Part 2，Norbert Preining，Seventh International Tbilisi Summer School in Logic and Language，Tbilisi, Georgia，2011-09-23
■Extramural Activities
◇Academic Society Affiliations
- Kurt Goedel Society，Publicity Chair，2000-
◇Other Activities
- Kurt Goedel Society，Editor of the Collegium Logicum Volume V
- Kurt Goedel Society，Editor of the Collegium Logicum Volume VI
- Kurt Goedel Society，Editor of Collegium Logicum Volume IX
■Academic Awards Received
- Special Assessment Award of the Austrian Ministry of Science"Wuerdigungspreis der Bundesministerin fuer Bildung, Wissenschaft und Kultur"，2003