1:"$Sreact.fragment" 3:I[9766,[],""] 4:I[8924,[],""] 5:I[8221,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"TOCProvider"] 6:I[2857,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"Sidebar"] 7:I[825,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ClientWrapper"] 9:I[9114,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"HeadingAnchor"] a:I[2692,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ImageZoom"] 16:I[7150,[],""] :HL["/_next/static/media/93f479601ee12b01-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}] :HL["/_next/static/media/bb3ef058b751a6ad-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}] :HL["/_next/static/media/e4af272ccee01ff0-s.p.woff2","font",{"crossOrigin":"","type":"font/woff2"}] :HL["/_next/static/css/ce6dd71a286243a1.css","style"] :HL["/_next/static/css/13a2b0d06dd155ba.css","style"] 8:T69b,## Jianan Yao ![image](../images/yao.jpg) Assistant Professor
Department of Electrical and Computer Engineering
University of Toronto E-Mail: [jianan.yao@utoronto.ca](mailto:jianan.yao@utoronto.ca)
Phone: (347) 406-0301
Office: D.L. Pratt Building 374E
Website: [https://www.eecg.utoronto.ca/~jianan/](https://www.eecg.utoronto.ca/~jianan/) ### Biography Jianan Yao is a tenure stream assistant professor at the Edward S. Rogers Sr. Department of Electrical and Computer Engineering at University of Toronto. He previously worked as an applied scientist at the Automated Reasoning Group of Amazon Web Services (AWS). He obtained his B.Eng. from Tsinghua University and his Ph.D. in computer science from Columbia University, advised by Professor Ronghui Gu. Jianan Yao‘s research spans the fields of programming languages, distributed systems, and machine learning, with the overarching goal of ensuring the correctness and security of safety-critical systems software through formal verification. He is particularly interested in automating the verification process, reducing the proof burden and specialized expertise required, thus facilitating its broader real-world application. To achieve higher automation, his research involves a combination of new verification pipelines, classical algorithms, and machine learning models, and has proven effective across various domains, including sequential programs, distributed protocols, and blockchain systems. ### Research Interests Prof. Yao's research interest lies in programming languages, distributed systems, and machine learning. ### Memberships and Awards - Jay Lepreau Best Paper Award, OSDI 20210:{"P":null,"b":"qQwW7LOnl7iS7834MyRjX","p":"","c":["","yao"],"i":false,"f":[[["",{"children":["yao",{"children":["__PAGE__",{}]}]},"$undefined","$undefined",true],["",["$","$1","c",{"children":[[["$","link","0",{"rel":"stylesheet","href":"/_next/static/css/ce6dd71a286243a1.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":["yao",["$","$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":"Jianan Yao","id":"jianan-yao","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/yao/page.mdx","timestamp":1743349329000},"bottomContent":"$undefined","sourceCode":"$8","children":[["$","div",null,{"id":"nextra-skip-nav"}],["$","main",null,{"data-pagefind-body":true,"children":[["$","h2",null,{"id":"jianan-yao","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":["Jianan Yao",["$","$L9",null,{"id":"jianan-yao"}]]}],"\n",["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":["$","$La",null,{"alt":"image","placeholder":"blur","src":{"src":"/_next/static/media/yao.56bf13d2.jpg","height":1024,"width":768,"blurDataURL":"data:image/jpeg;base64,/9j/2wBDAAoKCgoKCgsMDAsPEA4QDxYUExMUFiIYGhgaGCIzICUgICUgMy03LCksNy1RQDg4QFFeT0pPXnFlZXGPiI+7u/v/2wBDAQoKCgoKCgsMDAsPEA4QDxYUExMUFiIYGhgaGCIzICUgICUgMy03LCksNy1RQDg4QFFeT0pPXnFlZXGPiI+7u/v/wgARCAAIAAYDASIAAhEBAxEB/8QAFQABAQAAAAAAAAAAAAAAAAAAAAX/xAAUAQEAAAAAAAAAAAAAAAAAAAAC/9oADAMBAAIQAxAAAAC0Cv/EABsQAAICAwEAAAAAAAAAAAAAAAECAwUAFCEE/9oACAEBAAE/AIr+rR3ln9ya0xOuSvCE42f/xAAWEQADAAAAAAAAAAAAAAAAAAAAARL/2gAIAQIBAT8AlH//xAAVEQEBAAAAAAAAAAAAAAAAAAAAEf/aAAgBAwEBPwCv/9k=","blurWidth":6,"blurHeight":8}}]}],"\n","$Lb","\n","$Lc","\n","$Ld","\n","$Le","\n","$Lf","\n","$L10","\n","$L11","\n","$L12","\n","$L13"]}]]}]]}]}],null,"$L14"]}],{},null,false]},null,false]},null,false],"$L15",false]],"m":"$undefined","G":["$16",[]],"s":false,"S":true} 17:I[2619,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],""] 18:I[4431,[],"OutletBoundary"] 1a:I[5278,[],"AsyncMetadataOutlet"] 1c:I[4431,[],"ViewportBoundary"] 1e:I[4431,[],"MetadataBoundary"] 1f:"$Sreact.suspense" b:["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":["Assistant Professor",["$","br",null,{}],"\nDepartment of Electrical and Computer Engineering",["$","br",null,{}],"\nUniversity of Toronto"]}] c:["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":["E-Mail: ",["$","$L17",null,{"href":"mailto:jianan.yao@utoronto.ca","prefetch":"$undefined","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":"jianan.yao@utoronto.ca"}],["$","br",null,{}],"\nPhone: (347) 406-0301",["$","br",null,{}],"\nOffice: D.L. Pratt Building 374E",["$","br",null,{}],"\nWebsite: ",["$","a",null,{"href":"https://www.eecg.utoronto.ca/~jianan/","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/~jianan/",[" ",["$","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"}]]}]]]}]]}] d:["$","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",["$","$L9",null,{"id":"biography"}]]}] e:["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":"Jianan Yao is a tenure stream assistant professor at the Edward S. Rogers Sr. Department of Electrical and Computer Engineering at University of Toronto. He previously worked as an applied scientist at the Automated Reasoning Group of Amazon Web Services (AWS). He obtained his B.Eng. from Tsinghua University and his Ph.D. in computer science from Columbia University, advised by Professor Ronghui Gu."}] f:["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":"Jianan Yao‘s research spans the fields of programming languages, distributed systems, and machine learning, with the overarching goal of ensuring the correctness and security of safety-critical systems software through formal verification. He is particularly interested in automating the verification process, reducing the proof burden and specialized expertise required, thus facilitating its broader real-world application. To achieve higher automation, his research involves a combination of new verification pipelines, classical algorithms, and machine learning models, and has proven effective across various domains, including sequential programs, distributed protocols, and blockchain systems."}] 10:["$","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",["$","$L9",null,{"id":"research-interests"}]]}] 11:["$","p",null,{"className":"x:not-first:mt-[1.25em] x:leading-7","children":"Prof. Yao’s research interest lies in programming languages, distributed systems, and machine learning."}] 12:["$","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",["$","$L9",null,{"id":"memberships-and-awards"}]]}] 13:["$","ul",null,{"className":"x:[:is(ol,ul)_&]:my-[.75em] x:not-first:mt-[1.25em] x:list-disc x:ms-[1.5em]","children":["\n",["$","li",null,{"className":"x:my-[.5em]","children":"Jay Lepreau Best Paper Award, OSDI 2021"}],"\n"]}] 14:["$","$L18",null,{"children":["$L19",["$","$L1a",null,{"promise":"$@1b"}]]}] 15:["$","$1","h",{"children":[null,[["$","$L1c",null,{"children":"$L1d"}],["$","meta",null,{"name":"next-size-adjust","content":""}]],["$","$L1e",null,{"children":["$","div",null,{"hidden":true,"children":["$","$1f",null,{"fallback":null,"children":"$L20"}]}]}]]}] 21:I[451,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ThemeConfigProvider"] 22:I[6149,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"LastUpdated"] 23:I[2824,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","912","static/chunks/912-1e51b324cfaddded.js","177","static/chunks/app/layout-24e5e90fc9e7a67b.js"],"Search"] 24:I[5379,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","912","static/chunks/912-1e51b324cfaddded.js","177","static/chunks/app/layout-24e5e90fc9e7a67b.js"],"ThemeProvider"] 25:I[7272,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"SkipNavLink"] 26:I[6810,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ConfigProvider"] 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":["$","$L21",null,{"value":{"children":"$undefined","copyPageButton":true,"darkMode":true,"docsRepositoryBase":"https://github.com/baochunli/eecg","editLink":null,"feedback":{"content":null,"labels":"feedback"},"i18n":[],"lastUpdated":["$","$L22",null,{}],"navigation":{"next":true,"prev":true},"search":["$","$L23",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":["$","$L24",null,{"attribute":"class","defaultTheme":"system","disableTransitionOnChange":true,"storageKey":"theme","children":[["$","$L25",null,{}],"$undefined",["$","$L26",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"},"yao":{"title":"Jianan Yao"},"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":{"href":"https://www.ece.utoronto.ca","title":"ECE Department"}}},{"name":"index","route":"/","frontMatter":{"title":"Page","filePath":"app/page.mdx","timestamp":1743349329000},"title":"Home"},{"name":"aarabi","route":"/aarabi","frontMatter":{"title":"Page","filePath":"app/aarabi/page.mdx","timestamp":1743349329000},"title":"Parham Aarabi"},{"name":"abdelrahman","route":"/abdelrahman","frontMatter":{"title":"Page","filePath":"app/abdelrahman/page.mdx","timestamp":1743349329000},"title":"Tarek Abdelrahman"},{"name":"anderson","route":"/anderson","frontMatter":{"title":"Page","filePath":"app/anderson/page.mdx","timestamp":1743349329000},"title":"Jason H. Anderson"},{"name":"betz","route":"/betz","frontMatter":{"title":"Page","filePath":"app/betz/page.mdx","timestamp":1743349329000},"title":"Vaughn Betz"},{"name":"brown","route":"/brown","frontMatter":{"title":"Page","filePath":"app/brown/page.mdx","timestamp":1743349329000},"title":"Stephen Brown"},{"name":"emara","route":"/emara","frontMatter":{"title":"Page","filePath":"app/emara/page.mdx","timestamp":1743349329000},"title":"Salma Emara"},{"name":"enright-jerger","route":"/enright-jerger","frontMatter":{"title":"Page","filePath":"app/enright-jerger/page.mdx","timestamp":1743349329000},"title":"Natalie Enright Jerger"},{"name":"eyolfson","route":"/eyolfson","frontMatter":{"title":"Page","filePath":"app/eyolfson/page.mdx","timestamp":1743349329000},"title":"Jon Eyolfson"},{"name":"goel","route":"/goel","frontMatter":{"title":"Page","filePath":"app/goel/page.mdx","timestamp":1743349329000},"title":"Ashvin Goel"},{"name":"gulak","route":"/gulak","frontMatter":{"title":"Page","filePath":"app/gulak/page.mdx","timestamp":1743349329000},"title":"Glenn Gulak"},{"name":"jacobsen","route":"/jacobsen","frontMatter":{"title":"Page","filePath":"app/jacobsen/page.mdx","timestamp":1743349329000},"title":"Hans-Arno Jacobsen"},{"name":"jeffrey","route":"/jeffrey","frontMatter":{"title":"Page","filePath":"app/jeffrey/page.mdx","timestamp":1743349329000},"title":"Mark Jeffrey"},{"name":"li","route":"/li","frontMatter":{"title":"Page","filePath":"app/li/page.mdx","timestamp":1743349329000},"title":"Baochun Li"},{"name":"lie","route":"/lie","frontMatter":{"title":"Page","filePath":"app/lie/page.mdx","timestamp":1743349329000},"title":"David Lie"},{"name":"mann","route":"/mann","frontMatter":{"title":"Page","filePath":"app/mann/page.mdx","timestamp":1743349329000},"title":"Steve Mann"},{"name":"moshovos","route":"/moshovos","frontMatter":{"title":"Page","filePath":"app/moshovos/page.mdx","timestamp":1743349329000},"title":"Andreas Moshovos"},{"name":"najm","route":"/najm","frontMatter":{"title":"Page","filePath":"app/najm/page.mdx","timestamp":1743349329000},"title":"Farid Najm"},{"name":"papernot","route":"/papernot","frontMatter":{"title":"Page","filePath":"app/papernot/page.mdx","timestamp":1743349329000},"title":"Nicolas Papernot"},{"name":"rose","route":"/rose","frontMatter":{"title":"Page","filePath":"app/rose/page.mdx","timestamp":1743349329000},"title":"Jonathan Rose"},{"name":"timorabadi","route":"/timorabadi","frontMatter":{"title":"Page","filePath":"app/timorabadi/page.mdx","timestamp":1743349329000},"title":"Hamid Timorabadi"},{"name":"veneris","route":"/veneris","frontMatter":{"title":"Page","filePath":"app/veneris/page.mdx","timestamp":1743349329000},"title":"Andreas Veneris"},{"name":"yao","route":"/yao","frontMatter":{"title":"Page","filePath":"app/yao/page.mdx","timestamp":1743349329000},"title":"Jianan Yao"},{"name":"ying","route":"/ying","frontMatter":{"title":"Page","filePath":"app/ying/page.mdx","timestamp":1743349329000},"title":"Chen Ying"},{"name":"yuan","route":"/yuan","frontMatter":{"title":"Page","filePath":"app/yuan/page.mdx","timestamp":1743349329000},"title":"Ding Yuan"},{"name":"zhou","route":"/zhou","frontMatter":{"title":"Page","filePath":"app/zhou/page.mdx","timestamp":1743349329000},"title":"Shurui Zhou"},{"name":"zhu","route":"/zhu","frontMatter":{"title":"Page","filePath":"app/zhu/page.mdx","timestamp":1743349329000},"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":1743349329000},"title":"Philip Anderson"},{"name":"chow","route":"/emeritus/chow","frontMatter":{"title":"Page","filePath":"app/emeritus/chow/page.mdx","timestamp":1743349329000},"title":"Paul Chow"},{"name":"stumm","route":"/emeritus/stumm","frontMatter":{"title":"Page","filePath":"app/emeritus/stumm/page.mdx","timestamp":1743349329000},"title":"Michael Stumm"},{"name":"vranesic","route":"/emeritus/vranesic","frontMatter":{"title":"Page","filePath":"app/emeritus/vranesic/page.mdx","timestamp":1743349329000},"title":"Zvonko G. Vranesic"},{"name":"zaky","route":"/emeritus/zaky","frontMatter":{"title":"Page","filePath":"app/emeritus/zaky/page.mdx","timestamp":1743349329000},"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":1743349329000},"title":"Cristiana Amza"},{"name":"steffan","route":"/inmemoriam/steffan","frontMatter":{"title":"Page","filePath":"app/inmemoriam/steffan/page.mdx","timestamp":1743349329000},"title":"Gregory Steffan"}],"title":"In Memoriam"},{"name":"department","href":"https://www.ece.utoronto.ca","title":"ECE Department"}],"navbar":"$L27","footer":"$L28","children":["$L29",["$L2a","$L2b"]]}]]}]}]}]]}] 2c:I[7167,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ClientNavbar"] 2d:I[2363,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"Switchers"] 2e:I[9421,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"LocaleSwitch"] 2f:I[1085,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"ThemeSwitch"] 30:I[2857,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","814","static/chunks/app/yao/page-de025bbc6a542a06.js"],"MobileNav"] 31:I[5802,["545","static/chunks/c16f53c3-b8b233f8702d885b.js","551","static/chunks/551-c4b885f98716bb67.js","912","static/chunks/912-1e51b324cfaddded.js","177","static/chunks/app/layout-24e5e90fc9e7a67b.js"],"default"] 27:["$","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":[["$","$L17",null,{"href":"/","className":"x:flex x:items-center x:me-auto x:transition-opacity x:focus-visible:nextra-focus x:hover:opacity-75","aria-label":"Home page","children":["$","b",null,{"children":"Computer Engineering Group · University of Toronto"}]}],["$","$L2c",null,{"className":"","children":["$undefined","$undefined","$undefined"]}]]}]]}] 28:["$","div",null,{"className":"x:bg-gray-100 x:pb-[env(safe-area-inset-bottom)] x:dark:bg-neutral-900 x:print:bg-transparent","children":[["$","$L2d",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":[["$","$L2e",null,{}],["$","$L2f",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."]}]}]]}] 29:["$","$L30",null,{}] 2a:["$","$L31",null,{}] 2b:["$","$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"}] 1d:[["$","meta","0",{"charSet":"utf-8"}],["$","meta","1",{"name":"viewport","content":"width=device-width, initial-scale=1"}]] 19:null 1b:{"metadata":[["$","title","0",{"children":"Page"}]],"error":null,"digest":"$undefined"} 20:"$1b:metadata"