Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Tom Ball
Tom Ball

PRINCIPAL RESEARCHER
.

Research

I manage the Software Reliability Research group. My research interests are in how combinations of static/dynamic program analysis, model checking and theorem proving techniques can help improve the correctness and reliability of programs. See my papers for more details.

News

 

Recent Papers

 

Awards

 

Service

 

Program Committees

 

History

I grew up in Summit, NJ, where my claim to fame was writing a game for the Apple II called Falcons in 1980 with high school pal Eric Varsanyi (see The Giant List of Classic Game Programmers). I attended Cornell University (B.A. 1987), and the University of Wisconsin-Madison (Ph.D. 1993). From 1993-1999, I was at Bell Labs in Naperville, IL in the (now defunct) Software Production Research Department. After 12 years as a Midwesterner, I had had enough. Now I live in Mercer Island, WA. I have sung in various Unitarian Universalist choirs, play e-bass (mainly jazz, blues, some rock 'n roll) and piano.  I now play in a band called the "The Middle Third".

The "Thomas Ball" Collection

  • E-mail \com\microsoft\tball
  • Office: (425) 703-8591
  • Fax: (425) 936-7329
  • Mail: One Microsoft Way, Redmond, WA 98052