Name:Reed Milewicz

Country:United States

Affiliation:Sandia National Laboratories

Research interests:Software engineering, compilers, formal verification