The Technion - Formal semantics of natural language, computational linguistics, semantics of progra...
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
University of New South Wales - Logic and model theory, belief revision.
School of Informatics, the University of Edinburgh - Formal models of digital systems, system-desig...
UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Pro...
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
University of Edinburgh - 3D scene understanding, model based object recognition, range image analy...
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in...
Software engineering improvement, especially focusing on cycle time.