Falaschi, Moreno - University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.Frailey, Dennis J. - Software engineering improvement, especially focusing on cycle time.
Frith, Taylor - Personal site, info on my computer skills, education, projects, job search.
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.
Fabris, Francesco - University of Udine - Information theory: source coding, sequences parsing, variable-length coding, adaptive methods. Cryptology: stream ciphers, pseudo-random sequences, non-linear complexity of sequences, non-linear feedback shift registers. Neural networks: Hopfield model, minimization methods, applications.
Foresti, Gian Luca - University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
Francez, Nissim - The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
Fjeld, Morten - ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
Foster, Ian - Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
Fortnow, Lance - NEC Research Institute - Computational complexity.
Fourman, Michael - University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, distributed ML.
Fisher, Robert - University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
Foo, Norman - University of New South Wales - Logic and model theory, belief revision.
Franklin, James - University of New South Wales - Neural networks and structuralist philosophy of mathematics.
Fränzle, Martin - Universität Oldenburg - Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic.
Friedman, Timur - University of Massachusetts, Amherst - Networking research
