Mikhail Auguston
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
• Behavior Models for Systems
and
Software Architecture.
Publications and links
• Automated test generation for
reactive and real time systems based on environment models and event
grammars.
• Debugging Automation,
Assertion
Languages.
• Security Models for Static
Analysis and Verification of Information Systems
Publications
and
other materials
The static analyzer has been developed based on
the Alloy Analyzer modeling
tool
• Programming Language Design
and
Implementation.
RIGAL Home Page is maintained
at
the University of Linkoping, Sweden.
• Experimental Visual
Programming
Language V.
Professional Affiliations
• Association for Computing
Machinery
◦ Special Interest Group on
Programming Languages
◦ Special Interest Group on
Software Engineering
Courses Taught
- CS2971 “Introduction in OO
Programming”
- CS3021 "Introduction to Data
Structures
and Intermediate Programming"
- CS3101 "Theory of Formal Languages
and
Automata"
- CS3150 "Design and Analysis of
Algorithms"
- CS3113 “Introduction to
Compiler Writing”
- CS3771 “C++ as a second
language”
- SW4500 “Introduction to Formal
Methods in Software Engineering”
- SW4540 "Software Testing"
- SW4583 “Principles of Software
Design”
Seminars for Software Engineering Ph.D. Program resident and DL
students:
• SW4935 “Software Engineering
Dissertation Proposal Preparation”
• SW4936 “Seminar on Solving
Software Engineering Research Problems”,
I am a course coordinator for
• CS3113 “Introduction to
Compiler
Writing”
• SW4500 “Introduction to
Formal
Methods in Software Engineering”