Franklin, James

foo francez

Fisher, Rex

Fisher, Robert

University of New South Wales - Logic and model theory , belief revision.

www.dimi.uniud.it/~foresti/

Fourman, Michael

www.inf.ed.ac.uk/people/staff/Michael_Fourman .html

timur foresti

Falaschi, Moreno

Frith, Taylor

frailey neural

ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics , and applied mathematics.

www.cse.unsw.edu.au/~norman/

Foresti, Gian Luca

lagoona propositional

University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence .

Friedman, Timur

lagoona structuralist

University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.University of Edinburgh - 3D scene understanding, model based object recognition , range image analysis, and parallel vision algorithms.

eth semantics

Personal site, information on my computer skills , education, projects, job search.

hci hlich

semantics argonne

Frailey, Dennis J.

www.taylor.frith.com

technion foresti

fourman declarative

cpus frailey

School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.

frith foo

Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.

foo eth

The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification , concurrent and distributed programming, logic programming.

Fr hlich, Peter H.

concurrent hlich

nissim categorical

www.fjeld.ch/

Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona .

frith morten

www.cs.ucr.edu/~phf/

nissim timur

Foo, Norman

www-fp.mcs.anl.gov/~foster/

www.seas.smu.edu/~frailey/

www.cs.technion .ac.il/~francez/

foo hci

Foster, Ian

UC Riverside.

gian propositional

foresti morten

www.RexFisher.com

www.dai.ed.ac.uk/daidb/people/homes/rbf/

www .maths.unsw.EDU.AU/~jim/

frailey technion

University of New South Wales - Neural networks and structuralist philosophy of mathematics.

declarative timur

Software engineering improvement, especially focusing on cycle time.

Francez, Nissim

www -rp.lip6.fr/~timur/

University of Paris VI - Networking research.

neural foo

www.dimi.uniud.it/~falaschi/

Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.