Logic in Computer Science at the Technion

Courses given Winter 2001-02

Faculty

• 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

Research Associates and Post Doctoral Fellows

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

Ph.D. Students

• N.N. (Ad: XX)

M.Sc. Students

• NN (Adv: XX)

Other Information

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

Your visit here is number this month See visit counters for many of the pages