USI Verification Lab

Current Members

Alumni

  • Matteo Marescotti, Ph.D. 2015 - 2020, now a Researcher at Facebook Research London
  • Leonardo Alt, Ph.D. 2013 - 2017, now a Formal Verification Scientist at Ethereum Foundation
  • Grigory Fedyukovich, Ph.D. 2010 -2015, now an Assistant Professor at Florida State University, USA
  • Francesco Alberti, Ph.D. 2010 - 2015, now a head of Research and Development of EOLO Inc.
  • Simone Rollini, Ph.D. 2009 - 2014, now a Senior Research Engineer at Raytheon Technologies
  • Aliaksei Ttsitovich, Ph.D. 2006 - 2011, now a Director at BrightInsight, Zurich
  • Roberto Bruttomesso, Postdoc, 2007 - 2011, now a Software Engineer in Cybersecurity at Nozomi Networks, Italy
  • Ondrej Sery, Postdoc, 2010 - 2013, now a Senior Software Engineer at Pure Storage, Czech Republic
  • Stefano Tonetta, Postdoc, 2006 - 2008, now a Researcher at Fondazione Bruno Kessler, Trento, Italy