Mikhail Auguston

portrait

Associate Professor
Computer Science Department
Naval Postgraduate School
1411 Cunningham Rd., Glasgow Hall East, Room GE-330
Monterey, CA 93943-5201, USA

Phone: 1-831-656-2607
Fax:   1-831-656-2814
email: maugusto@nps.edu


Disclaimer

Material contained herein is made available for the purpose of peer review and discussion and does not necessarily reflect the views of the Department of the Navy or the Department of Defense


Research Projects

                   Publications and links
Publications

Powerpoint presentation for Hewlett Packard Research Day, outlining the approach based on event grammars (ppt file)
Here is a link to the Algorithmic and Automatic Debugging Home Page maintained by Clinton Jeffery at University of Idaho

Publications
                   Publications and other materials
                   The static analyzer has been developed based on the Alloy Analyzer modeling tool
Compiler writing language RIGAL.
RIGAL Home Page is maintained at the University of Linkoping, Sweden.

Publications
Publications


Professional Affiliations


Courses Taught

Seminars for Software Engineering Ph.D. Program resident and DL students:

I am a course coordinator for