F

Do you need F?
Check it out the following sites about F, or search F

» Falaschi, Moreno - University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.
» Fayad, Mohammed - University Of Nebraska - Software engineering.
» Ferrer, Santiago - University of Miami - Computer Graphics, Animation, Graphics Architectures, High-performance graphics.
» Fisher, Rex - Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.
» Fisher, Robert - University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
» Fjeld, Morten - ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
» Foo, Norman - University of New South Wales - Logic and model theory, belief revision.
» Foresti, Gian Luca - University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
» Fortnow, Lance - NEC Research Institute - Computational complexity.
» Foster, Ian - Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
» Fourman, Michael - School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
» Frailey, Dennis J. - Software engineering improvement, especially focusing on cycle time.
» Francez, Nissim - The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
» Franklin, James - University of New South Wales - Neural networks and structuralist philosophy of mathematics.
» Friedman, Timur - University of Paris VI - Networking research.
» Frith, Taylor - Personal site, information on my computer skills, education, projects, job search.
» Fränzle, Martin - Universität Oldenburg - Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic.
» Fröhlich, Peter H. - UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.