📄 http:^^www.cs.caltech.edu^~paolo^resume.html
字号:
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
<html><head><title>Paul A.G. Sivilotti (Resume)</title></head><!--------------------------------------------------------------------><!--------------------------------------------------------------------><body bgcolor="#FFFFFF" text="#000000" link="#0000BB"><center><h1><em>Paul A.G. Sivilotti</em></h1>Caltech 256-80 <br> Pasadena, CA 91125 <br>(818) 395-6230 <br><code>paolo@cs.caltech.edu</code> <br><code>http://www.cs.caltech.edu/~paolo</code></center><!--------------------------------------------------------------------><h2>Education</h2><dl><dt> Expected June 1997<dd> Ph.D. Computer Science <br> California Institute of Technology <br> Thesis Topic: Correctness of Distributed Object Computations <br> Advisor: K. Mani Chandy <br><br><dt> June 1993<dd> M.S. Computer Science <br> California Institute of Technology <br> Thesis Title: A Verified Integration of Imperative Parallel Programming Paradigms in an Object-Oriented Language <br><br><dt> April 1991<dd> B.Sc.H. Computing Science, Mathematics, and Biochemistry <br> Queen's University <br> Kingston, Ontario, Canada <br></dl><!--------------------------------------------------------------------><h2>Awards</h2><ul><li> 1995-97 IBM Computer Science Fellowship <li> 1996 Best Paper Award in High Performance Distributed Computing Software<li> 1991-95 NSERC '67 Science and Engineering Fellowship <br> (fewer than 50 awarded in Canada)<li> 1991 Prince of Wales Prize (Hon. Mention) <br> (top graduating student in Faculty of Arts and Science)<li> 1991 Medal in Computer Science <br> (top graduating student in Department of Computer Science)<li> 1991 Arts and Science Undergraduate Scholarship <br> (contribution to university community and academic excellence)<li> 1990 NSERC Summer Research Fellowship<li> 1990 Digital Equipment of Canada Award of Excellence <br> (top junior student in Departments of Computing Science and EE)<li> 1990 Alumni Advisory Award<li> 1988-90 Mel Williamson Foundation Award<li> 1987-91 Dean's Honour List (4 years)<li> 1987-90 James and Margaret Daley Scholarship<li> 1987-89 Queen's Tricolour Scholarship</ul><!--------------------------------------------------------------------><h2>Classes</h2><dl><dt> 1994-present<dd> Classes toward Engineering Management Certificate <br> Industrial Relations Center, California Institute of Technology</dl><!--------------------------------------------------------------------><h2>Research Interests</h2><ul><li> Distributed object computing<li> Interface and specification languages<li> Formal methods of program development<li> Parallel computing </ul><!--------------------------------------------------------------------><h2>Refereed Publications</h2><cite> "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 HighPerformance Distributed Computing (HPDC '96), p.11-18, Syracuse, Aug 9-11, 1996.(won Best Paper Award)</cite><p><cite> "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.</cite><p><cite> "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.</cite><h2>Research Notes</h2><cite> "Composing Processes Using Modified Rely-Guarantee Specifications",Rajit Manohar and Paolo A.G. Sivilotti,Technical Report, Caltech CS-TR-96-22, June 1996.</cite><p><cite> "Reliable Synchronization Primitives for Java Threads",Paolo A.G. Sivilotti and K. Mani Chandy.Technical Report, Caltech CS-TR-96-11, June 1996.</cite><p><cite> "A Tutorial for CC++", Paolo A.G. Sivilotti and Peter A. Carlin.Technical Report, Caltech CS-TR-94-02, and CRPC-94391, 1994.</cite><p><cite> "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.</cite><!--------------------------------------------------------------------><h2>Work Experience</h2>IBM Summer Research Internship, T.J. Watson Research Center, Summer 1995.<p>Teaching Assistant, California Institute of Technology<ul><li> Algorithms (CS138), Mani Chandy, 1995-96.<li> Programming Paradigms (CS140), Beverly Sanders, 1994-95.<li> Information Theory (CS/EE 129), Yaser Abu-Mostafa, 1992-93.</ul><p>Research Assistant, Canadian Communications Research Center, Summer 1991.<!--------------------------------------------------------------------><h2>References</h2>References are available upon request.</body><!--------------------------------------------------------------------><!--------------------------------------------------------------------><P><HR><ADDRESS><!WA0><a href="http://www.caltech.edu/"><!WA1><img src="http://www.caltech.edu/pictures/tinycitlogo.gif" align=middle></a> <br><!WA2><a href="http://www.cs.caltech.edu/~paolo">Paul Sivilotti</a> <br><!WA3><a href="http://www.cs.caltech.edu">Computer Science Department</a> <br><!WA4><a href="http://www.caltech.edu/">California Institute of Technology</a>, Pasadena, CA 91125.</ADDRESS></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -