Web Site Information :.

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

Top / Computers / Computer_Science / Theoretical / Research_Groups /

Algorithm and Complexity Group at the University of Waterloo Research areas include design and analysis of algorithms, models of computation, and computational complexity. http://algcomp.uwaterloo.ca/ Uwaterloo.ca  ~   Site Info   Whois   Trace Route   RBL Check   Cambridge Theory and Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with Logic and Set Theory in the Pure Mathematics Departme http://www.cl.cam.ac.uk/Research/TSG/ Cam.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   MIT LCS Theory of Computation Group Research areas include algorithms, complexity theory, computation and biology, cryptography and information security, distributed systems, numerical analysis and scientific computing, semantics, and supercomputing technologies. http://theory.csail.mit.edu/ Mit.edu  ~   Site Info   Whois   Trace Route   RBL Check   Oxford University Computing Laboratory A centre for research in computer science, numerical analysis, computational biology, quantum computation, computational linguistics, and information systems. http://www.comlab.ox.ac.uk/ Ox.ac.uk  ~   Site Info   Whois   Trace Route   RBL Check   esiea-labs Research and development club of esiea, l’Ecole Supérieure d’Informatique Electronique Automatique, Paris, France. http://labs.esiea.fr Esiea.fr  ~   Site Info   Whois   Trace Route   RBL Check