Vida Vakilotojar's Professional Page!

Computer Societies
IEEE,IEEE Computer Society
ACM

Some Formal Verification related sites
Formal Methods Home Page
At U.C. Berkeley
At Stanford
At CMU
At SRI
At Bell Labs
SPIN
Formal Check
Formal Methods in System Design Journal
Computer Aided Verification Conference

Asynchronous Logic related sites
Asynchronous Logic Home Page

CAD groups at USC
USC Asynchronous CAD Group
USC Advanced Design Automation Lab
Digital Test Laboratory

Women Pages
Systers
WICS (Lots of links to other sites!)