Prof. Uri Abraham

abraham foto Professor
Trac chair

Contacts

Email:
Homepage:
Box number: 31
Office hours: Thu 12:00-14:00

Teaching

Fall 2018-2019 20225511 Advanced Topics in Computer Sciences -1
Spring 2018 20225241 Correctness of Distributed Systems
Spring 2016 20215791 Math Models For Distributed Systems
Fall 2013-2014 20215961 Project Management Workshop1
Spring 2014 20215791 Math Models For Distributed Systems
Spring 2013 20219311 Logic and the Foundation of Mathematics
Spring 2013 20215791 Math Models For Distributed Systems
Spring 2012 20225241 Correctness of Distributed Systems
Fall 2010-2011 20012011 Automata Formal Languages & Computability for IAF
Spring 2011 20211061 Discrete Structures and Combinatorics
Spring 2010 20225241 Correctness of Distributed Systems
Spring 2009 20225241 Correctness of Distributed Systems
Spring 2008 20225241 Correctness of Distributed Systems
Fall 2006-2007 20225241 Correctness of Distributed Systems
Fall 2005-2006 20225241 Correctness of Distributed Systems

Research groups

Logic and Semantics