First Kanellakis Lecture: Mihalis Yannakakis, 11/30, 4pm, Brown


Subject: First Kanellakis Lecture: Mihalis Yannakakis, 11/30, 4pm, Brown
From: Shriram Krishnamurthi (sk@cs.brown.edu)
Date: Wed Nov 21 2001 - 20:07:51 EST


Brown's computer science department is initiating an annual lecture
series in honor of Paris Kanellakis. The first Kanellakis speaker
will be Mihalis Yannakakis of Avaya Labs, who will present his work on
testing and verification. Mihalis's lecture is on Thursday, November
30, 2001, at 4pm, and will be followed by a reception. I have
included the abstract below.

The Brown computer science department is easy to reach from several
points in the Northeast. In particular, Providence's train station is
a pleasant walk down College Hill from our campus. Both Amtrak and
Boston's commuter rail system service Providence.

For more information on getting to Brown, please see

  http://www.cs.brown.edu/about/directions.html

We look forward to your participation!

----------------------------------------------------------------------
               Progress in System Modeling and Testing
              Dr. Mihalis Yannakakis, Avaya Laboratories
               Thursday, November 29, 2001 at 4:00 P.M.
                       Lubrano Conference Room

As software systems become larger and more complex, it becomes that
much harder to design and test them to ensure their correct
functioning. This is especially the case for control-oriented systems
such as communications systems. In this talk we will present some of
the work we have been doing in recent years to help in this task. The
approach involves the formal modeling of requirements and systems, and
the development of algorithms for their analysis, and for the
automated generation of effective tests.
----------------------------------------------------------------------

Shriram Krishnamurthi
Assistant Professor of Computer Science
Brown University



This archive was generated by hypermail 2b28 : Wed Nov 21 2001 - 20:08:20 EST