Prof. S. Shelah (shelah@math.huji.ac.il)
Shelah's papers.
This is the archive of Saharon Shelah's mathematical papers.
Please send comments, constructive criticism, helpful hints and mango
juice and/or wodka to (shelarch@math.rutgers.edu)
O. Goldreich (oded@wisdom.weizmann.ac.il)
Complexity theory, cryptography, theory of computation
D. Harel (harel@wisdom.weizmann.ac.il)
Computability and complexity theory (especially levels of
undecidability), logics of programs (especially dynamic
logic), theory of databases (especially query languages
and their power), automata theory, systems engineering and
visual languages (especially statecharts and the like).
Logic at the University of Tel Aviv
A. Avron (aa@math.tau.ac.il)
Mathematical logic and logic in computer science;
Reasoning systems, nonstandard logics, applications
of logic in CS and AI
M. Gitik (gitik@math.tau.ac.il)
Set theory; Mathematical logic
Y. Hirshfeld (yoram@math.tau.ac.il)
Logic; Non-standard analysis; Foundation of computer science
A. Rabinovich (rabino@math.tau.ac.il)
Foundations of concurrency; Program verifications; Logic in computer
science.
B. Trakhtenbrot (trakhte@math.tau.ac.il)
Logic in computer science; Semantic and verification of programs;
Foundations of concurrency.