📄 http:^^www.cs.jhu.edu^~leonard^
字号:
Date: Thu, 21 Nov 1996 22:25:37 GMT
Server: NCSA/1.5.1
Last-modified: Fri, 15 Nov 1996 20:43:49 GMT
Content-type: text/html
Content-length: 1968
<html><head><title> Elizabeth Leonard's home page </title></head><body><h1> Elizabeth Leonard's home page </h1><h2> Research Interests </h2><dl><dt> Concurrency Theory<dd> Most of my research has been in testing theory for real-time systems.More recently I have been working on testing equivalences for Pict, a concurrent object-oriented language based on the pi-calculus. <dt> Model-checking for Real-time and Probabilistic Systems<dd> <dt> Scheduling Theory<dd> While this is not something I am actively studying as part of my thesisresearch, I did spend the summer of 1996 working at <!WA0><a href="http://www.rl.af.mil:8001/">Rome Laboratory</a> doing research in this area.</dl><hr><h2> Personal: </h2>This seems to be the section where everyone mentions the far-away places that they call home. Well I'm a native Baltimorean so obviously I didn't stray too far from homewhen I chose JHU. I actually grew up in Linthicum (12 miles to the south,where the airport is).My high school, <!WA1><a href="http://www.wam.umd.edu/~pdo/ashsframe.htm">Archbishop Spalding H.S.</a>, has its own homepage.I managed to get a little farther away from home for college.I graduated in 1991 from <!WA2><a href="http://www.rmc.edu">Randolph-Macon College</a> in Ashland, Virginia with a degree in<!WA3><a href="http://www.rmc.edu:80/academic/departments/csci">Computer Science</a>and <!WA4><a href="http://www.rmc.edu:80/academic/departments/math">Mathematics</a>. <hr><h2> My current address: </h2><pre>Elizabeth I. LeonardDepartment of Computer ScienceNew Engineering Building 317The Johns Hopkins UniversityBaltimore, Maryland 21218-2694Office: (410) 516-6071Fax: (410) 516-6134Home #1:(410) 367-7985Home #2:(410) 789-3080<h3><address><!WA5><a href="mailto:leonard@cs.jhu.edu">leonard@cs.jhu.edu</a></address></h3></pre><hr><!WA6><a href = "http://www.cs.jhu.edu/"> <!WA7><img align=middle src="http://www.cs.jhu.edu/pics/hopkins/logo-half.gif"> <b> JHU CS Home Page. </b> </a></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -