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. Foo, Norman - University of New South Wales - Logic and model theory, belief revision. Fourman, Michael - School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning. Fröhlich, Peter H. - UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona. Franklin, James - University of New South Wales - Neural networks and structuralist philosophy of mathematics. Fisher, Robert - University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms. Foresti, Gian Luca - University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence. Frailey, Dennis J. - Software engineering improvement, especially focusing on cycle time.