Emmanuel Pescosta nominated for EPILOG Young Alumnus Award

Thursday, Jun 17, 2021

Congratulations to FORSYTE alumnus Emmanuel Pescosta, who got nominated for the Distinguished Young Alumnus award for his master’s thesis on Bounded Model Checking of Speculative Non-Interference.