SoC Undergraduate Receives Best Talk Award

April 15, 2015


Charlie Jacobsen received a Best Talk Award for his paper A Parameterized Floating-Point Formalization in HOL Light. His talk was recently presented at the International Workshop on Numerical Software Verification in Seattle, Washington.

“It was an honor to present my formalization to the community, including Sylvie Boldo, one of the main contributors to the Coq floating point formalization,” said Jacobsen.

Charlie is an undergraduate student working with Ganesh Gopalakrishnan and the Flux Research Group.