![Thomas Wahl](https://conf.researchr.org/getProfileImage/thomaswahl/dc9f35c2-dcf6-40bd-a9c2-c7622d79647d/small.jpg?1711650286000)
Registered user since Tue 22 Aug 2017
Name:Thomas Wahl
Country:United States
Affiliation:Northeastern University
Personal website: http://www.ccs.neu.edu/home/wahl/
Research interests:software verification, infinite-state systems, stable numeric computation
Contributions
PLDI 2018-profile
View general profile
View general profile