Directory: Top/Computers/Computer

Top / Computers / Computer_Science / People / F /

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/
Technion.ac.il ~ Site Info Whois Trace Route RBL Check

Fjeld, Morten
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
http://www.fjeld.ch/
Fjeld.ch ~ Site Info Whois Trace Route RBL Check

Foster, Ian
Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
http://www-fp.mcs.anl.gov/~foster/
Anl.gov ~ Site Info Whois Trace Route RBL Check

Foo, Norman
University of New South Wales - Logic and model theory, belief revision.
http://www.cse.unsw.edu.au/~norman/
Unsw.edu.au ~ Site Info Whois Trace Route RBL Check

Fisher, Rex
Brigham Young University and University of Idaho - technical reference sources, software for designing and analyzing CPUs, and career information.
http://www.rexfisher.com/
Rexfisher.com ~ Site Info Whois Trace Route RBL Check

Friedman, Timur
University of Paris VI - Networking research.
http://www-rp.lip6.fr/~timur/
Lip6.fr ~ Site Info Whois Trace Route RBL Check

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
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check

Fröhlich, Peter H.
UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.
http://www.cs.ucr.edu/~phf/
Ucr.edu ~ Site Info Whois Trace Route RBL Check

Franklin, James
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
http://web.maths.unsw.edu.au/~jim/
Unsw.edu.au ~ Site Info Whois Trace Route RBL Check

Fisher, Robert
University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
http://homepages.inf.ed.ac.uk/rbf/
Ed.ac.uk ~ Site Info Whois Trace Route RBL Check