| | - Spiliotopoulos, Dimitris
Welcome to my personal pages at the National and Kapodistrian University of Athens. I am currently a member since August 2002 of the Speech Group of the Department of Informatics and Telecommunications of the University of Athens, Greece. Previously ...
http://cgi.di.uoa.gr/~dspiliot/
|
| |
- Rick Stevens
Rick Stevens is associate laboratory director for Computing, Environment and Life Sciences. He heads Argonnes advanced computing initiative targeting the development of petaflops computing systems. He is also a professor of computer science at the Un ...
http://www-fp.mcs.anl.gov/~stevens/
|
| |
|
- Martin Sailer
LudwigMaximiliansUniversität München Management Information Base for Services, Information Modeling for Service Management ...
http://wwwmnmteam.informatik.uni-muenchen.de/~sailer/
| | |
| |
- Claude Sammut
Sajeev is a Professor of Computer ScienceInformation Technology at the University of New England. He holds a PhD in Computer Science from Monash University, Australia. His research interests are in software engineering: software metrics, testing, pro ...
http://www.cse.unsw.edu.au/~claude/
|
| |
- Anand Sivasubramaniam
Pennsylvania State University Computer architecture, operating systems, parallel computing, simulation and evaluation of computer systems. ...
http://www.cse.psu.edu/~anand/
| | - Peter Sewell
The University of Cambridge Secure encapsulation, picalculus, mobile agents, operational semantics, locality typing. ...
http://www.cl.cam.ac.uk/~pes20/
|
| |
- Bernard Paul Sypniewski
This web site contains material for my courses. To learn what material we cover in class, look here. You will find material that I did not cover in class on this site as well as material that I did. Use the menu in the lefthand frame to navigate thro ...
http://elvis.rowan.edu/~bps
| | - Donald Sannella
The University Functional languages, algebraic specification languages, mechanised reasoning, foundations for algebraic specification and formal software development. ...
http://homepages.inf.ed.ac.uk/dts/
|
| |
- Rein Smedinga
Rein Smedinga University of Groningen Discrete event systems and object oriented programming. ...
http://www.cs.rug.nl/~rein/
| | - Konrad Slind
I am a member of ARG the Automated Reasoning Group at the Computer Laboratory in Cambridge University. My main area of interest is the implementation and application of logic, higher order logic especially. I have written a few papers in the area. ...
http://www.cl.cam.ac.uk/~ks121/
|
| |
