http:^^www.cs.jhu.edu^~amy^

来自「This data set contains WWW-pages collect」· EDU^~AMY^ 代码 · 共 104 行

Date: Wed, 20 Nov 1996 23:02:29 GMT
Server: NCSA/1.5.1
Last-modified: Thu, 14 Dec 1995 22:02:05 GMT
Content-type: text/html
Content-length: 3072

<title> Amy E. Zwarico's home page </title>
<h1> Amy E. Zwarico's home page </h1>

<!WA0><img align = top src = "http://www.cs.jhu.edu/~amy/amy.gif"> 
<p>
<hr>

<h1> Amy E. Zwarico </h1>

<h2> Assistant Professor </h2>

<h2> Education </h2>

<pre>
Ph.D. 	Computer Science 		   University of Pennsylvania 	1988 
M.S.E. 	Computer Science 		   University of Pennsylvania 	1984 
B.S. 	Mathematics and Computer Science   Hofstra University 		1982
</pre>

<h2> Research </h2>

Programming languages, concurrent and distributed systems, real-time
computing, hardware verification, object oriented programming.

<p>

Process algebras have been widely studied for modelling concurrent
processes.  One of Prof. Zwarico's primary research interests is in
extending this formalism so that it can be used in the specification
and analysis of real-time systems and also systems with probabilistic
behavior. Research in this area has produced semantic models for both
real-time and probabilistic processes as well as logics for reasoning
about these processes.

<p>

In addition, she has used some of the techniques from process algebra
in the verification of both synchronous and asynchronous circuits. In
conjunction with Prof. Smith, Prof. Zwarico has developed and proven
correct a method of synthesizing correct gate-level descriptions of
circuits.She and Prof. Smith are also investigating various areas in
the semantics of object oriented programming.

<p>

<h2> Selected Publications </h2>

Scott Smith and Amy E. Zwarico, "Correct Compilation of Specifications
to Deterministic Asychronous Circuits", submitted to <cite>Formal
Methods in System Design</cite>.

<p>

Jonathan Eifrig, Scott Smith, Valery Trifonov and Amy E. Zwarico, "A
simple Interpretation of OOP in a Language with State", to appear in
<cite>Workshop on State in Programming Languages</cite>, June 1993.

<p>

Scott F. Smith and Amy E. Zwarico, "Correct Compilation of
Specifications to Deterministic Asynchronous Circuits," CHARME 93,
<cite>Lecture Notes in Computer Science</cite>,May 1993.

<p>

S. Purushothaman and Amy E. Zwarico (eds.), "NAPAW 92: Proceedings of
the First North American Process Algebra Workshop", Springer-Verlag,
<cite>Workshops in Computing</cite>, 1993.

<p>

Rance Cleaveland and Amy E. Zwarico , "A Theory of Testing for
Real-Time", <cite>Proceedings of the Sixth Annual IEEE Symposium on
Logic in Computer Science</cite>, July 1991, pp. 110--119.
<cite>Technical Report JHU</cite> 91-04 (14 pages).

<p>

Scott F. Smith and Amy E. Zwarico, "Provably Correct Synthesis of
Asynchronous Circuits", in <cite>Second Workshop on Designing Correct
Circuits</cite>, January 1992. (24 pages)

<p>

Rance Cleaveland, Scott Smolka and Amy E. Zwarico, "Testing Preorders
for Probabilistic Processes", ICALP 92, <cite>Lecture Notes in
Computer Science</cite>, vol. 623, pages (708-719).

<p>

I. Lee and Amy E. Zwarico, "Timed Acceptances: A Model of Time
Dependent Processes", <cite>Proceedings of the Symposium on Formal
Techniques in Real-Time and Fault-Tolerant Systems</cite>, Warwick,
September 1988, pp. 128-130.

<P>