 |
Sannella, Donald
University of Edinburgh - Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development.
http://homepages.inf.ed.ac.uk/dts/
Ed.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Simon, Janos
University of Chicago - Computational complexity, including machine-based complexity, communication complexity, models of parallel computation, distributed computation, algorithms, problems inspired by the world wide web.
http://people.cs.uchicago.edu/~simon/
Uchicago.edu ~
Site Info
Whois
Trace Route
RBL Check
|
|
Stirling, Colin
University of Edinburgh - Models and calculi for concurrent computation, modal and temporal logics with fixed points, verification and description of program properties.
http://homepages.inf.ed.ac.uk/cps/
Ed.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Sipper, Moshe
Swiss Federal Institute of Technology, Lausanne. Application of Biological Principles to Artificial Systems, Evolutionary Computation, Cellular Computing, Bio-inspired Systems, Evolvable Hardware, Complex Adaptive Systems.
http://www.moshesipper.com/
Moshesipper.com ~
Site Info
Whois
Trace Route
RBL Check
|
|
Stark, Ian
University of Edinburgh - Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
http://homepages.inf.ed.ac.uk/stark/
Ed.ac.uk ~
Site Info
Whois
Trace Route
RBL Check
|
 |
Steinemann, Marc-Alain
University of Bern - Architectures for remote learning, authentication and authorization infrastructures, didactic aspects of remote learning, dynamic on-line courses, communication systems for the next generation Internet
http://www.iam.unibe.ch/~rvs/about/steine.html
Unibe.ch ~
Site Info
Whois
Trace Route
RBL Check
|
|
|
|
