Asynchronous Logic Groups Worldwide:
The Index

As the groups page is getting rather large, this index is provided for quick reference.

Alphabetically by Organisation

by Project

A list of software tools is also available.

by Country

o o o o o o o o o o o o o o o o o
o Australia
University of Adelaide
Flinders University
Monash University
Queensland University of Technology
University of South Australia
The University of Sydney
University of Tasmania

o Belgium

o Canada
University of British Columbia (UBC)
University of Manitoba
University of Waterloo

o Denmark
Aarhus University
Technical University of Denmark

o Finland
University of Kuopio
Tampere University of Technology

o Germany
Technische Universitat Berlin
Technical University of Chemnitz-Zwickau
Kaiserslautern University
Universitat Ulm

o Hong Kong
The Chinese University of Hong Kong

o Israel
LSI Logic Inc.

o Italy
University of Genoa
University of Pisa
Politecnico di Torino

o Japan
The University of Aizu
Osaka University
Saitama University
Sharp Electronics
Tokyo Institute of Technology
University of Tokyo

o S. Korea
Kwangju Institute of Science and Technology (K-JIST)

o Netherlands
Eindhoven University of Technology
Groningen University
Philips Research Laboratories

o Portugal
Universidade de Aveiro

o Spain
Universidad de Cantabria
Universitat Politecnica de Catalunya

o Sweden
Kungl Tekniska Högskolan (KTH)

o UK
University of Cambridge
Cogency Technology Inc.
Edinburgh University
University of Hertfordshire
University of Loughborough
University of Manchester
University of Newcastle upon Tyne
Oxford University
South Bank University
University of Surrey
University of Westminster

Acorn Networks
University of California, Berkeley
University of California, Davis
University of California, San Diego
Columbia University
HaL Computer Systems
HP Labs.
Intel Corporation
Oregon State University
University of Southern California
Stanford University
Sun Microsystems Laboratories, Inc.
Theseus Logic, Inc.
University of Utah
University of Washington

by Subject

This could be controversial! Some establishments may occur under several headings, others may not appear. This reflects the state of my knowledge at time of writing. Please feel free to correct any entries.

NB This section is far from complete.

Current thoughts:


Chips (excluding microprocessors)


Formal Methods



Petri Nets/STGs




Commercial organisations only