- Emailmwwhalenumnedu
Accepting PhD Students
PhD projects
AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing
Research activity per year
Accepting PhD Students
PhD projects
AMASE: Model based safety analysis
ARCHER: Compositional verification of systems-of-systems
SNOW CRASH: White box fuzz testing
Research activity per year