Web Site Information :.

• Site Info
• Whois
• Traceroute
• RBL Check
• What's My IP?

Top / Computers / Computer_Science / People / M /

Martini, Simone University of Bologna, Italy - Type systems for programming languages, logic in computer science, lambda-calculus. http://www.cs.unibo.it/~martini/ Unibo.it  ~   Site Info   Whois   Trace Route   RBL Check   Manning, Christopher Stanford University - Syntax, computational linguistics. http://www-nlp.stanford.edu/~manning/ Stanford.edu  ~   Site Info   Whois   Trace Route   RBL Check   Menezes, Bernard Indian Institute of Technology, Bombay - Information Appliances, Electronic Commerce, Java Security, Parallel Computing http://www.it.iitb.ac.in/~bernard/ Iitb.ac.in  ~   Site Info   Whois   Trace Route   RBL Check   Misevicius, Alfonsas Kaunas University of Technology. Design and applications of heuristics and meta-heuristics for combinatorial optimization problems, computer-aided design, theory of randomness. http://www.soften.ktu.lt/~misevi/index_en.html Ktu.lt  ~   Site Info   Whois   Trace Route   RBL Check   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/~swm11/ Cam.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   Mycroft, Alan University of Cambridge - Semantics and compilation of programs, static analysis of programs. http://www.cl.cam.ac.uk/~am21/ Cam.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   McCusker, Guy School of Cognitive and Computing Sciences, University of Sussex - Semantics of programming languages. http://www.cs.bath.ac.uk/~gam23/ Bath.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   McCarthy, Diana F. University of Sussex - Shallow parsing, semantic tagging, natural language processing. http://www.informatics.sussex.ac.uk/research/groups/nlp/mccarthy/mccarthy.html Sussex.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   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://users.dimi.uniud.it/~angelo.montanari/ Uniud.it  ~   Site Info   Whois   Trace Route   RBL Check   Miculan, Marino University of Udine - Semantics of programming languages, formal verification of process/program properties, logical frameworks based on typed lambda-calculus. http://users.dimi.uniud.it/~marino.miculan/ Uniud.it  ~   Site Info   Whois   Trace Route   RBL Check