Full Name
Osman Yasar
Company/Affiliation
TU Munich
Speaker Bio
Osman Yasar ıs a Master's student at TU Munich and a research intern at the University of Cambridge. His research focuses on verified synthesis of hardware circuits using Lean in the CIRCT ecosystem.
