Name:Thomas Wahl

Country:United States

Affiliation:GrammaTech, Inc.

Research interests:software verification, infinite-state systems, stable numeric computation