Emmanuel Pescosta nominated for EPILOG Young Alumnus Award
Thursday, Jun 17, 2021Congratulations 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.