MIME-Version: 1.0
Server: CERN/3.0
Date: Wednesday, 15-Jan-97 01:49:40 GMT
Content-Type: text/html
Content-Length: 5697
Last-Modified: Tuesday, 19-Nov-96 03:04:35 GMT
Paul A.G. Sivilotti (Resume)
Paul A.G. Sivilotti
Caltech 256-80
Pasadena, CA 91125
(818) 395-6230
paolo@cs.caltech.edu
http://www.cs.caltech.edu/~paolo
Education
- Expected June 1997
-
Ph.D. Computer Science
California Institute of Technology
Thesis Topic: Correctness of Distributed Object Computations
Advisor: K. Mani Chandy
- June 1993
-
M.S. Computer Science
California Institute of Technology
Thesis Title: A Verified Integration of Imperative Parallel
Programming Paradigms in an Object-Oriented Language
- April 1991
-
B.Sc.H. Computing Science, Mathematics, and Biochemistry
Queen's University
Kingston, Ontario, Canada
Awards
- 1995-97 IBM Computer Science Fellowship
- 1996 Best Paper Award in High Performance Distributed
Computing Software
- 1991-95 NSERC '67 Science and Engineering Fellowship
(fewer than 50 awarded in Canada)
- 1991 Prince of Wales Prize (Hon. Mention)
(top graduating student in Faculty of Arts and Science)
- 1991 Medal in Computer Science
(top graduating student in Department of Computer Science)
- 1991 Arts and Science Undergraduate Scholarship
(contribution to university community and academic excellence)
- 1990 NSERC Summer Research Fellowship
- 1990 Digital Equipment of Canada Award of Excellence
(top junior student in Departments of Computing Science and EE)
- 1990 Alumni Advisory Award
- 1988-90 Mel Williamson Foundation Award
- 1987-91 Dean's Honour List (4 years)
- 1987-90 James and Margaret Daley Scholarship
- 1987-89 Queen's Tricolour Scholarship
Classes
- 1994-present
-
Classes toward Engineering Management Certificate
Industrial Relations Center, California Institute of Technology
Research Interests
- Distributed object computing
- Interface and specification languages
- Formal methods of program development
- Parallel computing
Refereed Publications
"A World-Wide Distributed System Using Java and the Internet",
K. Mani Chandy, Adam Rifkin, Paolo A.G. Sivilotti, Jacob Mandelson,
Matt Richardson, Wesley Tanaka, and Luke Weisman.
Proceedings of the 5th IEEE International Symposium on High
Performance Distributed Computing (HPDC '96), p.11-18, Syracuse,
Aug 9-11, 1996.
(won Best Paper Award)
"Toward High Confidence Distributed Systems with Java:
Reliable Thread Libraries",
Paolo A.G. Sivilotti and K. Mani Chandy.
Proceedings of the 11th International Conference on Systems Engineering
(ICSE '96), p.194-199, Las Vegas,
July 9-11, 1996.
"A Verified Integration of Parallel Programming Paradigms in CC++",
Paolo A.G. Sivilotti.
Proceedings of the 8th IEEE International Parallel Processing Symposium
(IPPS '94), p.44-50, Cancun, Mexico,
April 26-29, 1994.
Research Notes
"Composing Processes Using Modified Rely-Guarantee Specifications",
Rajit Manohar and Paolo A.G. Sivilotti,
Technical Report, Caltech CS-TR-96-22, June 1996.
"Reliable Synchronization Primitives for Java Threads",
Paolo A.G. Sivilotti and K. Mani Chandy.
Technical Report, Caltech CS-TR-96-11, June 1996.
"A Tutorial for CC++",
Paolo A.G. Sivilotti and Peter A. Carlin.
Technical Report, Caltech CS-TR-94-02, and CRPC-94391, 1994.
"A Verified Integration of Imperative Parallel Programming
Paradigms in an Object-Oriented Language", Paolo A.G. Sivilotti.
Master's Thesis, Technical Report, Caltech CS-TR-93-21,
and CRPC-94-03, June 1993.
Work Experience
IBM Summer Research Internship, T.J. Watson Research Center, Summer 1995.
Teaching Assistant, California Institute of Technology
- Algorithms (CS138), Mani Chandy, 1995-96.
- Programming Paradigms (CS140), Beverly Sanders, 1994-95.
- Information Theory (CS/EE 129), Yaser Abu-Mostafa, 1992-93.
Research Assistant, Canadian Communications Research Center, Summer 1991.
References
References are available upon request.
Paul Sivilotti
Computer Science Department
California Institute of Technology, Pasadena, CA 91125.