Veneris, Andreas
Professor

Biography

Andreas Veneris received a Diploma in Computer Engineering and Informatics from the University of Patras in 1991, the M.S. degree in Computer Science from the University of Southern California, Los Angeles in 1992 and the Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign in 1998. In 1998-99 he was a visiting faculty at the University of Illinois until he joined the Department of Electrical and Computer Engineering at the University of Toronto in 1999. Since 2011, he has been a Professor cross-appointed with The Edward S. Rogers Sr. Department of Electrical & Computer Engineering, the Department of Computer Science and the Munk School of Global Affairs & Public Policy at the University of Toronto. In the past, he held joint faculty positions with the Athens University of Economics and Business and with the University of Tokyo. For more than 20 years he worked in the field of CAD for VLSI synthesis, verification and debugging using formal methods. Today, his research focuses on Central Bank Digital Currencies, mechanism/economic/cybersecurity design of modern blockchain-based payment systems, formal methods for smart contract verification, techno-legal policy/regulatory Web 3.0 questions and data analytics for fintech.

Memberships/Awards

• ACM
• IEEE
• AAAS
• Professionals Engineers of Ontario
• Technical Chamber of Greece
• Planetary Society
• Best Paper Award IEEE/ACM Asian-South Pacific Design Automation Conference 2001
• Best Paper Nomination IEEE/ACM Design and Test in Europe 2007
• Best Paper Nomination IEEE/ACM Asian-South Pacific Design Automation Conference 2010