![Markus Kusano](https://popl20.sigplan.org/getProfileImage/markuskusano/14e37d98-7c4a-44e1-bdf7-5d567bf02c7f/small.jpg?1711475227000)
Registered user since Mon 8 Jun 2015
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
Personal website: https://markus-kusano.github.io/
Research interests:Program analysis, verification, abstract interpretation, model checking
Contributions
POPL 2020-profile
View general profile
View general profile