Norbert Preining

Associate Professor

Interests

Many-valued logics, especially Gödel logics
Linear orderings, Kripke Frames, intermediate logics
Algebraic specification, Software verification
Proof theory
Geometry and logic

Group: 
Logic Unit
Research Center for Software Verification