1:"$Sreact.fragment"
3:I[7555,[],""]
4:I[1295,[],""]
5:I[9608,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"TOCProvider"]
6:I[4502,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"Sidebar"]
7:I[2675,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ClientWrapper"]
8:I[9443,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"HeadingAnchor"]
9:I[6735,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ImageZoom"]
a:I[6874,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],""]
c:I[9665,[],"OutletBoundary"]
f:I[9665,[],"ViewportBoundary"]
11:I[9665,[],"MetadataBoundary"]
13:I[6614,[],""]
:HL["/_next/static/media/93f479601ee12b01-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}]
:HL["/_next/static/media/a34f9d1faa5f3315-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}]
:HL["/_next/static/media/bb3ef058b751a6ad-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}]
:HL["/_next/static/css/8a7a926ac815535a.css","style"]
:HL["/_next/static/css/13a2b0d06dd155ba.css","style"]
b:T5e8,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 is a Professor cross-appointed with The Edward S. Rogers Sr. Department of Electrical & Computer Engineering and the Department of Computer Science at the University of Toronto. His research interests include formal methods and CAD tools for debug, verification, synthesis and test of digital systems and circuits. In 2011 he was a fellow of the Japanese Society for the Promotion of Science hosted by the University of Tokyo. In 2020-21 he was commissioned by the Bank of Canada to co-author a technical, legal and economic report on Canada’s candidate digital currency. His work in 2021-22 was also acknowledged for his contributions to a classified report by the Hoover Institution prefaced by former US Secretary of the State Condoleezza Rice and co-authored by an extensive list of prominent world-thinkers that was titled “Digital Currencies: The US, China, And The World At A Crossroads”. In March 2022 US President Joe Biden signed an Executive Order following recommendations of this report.0:{"P":null,"b":"yT6XrR5GEsFX3MJK2ZIO7","p":"","c":["","veneris"],"i":false,"f":[[["",{"children":["veneris",{"children":["__PAGE__",{}]}]},"$undefined","$undefined",true],["",["$","$1","c",{"children":[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/css/8a7a926ac815535a.css","precedence":"next","crossOrigin":"$undefined","nonce":"$undefined"}],["$","link","1",{"rel":"stylesheet","href":"/_next/static/css/13a2b0d06dd155ba.css","precedence":"next","crossOrigin":"$undefined","nonce":"$undefined"}]],"$L2"]}],{"children":["veneris",["$","$1","c",{"children":[null,["$","$L3",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L4",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":"$undefined","forbidden":"$undefined","unauthorized":"$undefined"}]]}],{"children":["__PAGE__",["$","$1","c",{"children":[["$","div",null,{"className":"x:mx-auto x:flex x:max-w-(--nextra-content-width)","children":["$","$L5",null,{"value":[{"value":"Andreas Veneris","id":"andreas-veneris","depth":2},{"value":"Biography","id":"biography","depth":3},{"value":"Research Interests","id":"research-interests","depth":3},{"value":"Memberships and Awards","id":"memberships-and-awards","depth":3}],"children":[["$","$L6",null,{}],["$","$L7",null,{"metadata":{"title":"Page","filePath":"app/veneris/page.mdx","timestamp":1742837661000},"bottomContent":"$undefined","children":[["$","div",null,{"id":"nextra-skip-nav"}],["$","main",null,{"data-pagefind-body":true,"children":[["$","h2",null,{"id":"andreas-veneris","className":"x:tracking-tight x:text-slate-900 x:dark:text-slate-100 x:font-semibold x:target:animate-[fade-in_1.5s] x:mt-10 x:border-b x:pb-1 x:text-3xl nextra-border","children":["Andreas Veneris",["$","$L8",null,{"id":"andreas-veneris"}]]}],"\n",["$","p",null,{"className":"x:not-first:mt-6 x:leading-7","children":["$","$L9",null,{"alt":"image","placeholder":"blur","src":{"src":"/_next/static/media/veneris.dc60f592.jpg","height":700,"width":560,"blurDataURL":"data:image/jpeg;base64,/9j/2wBDAAoKCgoKCgsMDAsPEA4QDxYUExMUFiIYGhgaGCIzICUgICUgMy03LCksNy1RQDg4QFFeT0pPXnFlZXGPiI+7u/v/2wBDAQoKCgoKCgsMDAsPEA4QDxYUExMUFiIYGhgaGCIzICUgICUgMy03LCksNy1RQDg4QFFeT0pPXnFlZXGPiI+7u/v/wgARCAAIAAYDASIAAhEBAxEB/8QAFQABAQAAAAAAAAAAAAAAAAAAAAX/xAAUAQEAAAAAAAAAAAAAAAAAAAAE/9oADAMBAAIQAxAAAACgEF//xAAdEAABAwUBAAAAAAAAAAAAAAABAhESAAMEBSGR/9oACAEBAAE/ALW3wITBIKlKfnj1/8QAGREAAQUAAAAAAAAAAAAAAAAAAAECAxFB/9oACAECAQE/AEhbWn//xAAYEQACAwAAAAAAAAAAAAAAAAABAgADMf/aAAgBAwEBPwBr3JwT/9k=","blurWidth":6,"blurHeight":8}}]}],"\n",["$","p",null,{"className":"x:not-first:mt-6 x:leading-7","children":["Professor",["$","br",null,{}],"\nDepartment of Electrical and Computer Engineering",["$","br",null,{}],"\nUniversity of Toronto"]}],"\n",["$","p",null,{"className":"x:not-first:mt-6 x:leading-7","children":["E-Mail: ",["$","$La",null,{"href":"mailto:veneris@eecg.utoronto.ca","className":"x:focus-visible:nextra-focus x:text-primary-600 x:underline x:hover:no-underline x:decoration-from-font x:[text-underline-position:from-font]","children":"veneris@eecg.utoronto.ca"}],["$","br",null,{}],"\nPhone: (416) 946-3062",["$","br",null,{}],"\nOffice: SF 2001A",["$","br",null,{}],"\nWebsite: ",["$","a",null,{"href":"https://www.eecg.utoronto.ca/~veneris/AndreasVeneris.htm","target":"_blank","rel":"noreferrer","className":"x:focus-visible:nextra-focus x:text-primary-600 x:underline x:hover:no-underline x:decoration-from-font x:[text-underline-position:from-font]","children":["https://www.eecg.utoronto.ca/~veneris/AndreasVeneris.htm",[" ",["$","svg",null,{"fill":"none","stroke":"currentColor","strokeLinecap":"round","strokeLinejoin":"round","strokeWidth":1.7,"viewBox":"0 0 24 24","height":"1em","className":"x:inline x:align-baseline x:shrink-0","children":[["$","path",null,{"d":"M7 17L17 7"}],["$","path",null,{"d":"M7 7h10v10"}]]}]]]}]]}],"\n",["$","h3",null,{"id":"biography","className":"x:tracking-tight x:text-slate-900 x:dark:text-slate-100 x:font-semibold x:target:animate-[fade-in_1.5s] x:mt-8 x:text-2xl","children":["Biography",["$","$L8",null,{"id":"biography"}]]}],"\n",["$","p",null,{"className":"x:not-first:mt-6 x:leading-7","children":"$b"}],"\n",["$","h3",null,{"id":"research-interests","className":"x:tracking-tight x:text-slate-900 x:dark:text-slate-100 x:font-semibold x:target:animate-[fade-in_1.5s] x:mt-8 x:text-2xl","children":["Research Interests",["$","$L8",null,{"id":"research-interests"}]]}],"\n",["$","p",null,{"className":"x:not-first:mt-6 x:leading-7","children":"Prof. Veneris’ research interests include game-theoretical incentives for crypto-economics, mechanism/system design of distributed ledger (blockchain/Web 3.0) systems, formal methods, Central Bank Digital Currencies, decentralized finance (DeFi), techno-legal questions for distributed ledger technology, and data analytics for fintech."}],"\n",["$","h3",null,{"id":"memberships-and-awards","className":"x:tracking-tight x:text-slate-900 x:dark:text-slate-100 x:font-semibold x:target:animate-[fade-in_1.5s] x:mt-8 x:text-2xl","children":["Memberships and Awards",["$","$L8",null,{"id":"memberships-and-awards"}]]}],"\n",["$","ul",null,{"className":"x:[:is(ol,ul)_&]:my-3 x:not-first:mt-6 x:list-disc x:ms-6","children":["\n",["$","li",null,{"className":"x:my-2","children":"ACM"}],"\n",["$","li",null,{"className":"x:my-2","children":"IEEE"}],"\n",["$","li",null,{"className":"x:my-2","children":"AAAS"}],"\n",["$","li",null,{"className":"x:my-2","children":"AMS"}],"\n",["$","li",null,{"className":"x:my-2","children":"Professionals Engineers of Ontario"}],"\n",["$","li",null,{"className":"x:my-2","children":"Technical Chamber of Greece"}],"\n",["$","li",null,{"className":"x:my-2","children":"Planetary Society"}],"\n",["$","li",null,{"className":"x:my-2","children":"Best Paper Award IEEE/ACM Asian-South Pacific Design Automation Conference 2001"}],"\n",["$","li",null,{"className":"x:my-2","children":"Best Paper Award IEEE International Conference on Blockchain and Cryptocurrency 2024 & 2022"}],"\n",["$","li",null,{"className":"x:my-2","children":"Distinguished Paper Award ACM/IEEE 46th International Conference on Software Engineering 2024"}],"\n",["$","li",null,{"className":"x:my-2","children":"Retrospective Ten Year Best Paper Award in IEEE/ACM Asian-South Pacific Design Automation Conference 2014"}],"\n",["$","li",null,{"className":"x:my-2","children":"Best Paper Award IEEE International Workshop on Cryptocurrency and Exchanges 2023"}],"\n",["$","li",null,{"className":"x:my-2","children":"Best Paper Award IEEE Conference on Blockchain Research & Applications for Innovative Networks and Services 2020"}],"\n"]}]]}]]}]]}]}],"$undefined",null,["$","$Lc",null,{"children":["$Ld","$Le",null]}]]}],{},null,false]},null,false]},null,false],["$","$1","h",{"children":[null,["$","$1","_406RJGrlRBTW68eYokaO",{"children":[["$","$Lf",null,{"children":"$L10"}],["$","meta",null,{"name":"next-size-adjust","content":""}]]}],["$","$L11",null,{"children":"$L12"}]]}],false]],"m":"$undefined","G":["$13","$undefined"],"s":false,"S":true}
14:I[5776,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ThemeConfigProvider"]
15:I[6666,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"LastUpdated"]
16:I[145,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","494","static/chunks/494-0961fb96c1fb5ae1.js","177","static/chunks/app/layout-301e0dd66190363d.js"],"Search"]
17:I[1362,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","494","static/chunks/494-0961fb96c1fb5ae1.js","177","static/chunks/app/layout-301e0dd66190363d.js"],"ThemeProvider"]
18:I[6221,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"SkipNavLink"]
19:I[8845,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ConfigProvider"]
1a:I[5109,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ClientNavbar"]
1b:I[2040,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"Switchers"]
1c:I[2001,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"LocaleSwitch"]
1d:I[5025,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"ThemeSwitch"]
1e:I[4502,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","207","static/chunks/app/veneris/page-c9e40ed025743959.js"],"MobileNav"]
1f:I[1779,["545","static/chunks/c16f53c3-56c24f8cc4a06712.js","863","static/chunks/863-8cb831a1eef55f92.js","494","static/chunks/494-0961fb96c1fb5ae1.js","177","static/chunks/app/layout-301e0dd66190363d.js"],"default"]
2:["$","html",null,{"lang":"en","dir":"ltr","suppressHydrationWarning":true,"children":[["$","head",null,{"children":[[["$","title",null,{"children":"Computer Engineering Group · University of Toronto"}],["$","meta",null,{"name":"description","content":"Computer Engineering Group · University of Toronto"}]],["$","style",null,{"children":":root {\n  --nextra-primary-hue: 201deg;\n  --nextra-primary-saturation: 90%;\n  --nextra-primary-lightness: 45%;\n  --nextra-bg: 250,250,250;\n  --nextra-content-width: 90rem;\n}\n.dark {\n  --nextra-primary-hue: 181deg;\n  --nextra-primary-saturation: 86%;\n  --nextra-primary-lightness: 55%;\n  --nextra-bg: 17,17,17;\n}\n::selection {\n  background: hsla(var(--nextra-primary-hue),var(--nextra-primary-saturation),var(--nextra-primary-lightness),.3);\n}\nhtml {\n  background: rgb(var(--nextra-bg));\n}"}],["$","meta",null,{"name":"theme-color","media":"(prefers-color-scheme: light)","content":"rgb(250,250,250)"}],["$","meta",null,{"name":"theme-color","media":"(prefers-color-scheme: dark)","content":"rgb(17,17,17)"}],"$undefined"]}],["$","body",null,{"children":["$","$L14",null,{"value":{"darkMode":true,"docsRepositoryBase":"https://github.com/baochunli/eecg","editLink":null,"feedback":{"content":null,"labels":"feedback"},"i18n":[],"lastUpdated":["$","$L15",null,{}],"navigation":{"next":true,"prev":true},"search":["$","$L16",null,{"placeholder":"Search (\"/\" to focus)"}],"sidebar":{"defaultMenuCollapseLevel":2,"defaultOpen":true,"toggleButton":true},"themeSwitch":{"dark":"Dark","light":"Light","system":"System"},"toc":{"backToTop":"Scroll to top","float":true,"title":"On This Page"}},"children":["$","$L17",null,{"attribute":"class","disableTransitionOnChange":true,"children":[["$","$L18",null,{}],"$undefined",["$","$L19",null,{"pageMap":[{"data":{"index":{"title":"Home"},"aarabi":{"title":"Parham Aarabi"},"abdelrahman":{"title":"Tarek Abdelrahman"},"anderson":{"title":"Jason H. Anderson"},"betz":{"title":"Vaughn Betz"},"brown":{"title":"Stephen Brown"},"emara":{"title":"Salma Emara"},"enright-jerger":{"title":"Natalie Enright Jerger"},"eyolfson":{"title":"Jon Eyolfson"},"goel":{"title":"Ashvin Goel"},"gulak":{"title":"Glenn Gulak"},"jacobsen":{"title":"Hans-Arno Jacobsen"},"jeffrey":{"title":"Mark Jeffrey"},"li":{"title":"Baochun Li"},"lie":{"title":"David Lie"},"mann":{"title":"Steve Mann"},"moshovos":{"title":"Andreas Moshovos"},"najm":{"title":"Farid Najm"},"papernot":{"title":"Nicolas Papernot"},"rose":{"title":"Jonathan Rose"},"timorabadi":{"title":"Hamid Timorabadi"},"veneris":{"title":"Andreas Veneris"},"wong":{"title":"Willy Wong"},"ying":{"title":"Chen Ying"},"yuan":{"title":"Ding Yuan"},"zhou":{"title":"Shurui Zhou"},"zhu":{"title":"Jianwen Zhu"},"emeritus":{"title":"Emeritus Faculty"},"inmemoriam":{"title":"In Memoriam"},"department":{"title":"ECE Department","href":"https://www.ece.utoronto.ca"}}},{"name":"index","route":"/","frontMatter":{"title":"Page","filePath":"app/page.mdx","timestamp":1742837661000},"title":"Home"},{"name":"aarabi","route":"/aarabi","frontMatter":{"title":"Page","filePath":"app/aarabi/page.mdx","timestamp":1742837661000},"title":"Parham Aarabi"},{"name":"abdelrahman","route":"/abdelrahman","frontMatter":{"title":"Page","filePath":"app/abdelrahman/page.mdx","timestamp":1742837661000},"title":"Tarek Abdelrahman"},{"name":"anderson","route":"/anderson","frontMatter":{"title":"Page","filePath":"app/anderson/page.mdx","timestamp":1742837661000},"title":"Jason H. Anderson"},{"name":"betz","route":"/betz","frontMatter":{"title":"Page","filePath":"app/betz/page.mdx","timestamp":1742837661000},"title":"Vaughn Betz"},{"name":"brown","route":"/brown","frontMatter":{"title":"Page","filePath":"app/brown/page.mdx","timestamp":1742837661000},"title":"Stephen Brown"},{"name":"emara","route":"/emara","frontMatter":{"title":"Page","filePath":"app/emara/page.mdx","timestamp":1742837661000},"title":"Salma Emara"},{"name":"enright-jerger","route":"/enright-jerger","frontMatter":{"title":"Page","filePath":"app/enright-jerger/page.mdx","timestamp":1742837661000},"title":"Natalie Enright Jerger"},{"name":"eyolfson","route":"/eyolfson","frontMatter":{"title":"Page","filePath":"app/eyolfson/page.mdx","timestamp":1742837661000},"title":"Jon Eyolfson"},{"name":"goel","route":"/goel","frontMatter":{"title":"Page","filePath":"app/goel/page.mdx","timestamp":1742837661000},"title":"Ashvin Goel"},{"name":"gulak","route":"/gulak","frontMatter":{"title":"Page","filePath":"app/gulak/page.mdx","timestamp":1742837661000},"title":"Glenn Gulak"},{"name":"jacobsen","route":"/jacobsen","frontMatter":{"title":"Page","filePath":"app/jacobsen/page.mdx","timestamp":1742837661000},"title":"Hans-Arno Jacobsen"},{"name":"jeffrey","route":"/jeffrey","frontMatter":{"title":"Page","filePath":"app/jeffrey/page.mdx","timestamp":1742837661000},"title":"Mark Jeffrey"},{"name":"li","route":"/li","frontMatter":{"title":"Page","filePath":"app/li/page.mdx","timestamp":1742837661000},"title":"Baochun Li"},{"name":"lie","route":"/lie","frontMatter":{"title":"Page","filePath":"app/lie/page.mdx","timestamp":1742837661000},"title":"David Lie"},{"name":"mann","route":"/mann","frontMatter":{"title":"Page","filePath":"app/mann/page.mdx","timestamp":1742837661000},"title":"Steve Mann"},{"name":"moshovos","route":"/moshovos","frontMatter":{"title":"Page","filePath":"app/moshovos/page.mdx","timestamp":1742837661000},"title":"Andreas Moshovos"},{"name":"najm","route":"/najm","frontMatter":{"title":"Page","filePath":"app/najm/page.mdx","timestamp":1742837661000},"title":"Farid Najm"},{"name":"papernot","route":"/papernot","frontMatter":{"title":"Page","filePath":"app/papernot/page.mdx","timestamp":1742837661000},"title":"Nicolas Papernot"},{"name":"rose","route":"/rose","frontMatter":{"title":"Page","filePath":"app/rose/page.mdx","timestamp":1742837661000},"title":"Jonathan Rose"},{"name":"timorabadi","route":"/timorabadi","frontMatter":{"title":"Page","filePath":"app/timorabadi/page.mdx","timestamp":1742837661000},"title":"Hamid Timorabadi"},{"name":"veneris","route":"/veneris","frontMatter":{"title":"Page","filePath":"app/veneris/page.mdx","timestamp":1742837661000},"title":"Andreas Veneris"},{"name":"wong","route":"/wong","frontMatter":{"title":"Page","filePath":"app/wong/page.mdx","timestamp":1742837661000},"title":"Willy Wong"},{"name":"ying","route":"/ying","frontMatter":{"title":"Page","filePath":"app/ying/page.mdx","timestamp":1742837661000},"title":"Chen Ying"},{"name":"yuan","route":"/yuan","frontMatter":{"title":"Page","filePath":"app/yuan/page.mdx","timestamp":1742837661000},"title":"Ding Yuan"},{"name":"zhou","route":"/zhou","frontMatter":{"title":"Page","filePath":"app/zhou/page.mdx","timestamp":1742837661000},"title":"Shurui Zhou"},{"name":"zhu","route":"/zhu","frontMatter":{"title":"Page","filePath":"app/zhu/page.mdx","timestamp":1742837661000},"title":"Jianwen Zhu"},{"name":"emeritus","route":"/emeritus","children":[{"data":{"panderson":{"title":"Philip Anderson"},"chow":{"title":"Paul Chow"},"stumm":{"title":"Michael Stumm"},"vranesic":{"title":"Zvonko G. Vranesic"},"zaky":{"title":"Safwat G. Zaky"}}},{"name":"panderson","route":"/emeritus/panderson","frontMatter":{"title":"Page","filePath":"app/emeritus/panderson/page.mdx","timestamp":1742837661000},"title":"Philip Anderson"},{"name":"chow","route":"/emeritus/chow","frontMatter":{"title":"Page","filePath":"app/emeritus/chow/page.mdx","timestamp":1742837661000},"title":"Paul Chow"},{"name":"stumm","route":"/emeritus/stumm","frontMatter":{"title":"Page","filePath":"app/emeritus/stumm/page.mdx","timestamp":1742837661000},"title":"Michael Stumm"},{"name":"vranesic","route":"/emeritus/vranesic","frontMatter":{"title":"Page","filePath":"app/emeritus/vranesic/page.mdx","timestamp":1742837661000},"title":"Zvonko G. Vranesic"},{"name":"zaky","route":"/emeritus/zaky","frontMatter":{"title":"Page","filePath":"app/emeritus/zaky/page.mdx","timestamp":1742837661000},"title":"Safwat G. Zaky"}],"title":"Emeritus Faculty"},{"name":"inmemoriam","route":"/inmemoriam","children":[{"data":{"amza":{"title":"Cristiana Amza"},"steffan":{"title":"Gregory Steffan"}}},{"name":"amza","route":"/inmemoriam/amza","frontMatter":{"title":"Page","filePath":"app/inmemoriam/amza/page.mdx","timestamp":1742837661000},"title":"Cristiana Amza"},{"name":"steffan","route":"/inmemoriam/steffan","frontMatter":{"title":"Page","filePath":"app/inmemoriam/steffan/page.mdx","timestamp":1742837661000},"title":"Gregory Steffan"}],"title":"In Memoriam"},{"name":"department","title":"ECE Department","href":"https://www.ece.utoronto.ca"}],"navbar":["$","header",null,{"className":"nextra-navbar x:sticky x:top-0 x:z-30 x:w-full x:bg-transparent x:print:hidden x:max-md:[.nextra-banner:not([class$=hidden])~&]:top-(--nextra-banner-height)","children":[["$","div",null,{"className":"nextra-navbar-blur x:absolute x:-z-1 x:size-full nextra-border x:border-b x:backdrop-blur-md x:bg-nextra-bg/70"}],["$","nav",null,{"style":{"height":"var(--nextra-navbar-height)"},"className":"x:mx-auto x:flex x:max-w-(--nextra-content-width) x:items-center x:gap-4 x:pl-[max(env(safe-area-inset-left),1.5rem)] x:pr-[max(env(safe-area-inset-right),1.5rem)] x:justify-end","children":[["$","$La",null,{"href":"/","className":"x:flex x:items-center x:me-auto x:transition-opacity x:focus-visible:nextra-focus x:hover:opacity-75","children":["$","b",null,{"children":"Computer Engineering Group · University of Toronto"}]}],["$","$L1a",null,{"className":"","children":["$undefined","$undefined","$undefined"]}]]}]]}],"footer":["$","div",null,{"className":"x:bg-gray-100 x:pb-[env(safe-area-inset-bottom)] x:dark:bg-neutral-900 x:print:bg-transparent","children":[["$","$L1b",null,{"children":["$","div",null,{"className":"x:mx-auto x:flex x:max-w-(--nextra-content-width) x:gap-2 x:py-2 x:px-4","children":[["$","$L1c",null,{}],["$","$L1d",null,{}]]}]}],["$","hr",null,{"className":"nextra-border"}],["$","footer",null,{"className":"x:mx-auto x:flex x:max-w-(--nextra-content-width) x:justify-center x:py-12 x:text-gray-600 x:dark:text-gray-400 x:md:justify-start x:pl-[max(env(safe-area-inset-left),1.5rem)] x:pr-[max(env(safe-area-inset-right),1.5rem)]","children":["$","span",null,{"children":["© ",2025," ",["$","a",null,{"href":"https://www.eecg.toronto.edu","target":"_blank","children":"Computer Engineering Group · University of Toronto"}],". All rights reserved."]}]}]]}],"children":[["$","$L1e",null,{}],[["$","$L1f",null,{}],["$","$L3",null,{"parallelRouterKey":"children","error":"$undefined","errorStyles":"$undefined","errorScripts":"$undefined","template":["$","$L4",null,{}],"templateStyles":"$undefined","templateScripts":"$undefined","notFound":[[["$","title",null,{"children":"404: This page could not be found."}],["$","div",null,{"style":{"fontFamily":"system-ui,\"Segoe UI\",Roboto,Helvetica,Arial,sans-serif,\"Apple Color Emoji\",\"Segoe UI Emoji\"","height":"100vh","textAlign":"center","display":"flex","flexDirection":"column","alignItems":"center","justifyContent":"center"},"children":["$","div",null,{"children":[["$","style",null,{"dangerouslySetInnerHTML":{"__html":"body{color:#000;background:#fff;margin:0}.next-error-h1{border-right:1px solid rgba(0,0,0,.3)}@media (prefers-color-scheme:dark){body{color:#fff;background:#000}.next-error-h1{border-right:1px solid rgba(255,255,255,.3)}}"}}],["$","h1",null,{"className":"next-error-h1","style":{"display":"inline-block","margin":"0 20px 0 0","padding":"0 23px 0 0","fontSize":24,"fontWeight":500,"verticalAlign":"top","lineHeight":"49px"},"children":404}],["$","div",null,{"style":{"display":"inline-block"},"children":["$","h2",null,{"style":{"fontSize":14,"fontWeight":400,"lineHeight":"49px","margin":0},"children":"This page could not be found."}]}]]}]}]],[]],"forbidden":"$undefined","unauthorized":"$undefined"}]]]}]]}]}]}]]}]
10:[["$","meta","0",{"charSet":"utf-8"}],["$","meta","1",{"name":"viewport","content":"width=device-width, initial-scale=1"}]]
d:null
e:null
12:[["$","title","0",{"children":"Page"}]]