University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.
Software engineering improvement, especially focusing on cycle time.
Personal site, information on my computer skills, education, projects, job search.
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
University of New South Wales - Logic and model theory, belief revision.
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
|