Invited Talks
2018
2017
COST IC1405 Training School 2017
Talk
Hierarchical reversible logic synthesis
(August 2017)
Reversible Computation Summer School 2017
Talk
Reversible logic synthesis and RevKit
(July 2017)
2016
2015
Reed-Muller Workshop 2015
Talk
Generalized equivalence checking problems for reverse engineering
(May 2015)
2014
2013
CukeUp! 2013
Talk
Towards automatic scenario generation based on uncovered code
(April 2013)