Michael W Whalen

PhD

Accepting PhD Students

PhD projects

AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing

19972021

Research activity per year

6 Similar Profiles

Similarity is based on overlapping concepts in the fingerprints, and shared work and organizational affiliations of Michael W Whalen with the persons below: