Falaschi, Moreno

University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.
http://www.dimi.uniud.it/~falaschi/

Frailey, Dennis J.

Software engineering improvement, especially focusing on cycle time.
http://www.seas.smu.edu/~frailey/

Frith, Taylor

Personal site, information on my computer skills, education, projects, job search.
http://www.taylor.frith.com

Foresti, Gian Luca

University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
http://www.dimi.uniud.it/~foresti/

Francez, Nissim

The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
http://www.cs.technion.ac.il/~francez/

Fjeld, Morten

ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
http://www.fjeld.ch/

Foster, Ian

Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
http://www-fp.mcs.anl.gov/~foster/

Fisher, Robert

University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
http://www.dai.ed.ac.uk/daidb/people/homes/rbf/

Foo, Norman

University of New South Wales - Logic and model theory, belief revision.
http://www.cse.unsw.edu.au/~norman/

Franklin, James

University of New South Wales - Neural networks and structuralist philosophy of mathematics.
http://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.
http://ca.informatik.uni-oldenburg.de/~fraenzle/

Fisher, Rex

Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.
http://www.RexFisher.com

Friedman, Timur

University of Paris VI - Networking research.
http://www-rp.lip6.fr/~timur/

Fourman, Michael

School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html

Fröhlich, Peter H.

UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.
http://www.cs.ucr.edu/~phf/