The asynchronous VLSI and architecture group
is part of the Computer
Systems Laboratory at the
School of Engineering
and Applied Science at
Our group uses formal synthesis methods for the design of provably
correct, highly concurrent, reliable, and robust asynchronous systems.
Yale University is located roughly 90 miles from New York City. It can be reached by
several airports as well as
The group is located in 503 Dunham Lab on the Yale campus.
The asynchronous VLSI and architecture group is primarily supported by
research grants from the US government. Government sponsors include
the National Science Foundation,
the Defense and Advanced Research Projects
Agency, Air Force Research Labs,
and the Office of Naval Research.