|
|
1. |
Falaschi, Moreno
-
University of Udine - Logic programming, functional logic programming, analysis and transformation of declarative programs.
|
|
|
2. |
Fisher, Rex
-
Brigham Young University and University of Idaho - technical reference sources, software for designing & analyzing CPUs, and career information.
|
|
|
3. |
Fisher, Robert
-
University of Edinburgh - 3D scene understanding, model based object recognition, range image analysis, and parallel vision algorithms.
|
|
|
4. |
Foo, Norman
-
University of New South Wales - Logic and model theory, belief revision.
|
|
|
5. |
Foresti, Gian Luca
-
University of Udine - Pattern recognition, computer vision, artificial neural networks, learning in vision, artificial intelligence.
|
|
|
6. |
Foster, Ian
-
Argonne National Laboratory, University of Chicago - Distributed computing, parallel tools, computational science.
|
|
|
7. |
Fourman, Michael
-
School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
|
|
|
8. |
Frailey, Dennis J.
-
Software engineering improvement, especially focusing on cycle time.
|
|
|
9. |
Francez, Nissim
-
The Technion - Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming.
|
|
|
10. |
Franklin, James
-
University of New South Wales - Neural networks and structuralist philosophy of mathematics.
|
|
|
11. |
Friedman, Timur
-
University of Paris VI - Networking research.
|
|
|
12. |
Fröhlich, Peter H.
-
UC Riverside. Programming Languages, Software Engineering, Systems Software, Component-Oriented Programming Languages, Lagoona.
|
|
|
13. |
Fjeld, Morten
-
ETH Zurich - Human-computer interaction (HCI), cognitive ergonomics, and applied mathematics.
|
|
|