- Dr. S. Ben-David

Mathematical Logic, Learning - Prof. N. Francez

Semantics of Programming Languages, Computational Linguistics - Dr. O. Grumberg

Temporal Logic, Computer Aided Verification, Model Checking - Prof. S. Katz

Temporal Logic, Formal Specification and Verification, Semantics of Programming Languages - Prof. J.A. Makowsky

Mathematical Logic, Finite Model Theory, Complexity, Database Theory - Prof. M. Kaminski

Non-monotonic, Temporal and Non-classical Logics, Automata on Infinite Objects

- Y. Kimchi (Adjunct Teacher)
- NN. (Responsible: XX)

- N.N. (Ad: XX)

- NN (Adv: XX)

**Related Research in the Department****Courses****International Cooperation****Logic and Finite Model Theory at Other Places****Conferences****E-mail directory of Logicians****Journals**

See visit counters for many of the pages |