| | - Fisher Rex
This web page provides my fulltime students at BYUIdaho and my parttime students at the University of Idaho in Idaho Falls with information about the classes I teach. ...
http://www.rexfisher.com/
|
| |
- Nissim Francezs
The Technion Formal semantics of natural language, computational linguistics, semantics of programming languages, program verification, concurrent and distributed programming, logic programming. ...
http://www.cs.technion.ac.il/~francez/
|
| |
|
- The University of New South
Emeritus Professor, Artificial Intelligence Laboratory, School of Computer Science and Engineering, the University of New South Wales UNSW. My old office was located in the CSE Building K17 near the middle of the Kensington campus of the University ...
http://www.cse.unsw.edu.au/~norman/
| | |
| |
- Frailey Dennis
The CSE courses are part of the SMU masters degree curriculum in software engineering. The EMIS course is part of the executive masters degree curriculum in information engineering and management. The nonexecutive courses are available on campus, at ...
http://lyle.smu.edu/~frailey/
|
| |
- Peter H Fröhlich
UC Riverside. Programming Languages, Software Engineering, Systems Software, ComponentOriented Programming Languages, Lagoona. ...
http://www.cs.ucr.edu/~phf/
| | - Foster, Ian
The basic mission of the MCS Division is increase scientific productivity in the 21st century by providing intellectual and technical leadership in the computing sciences computer science, applied computational mathematics, and computational science ...
http://www-fp.mcs.anl.gov/~foster/
|
| |
- Friedman
Timur Friedman University of Paris VI Networking research. ...
http://web.maths.unsw.edu.au/~jim/
| | - James Franklin
University of New South Wales Neural networks and structuralist philosophy of mathematics. ...
http://web.maths.unsw.edu.au/~jim/
|
| |
- Morten Fjeld
ETH Zurich Humancomputer interaction HCI, cognitive ergonomics, and applied mathematics. ...
http://www.fjeld.ch/
| | - The Michael Fourman
School of Informatics, the University of Edinburgh Formal models of digital systems, systemdesign tools, proof assistants, categorical semantics, propositional planning. ...
http://www.inf.ed.ac.uk/people/staff/Michael_Fourman.html
|
| |
