University of Toronto Computer Engineering Research Group (EECG)


I am a Connaught Scholar and Professor of Electrical and Computer Engineering (Computer Engineering and Electronics groups) and Computer Science at the University of Toronto. My research interests include game-theoretical incentives for crypto-economics, mechanism/system design of distributed ledger (blockchain) systems, formal methods for software/hardware verification, Central Bank Digital Currencies, IoT/blockchain systems, techno-legal and economic questions for distributed ledger technology, and data analytics for fintech. I have also worked extensively in the area of CAD for VLSI verification, debug, synthesis and test.  

I obtained a PhD degree from the University of Illinois at Urbana-Champaign, Department of Computer Science, an MSc from the University of Southern California, Los Angeles , Department of Computer Science and an undergraduate Diploma from the University of Patras, Department of Computer Engineering and Informatics. I was a visiting faculty at the University of Illinois at Urbana-Champaign in 1998-99. I joined UofT in August 1999. In the past, I also held faculty positions at the Athens University of Economics and Business and at the University of Tokyo . In 2020-21 I was commissioned by the Bank of Canada to co-author a report on Canada's digital currency. This report for a Central Bank Digital Loonie can be found here .  

As I worked in the entertainment industry for many years, I was part of a small team that conducted the first webcast (video and audio) ever over the internet (37th Annual Grammy Awards, March 1, 1995), an event that was later acknowledged by the American Congress. In 2013 I was nominated for the Bower Award and Price in Science by Turing Award recipient Prof. Stephen Cook for contributions in the area of verification. At ASP-DAC 2014 I received a "Ten Year Retrospective Most Influential Paper" award while my research group has received many other best paper awards. I am currently an Associate Editor of the IEEE Trans. on Network and Service Management.

I am member of AAAS, ACM, AMS, IEEE, Technical Chamber of Greece, TTTC, Professional Engineers of Ontario and the Planetary Society. I am also an alumnus of the Japanese Society for the Promotion of Science.


  Conference and Journal Publications
  Current and Former Research Projects
  Current and Former Students
  Research Sponsors and Partners


  ECE 345: Algorithms and Data Structures (undergraduate)
  ECE358: Foundations of Computing (undergraduate)
  APS 105: Computer Fundamentals
  CSC 467: Compilers and Interpreters
  ECE 242: Algorithms and Data Structures (undergraduate, not offered, replaced by ECE-345)
  ECE 1767: Design for Test and Testability
  ECE 1762: Algorithms and Data Structures (graduate)

Contact Information


Edward S. Rogers Sr. Department of Electrical and Computer Engineering,

University of Toronto,
Sandford Fleming Bldg , Room 2001

10 King's College Road
Toronto, Ontario M5S 3G4

Phone: (416) 946-3062 
Fax: (416) 971-2326 
Email: veneris
Administrator: Mrs. Duba Burin, (416-946-8094) 

  University of Toronto Computer Engineering Research Group (EECG)