Name:Markus Kusano

Bio:

Markus Kusano is a PhD student at Virginia Tech studying under Chao Wang. His research interests are practical program analysis techniques for testing/verifying concurrent programs.

Country:United States

Affiliation:Virginia Tech

Research interests:Program analysis, verification, abstract interpretation, model checking