Andreas Veneris

Professor Andreas Veneris, currently at the University of Toronto, holds cross-appointments in the Edward S. Rogers Sr. Department of Electrical & Computer Engineering, Department of Computer Science, and the Munk School of Global Affairs & Public Policy. He earned his Diploma in Computer Engineering from the University of Patras (1991), M.S. in Computer Science from USC (1992), and Ph.D. in Computer Science from UIUC (1998).

• AAAS
• ACM Fellow
• IEEE Fellow
• Professional Engineers of Ontario
• Technical Chamber of Greece
• Planetary Society
• NSERC COHESA Network Director

His research spans two decades of CAD/VLSI design automation followed by blockchain technology focusing on CBDCs, smart contract verification, DeFi mechanisms, and techno-legal Web3.0 policy. Recent work includes ASTRAEA decentralized oracle, DeFi insurance protocols, and privacy-preserving CBDC architectures.

Award highlights:

• ACM SIGSOFT Distinguished Paper (ICSE 2024)
• IEEE Best Paper Awards (2024, 2022, 2020)
• ACM SIGARCH Maurice Wilkes Award
• MICRO Hall of Fame

He advises Ph.D. candidates in blockchain and machine learning while leading research sponsored by Ripple (UBRI), Huawei, and IBM. His group develops value-based accelerators for deep learning and formal verification frameworks for smart contracts.

Selected projects include:

• HEMVM (Interoperable Blockchain VMs)
• BAKUP (DeFi Insurance Protocol)
• SigVM (Event-Driven Smart Contracts)
• CnvluTin (Ineffectual Neuron-Free CNNs)
• Stripes (Precision-Variable DL Accelerators)