|
Home >
Computers >
Computer Science >
People >
F
(13)
|
|
|
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
www.dimi.uniud.it/~foresti/
|
|
|
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
www.cs.technion.ac.il/~francez/
|
|
|
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
www.fjeld.ch/
|
|
|
Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
www-fp.mcs.anl.gov/~foster/
|
|
|
University of New South Wales - Logic and model theory, belief revision.
www.cse.unsw.edu.au/~norman/
|
|
|
Brigham Young University and University of Idaho - technical reference sources, software for designing and analyzing CPUs, and career information.
www.rexfisher.com/
|
|
|
University of Paris VI - Networking research.
www-rp.lip6.fr/~timur/
|
|
|
School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
www.inf.ed.ac.uk/people/staff/Michael_Fourman.html
|
|
|
UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.
www.cs.ucr.edu/~phf/
|
|
|
Software engineering improvement, especially focusing on cycle time.
engr.smu.edu/~frailey/
|
|
|
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
web.maths.unsw.edu.au/~jim/
|
|
|
University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
homepages.inf.ed.ac.uk/rbf/
|
|
|
Image analysis and tracking based research
www.cpib.ac.uk/%7eafrench/
|
