JAIST Logic@JAIST
Associate Professor

Norbert Preining

photo

Interests

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

Link: Homepage
Group: Logic Unit, Research Center for Software Verification