Skip to main content

Software Engineering Innovation Foundation (SEIF) Awards 2010

Posted:

A Comlab group, led by Daniel Kroening and Philipp Ruemmer, wins one of 12 Software Engineering Innovation Foundation (SEIF) Awards 2010 from Microsoft Research. The awards of $25000 will be presented at ICSE 2010 on May 5 in Cape Town. The award will seed-fund research on using Microsoft's Z3 theorem prover to validate safety-critical embedded software used in cars and airplanes.