Old Fellows Database
Add URL Add URL  Custom Programming  My Sites My Sites  Custom Programming  My Account My Account  Custom Programming  Contact Us Contact Us


Yurtseven.org       

Search only in M   Search the Web
 Home » Computer Science » People » M

 Categories

Minsky, Marvin (8) Muuss, Michael (7)  




 Web Pages    1 - 10   {24}


 1 - Martini, Simone
  University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus.
http://www.cs.unibo.it/~martini/		  
[more pages from this URL]   

 2 - Menezes, Bernard
  Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing
http://www.it.iitb.ac.in/~bernard/		  
[more pages from this URL]   

 3 - Mycroft, Alan
  University of Cambridge - Semantics and compilation of programs, static analysis of programs.
http://www.cl.cam.ac.uk/users/am/		  
[more pages from this URL]   

 4 - Manning, Christopher
  Stanford University - Syntax, computational linguistics.
http://www-nlp.stanford.edu/~manning/		  
[more pages from this URL]   

 5 - Misra, Jayadev
  University of Texas - Parallel and distributed computing, specification and design of synchronous and asynchronous systems.
http://www.cs.utexas.edu/users/misra/		  
[more pages from this URL]   

 6 - Miculan, Marino
  University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus.
http://www.dimi.uniud.it/~miculan/		  
[more pages from this URL]   

 7 - Moore, Simon W.
  University of Cambridge - Self-timed circuits, multithreaded processor design, real-time systems and the engineering of complex systems.
http://www.cl.cam.ac.uk/users/swm11/		  
[more pages from this URL]   

 8 - Michail, Amir
  University of Washington - Techniques to extract software reuse experience from a collection of software systems
http://www.cs.washington.edu/homes/amir/		  
[more pages from this URL]   

 9 - Makowsky, Johann
  The Technion - Mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity.
http://www.cs.technion.ac.il/~janos/index.html		  
[more pages from this URL]   

 10 - Montanari, Angelo
  University of Udine - Logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
http://www.dimi.uniud.it/~montana/index.html		  
[more pages from this URL]   

1  2  3  Next »»


E-Mail Add URL