Alexander Rabinovich

Tel Aviv University
School of Computer Science
Ramat Aviv, Tel Aviv 69978, Israel
972-3-6405388 (voice)
972-3-6409357 (fax)
rabinoa at post.tau.ac.il

Fields of interest

SEMANTICS
FOUNDATION OF CONCURRENCY
PROGRAM VERIFICATION
LOGICS IN COMPUTER SCIENCE

Publications

Logic and Formal Methods Seminar

Time: 10-12 Tuesdays.
Place: Kaplun 324.
List of the talks Spring Semester
(Fall Semester)

Laboratory for Logic

Logic and Computer Science Semester at Tel Aviv

Workshop on Verification of Infinite-State Systems
(May 12-14, 2009)

Courses

Selected Topics in Programming

Logic for Computer Science, Spring semester, 2006

Verification of Hardware and Software Winter semester, 2002

SEMINAR Automata, Logic and Games , SPRING semester, 2009

Useful links