F

F Links

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