|
|
|
|
Home / Computers / Computer Science / People / F
|
|
|
|
Web Sites
|
- Falaschi, Moreno - University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.
www.dimi.uniud.it/~falaschi
- Fisher, Michael - Manchester Metropolitan University - Distributed artificial intelligence and multi-agent systems, programming language design, formal specification and verification, parallel and agent-based theorem-proving, temporal and modal theorem-proving techniques.
www.doc.mmu.ac.uk/STAFF/M.Fisher
- Fisher, Rex - Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.
www.RexFisher.com
- Fisher, Robert - University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
www.dai.ed.ac.uk/daidb/people/homes/rbf
- Fjeld, Morten - ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
www.fjeld.ch
- Foo, Norman - University of New South Wales - Logic and model theory, belief revision.
www.cse.unsw.edu.au/~norman
- Foresti, Gian Luca - University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
www.dimi.uniud.it/~foresti
- Fortnow, Lance - NEC Research Institute - Computational complexity.
www.neci.nj.nec.com/homepages/fortnow
- Foster, Ian - Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
www-fp.mcs.anl.gov/~foster
- Fourman, Michael - University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, distributed ML.
www.dcs.ed.ac.uk/~mikef
- Frailey, Dennis J. - Software engineering improvement, especially focusing on cycle time.
www.seas.smu.edu/~frailey
- Francez, Nissim - 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
- Franklin, James - University of New South Wales - Neural networks and structuralist philosophy of mathematics.
www.maths.unsw.EDU.AU/~jim
- Fränzle, Martin - Universität Oldenburg - Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic.
ca.informatik.uni-oldenburg.de/~fraenzle
- Friedman, Timur - University of Massachusetts, Amherst - Networking research
www.cs.umass.edu/~friedman
- Frith, Taylor - Personal site, information on my computer skills, education, projects, job search.
www.taylor.frith.com
|
|
|
|
|