MAVERIC History

Updated December 13, 2001

Return to Maveric Research Group.

Although the Maveric group was organized in 1990, it has older roots. John Brzozowski started working with Michael Yoeli
of the Department of Computer Science, Technion, Haifa, Israel on mathematical models of CMOS circuits in 1984.

In 1985 John Brzozowski began research in testing. Also, that year he began working on asynchronous circuits with
Carl-Johan Seger. This resulted in the thesis:

Carl-Johan Seger, MMath May 1986
Department of Computer Science, University of Waterloo
Thesis: "Ternary Simulation of Gate Networks"
Supervisor: J. A. Brzozowski

In 1986, John Brzozowski began collaborating with Helmut Jurgensen of the Department of Computer Science,
The University of Western Ontario, London, Ontario.

In 1988 Carl-Johan Seger completed his doctoral thesis:

Carl-Johan Seger, PhD May 1988
Department of Computer Science, University of Waterloo
Thesis: "Models and Algorithms for Race Analysis in Asynchronous Circuits"
1988 University of Waterloo Alumni Gold Medal
Supervisor: J. A. Brzozowski

In 1988, Jo Ebergen joined the Department of Computer Science at the University of Waterloo
and began collaborating with John Brzozowski.

In 1990 Bruce Cockburn completed his doctoral thesis:

Bruce Fordyce Cockburn , PhD October 1990
Department of Computer Science, University of Waterloo
Thesis: "Fault Models and Tests for Coupling Faults in Random-Access Memories"
Supervisor: J. A. Brzozowski

In the Fall of 1990 John Brzozowski, Jo Ebergen, Helmut Jurgensen and Richard Shi applied for a research
grant to the Information Technology Research Centre of Ontario (ITRC), and thus the research group was officially born.
The name Maveric, however, was only introduced (by Richard Shi) in the Summer of 1991. The group's activities
have been funded from individual research grants from the Natural Sciences and Engineering Research Council of Canada ,
and from 1991 to 1995 by the Information Technology Research Centre of Ontario. The Maveric Group has also received
a research grant from Sun Microsystems Canada Inc. for 1997-8, and a matching Industrially-Oriented Research grant
from the Natural Sciences and Engineering Research Council of Canada, for June 1, 1998 to May 31, 1999.

Major changes took place in Maveric in 1998:
Jo Ebergen resigned from the University of Waterloo to join Sun Microsystems.
However, until 2000, he was an adjunct professor at Waterloo.
Helmut Jurgensen began spending about half the time at the University of Potsdam, Germany.
Rob Berks and Radu Negulescu completed their PhD degrees, and Jie Lou and Signe Silver completed their MMath degrees.

More graduations took place in 1999: Maitham Shams and Igor Benko, and in 2000: Piotr Sidorowicz.

In 2001 a new research group was formed at Waterloo: WATFORM, the Waterloo Formal Methods Group.
The two remaining members of Maveric joined this group, thus closing the history of Maveric.
Mihaela Gheorghiu completed her MMath degree in December 2001. This was the last thesis of Maveric and the first of WATFORM.

Return to Maveric Research Group.