Personal Website: http://ti.arc.nasa.gov/profile/brat/

Research in static analysis, and in particular, abstract interpretation.
Interest in formal V&V; technique for complex aerospace systems: static analysis, model checking, advanced testing.

(edit description)