NDC 2012

Norwegian Developers Conference  

Thomas Ball

Thomas Ball is Principal Researcher and Research Manager at Microsoft Research in the Research in Software Engineering area. Tom received a Ph.D. from the University of Wisconsin–Madison in 1993, was with Bell Labs from 1993–1999, and has been at Microsoft Research since 1999.


Tom's interests range from program analysis, model checking, testing and automated theorem proving to the problems of defining and measuring software quality.

During NDC 2012, Thomas Ball delivers the following sessions