/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after{--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000}::backdrop{--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before{box-sizing:border-box;border:0 solid;margin:0;padding:0}::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){-webkit-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.absolute{position:absolute}.static{position:static}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.block{display:block}.grid{display:grid}.hidden{display:none}.resize{resize:both}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}}:root{--paper:#fff;--ink:#1b1b1b;--navy:#17365d;--muted:#5f6266;--rule:#c8c8c8;--light-rule:#e7e7e7;--highlight:#fff4b8;--serif:var(--font-source-serif),Georgia,"Times New Roman",serif;--sans:var(--font-geist-sans),Arial,sans-serif;--mono:var(--font-geist-mono),"Courier New",monospace}*{box-sizing:border-box}html{scroll-behavior:smooth}body{background:var(--paper);color:var(--ink);font-family:var(--serif);-webkit-font-smoothing:antialiased;margin:0}body>main{z-index:1;position:relative}.ambient-background{z-index:20;pointer-events:none;width:100%;height:100%;display:block;position:fixed;inset:0;overflow:hidden}a{color:var(--navy);text-underline-offset:3px;text-decoration:underline;text-decoration-thickness:1px}a:hover{background:var(--highlight)}a:focus-visible{outline:2px solid var(--navy);outline-offset:3px}h1,h2,h3,p{text-wrap:pretty}.site-header{border-bottom:1px solid var(--ink);width:min(1060px,100% - 40px);min-height:68px;font-family:var(--sans);grid-template-columns:1fr auto 1fr;align-items:center;margin:0 auto;font-size:13px;display:grid}.brand{color:var(--ink);justify-self:start;font-weight:700;text-decoration:none}.primary-nav{gap:24px;display:flex}.primary-nav a,.header-contact{color:var(--ink);text-decoration:none}.header-contact{justify-self:end}.site-header a:hover{color:var(--navy);background:0 0;text-decoration:underline}.academic-intro,.index-intro,.plain-section,.section,.paper,.case-study,.project-article,.site-footer,.not-found{width:min(960px,100% - 40px);margin-inline:auto}.academic-intro{border-bottom:1px solid var(--ink);grid-template-columns:minmax(0,2.15fr) minmax(240px,.85fr);gap:72px;padding:82px 0 68px;display:grid}.affiliation,.section-label,.eyebrow,.paper-series{color:var(--muted);font:600 11px/1.4 var(--sans);letter-spacing:.07em;text-transform:uppercase;margin:0 0 14px}.identity h1{color:var(--ink);letter-spacing:-.025em;margin:0;font-size:clamp(46px,6vw,66px);font-weight:500;line-height:1}.position{color:var(--navy);margin:18px 0 30px;font-size:19px;line-height:1.45}.bio{max-width:680px;margin:0;font-size:18px;line-height:1.72}.employment-profile{border-left:1px solid var(--rule);padding-left:28px}.employment-profile h2{color:var(--navy);font:700 13px/1.4 var(--sans);margin:0 0 16px}.employment-profile dl{margin:0}.employment-profile dl div{border-top:1px solid var(--light-rule);padding:11px 0}.employment-profile dt{color:var(--muted);font:600 9px/1.4 var(--sans);letter-spacing:.06em;text-transform:uppercase}.employment-profile dd{margin:4px 0 0;font-size:14px;line-height:1.45}.plain-section{border-bottom:1px solid var(--ink);padding:60px 0}.plain-heading{justify-content:space-between;align-items:baseline;gap:25px;margin-bottom:22px;display:flex}.plain-heading h2{color:var(--navy);margin:0;font-size:27px;font-weight:600}.plain-heading p{color:var(--muted);font:12px/1.5 var(--sans);margin:0}.project-groups{gap:30px;display:grid}.project-group{background:#fff;border:1px solid #c9c3a7;scroll-margin-top:24px;overflow:hidden;box-shadow:0 5px 18px #17365d0f}.project-group-heading{border-bottom:2px solid var(--navy);background:#fff9dc;gap:6px;padding:18px 24px 17px;display:grid}.project-group-heading:before{content:"Project category";color:var(--muted);font:600 9px/1.4 var(--sans);letter-spacing:.09em;text-transform:uppercase}.project-group-heading h3{color:var(--navy);margin:0;font-size:22px;font-weight:600;line-height:1.25}.project-group .project-list{border-top:0;padding:0 22px 10px}.project-group .project-row{padding-inline:4px}.project-list{border-top:1px solid var(--ink)}.project-row{border-bottom:1px solid var(--rule);color:inherit;grid-template-columns:1fr 118px;gap:20px;padding:21px 12px;text-decoration:none;transition:background-color .18s,box-shadow .18s,transform .18s;display:grid}.project-row:hover{background:var(--highlight);box-shadow:inset 3px 0 0 var(--navy);transform:translate(5px)}.project-row:focus-visible{background:var(--highlight);box-shadow:inset 3px 0 0 var(--navy);outline:2px solid var(--navy);outline-offset:2px}.project-row-static{cursor:default;grid-template-columns:1fr}.project-row-static:hover{box-shadow:none;background:0 0;transform:none}.project-entry h3{color:var(--navy);margin:0;font-size:19px;font-weight:600;line-height:1.35}.project-abstract{max-width:780px;margin:7px 0;font-size:15px;line-height:1.55}.project-methods{color:var(--muted);font:10px/1.5 var(--sans);letter-spacing:.025em;margin:0}.project-arrow{color:var(--navy);font:11px/1.5 var(--sans);white-space:nowrap;place-self:start end;transition:transform .18s}:is(.project-row:hover .project-arrow,.project-row:focus-visible .project-arrow){transform:translate(4px)}.more-link{font:12px/1.5 var(--sans);margin:22px 0 0}.cv-list{border-top:1px solid var(--ink)}.cv-list article,.education-list article{border-bottom:1px solid var(--rule);grid-template-columns:140px 1fr;align-items:center;gap:20px;padding:20px 0 20px 30px;display:grid;position:relative}.cv-list .education-date,.education-list .education-date{color:var(--muted);font:11px/1.5 var(--sans)}.cv-list article:before,.education-list article:before{content:"";background:var(--navy);border-radius:50%;width:7px;height:7px;position:absolute;top:50%;left:4px;transform:translateY(-50%)}.cv-list article:first-child:before,.education-list article:first-child:before{animation:2.8s ease-in-out infinite education-pulse}@keyframes education-pulse{0%,to{opacity:.55;box-shadow:0 0 #17365d00}50%{opacity:1;box-shadow:0 0 0 6px #17365d24}}.cv-list h3,.education-list h3{color:var(--navy);margin:0 0 4px;font-size:17px}.cv-list p,.education-list p,.education-list small{color:var(--muted);margin:0;font-size:14px}.bibliography{border-top:1px solid var(--ink);margin:0;padding:0;list-style:none}.bibliography li{border-bottom:1px solid var(--rule);grid-template-columns:48px 1fr;gap:12px;padding:18px 0;display:grid}.bibliography p{margin:0;font-size:15px;line-height:1.6}.credential-entry{border-top:1px solid var(--ink);border-bottom:1px solid var(--rule);grid-template-columns:1fr auto;align-items:center;gap:30px;padding:20px 0;display:grid}.credential-entry h3{color:var(--navy);margin:0 0 4px;font-size:17px;font-weight:600;line-height:1.4}.credential-entry p{color:var(--muted);margin:0;font-size:14px;line-height:1.5}.credential-entry time{color:var(--muted);font:11px/1.5 var(--sans);white-space:nowrap}.index-intro{border-bottom:1px solid var(--ink);padding:68px 0 48px}.index-intro h1,.page-hero h1{color:var(--ink);margin:0;font-size:clamp(40px,5.5vw,58px);font-weight:500;line-height:1.08}.index-intro>p:last-child{max-width:720px;margin:24px 0 0;font-size:17px;line-height:1.65}.case-study{max-width:1040px;padding:66px 0 74px}.case-study h1{color:#121212;letter-spacing:-.022em;margin:0;font-size:clamp(38px,5.4vw,58px);font-weight:550;line-height:1.08}.case-study h2{color:var(--navy);margin:0 0 12px;font-size:21px;font-weight:650;line-height:1.3}.case-study p{font-size:15px;line-height:1.68}.case-study section>p{margin:0}.case-study section>p+p{margin-top:10px}.case-hero{margin-bottom:42px}.case-kicker,.case-mini-label{color:var(--muted);font:650 10px/1.4 var(--sans);letter-spacing:.095em;text-transform:uppercase;margin:0 0 15px}.case-deck{max-width:760px;margin:22px 0 0;font-size:18px!important;line-height:1.62!important}.case-tool-line{color:var(--muted);letter-spacing:.025em;margin:20px 0 0;font:11px/1.65 var(--sans)!important}.case-lead{max-width:840px;margin:0;font-size:18px!important;line-height:1.72!important}.case-lead-rule{border-left:3px solid var(--navy);padding:22px 0 22px 24px}.case-figure{margin:0}.case-figure a{background:#fff;border:1px solid #d8d2b5;display:block;box-shadow:0 7px 24px #17365d14}.case-figure a:hover{border-color:var(--navy);background:#fff}.case-figure img{width:100%;height:auto;display:block}.case-figure figcaption{color:var(--muted);grid-template-columns:minmax(120px,.28fr) 1fr;gap:18px;margin-top:10px;font-size:12px;line-height:1.55;display:grid}.case-figure figcaption strong{color:var(--navy);font:650 10px/1.55 var(--sans);letter-spacing:.055em;text-transform:uppercase}.case-nav{border-top:1px solid var(--ink);font:12px/1.5 var(--sans);margin-top:58px;padding-top:20px}.case-hero-ledger{grid-template-columns:minmax(0,1.4fr) minmax(260px,.6fr);align-items:start;gap:62px;display:grid}.case-side-facts{border-top:2px solid var(--navy);margin:0}.case-side-facts div{border-bottom:1px solid var(--rule);padding:10px 0}.case-side-facts dt,.case-side-facts dd{margin:0}.case-side-facts dt{color:var(--muted);font:650 9px/1.4 var(--sans);letter-spacing:.06em;text-transform:uppercase}.case-side-facts dd{margin-top:4px;font-size:13px;line-height:1.45}.implementation-flow{border-top:1px solid var(--ink);border-bottom:1px solid var(--ink);grid-template-columns:repeat(3,1fr);gap:0;margin-top:44px;display:grid}.implementation-stage{padding:25px 24px 27px 0}.implementation-stage+.implementation-stage{border-left:1px solid var(--rule);padding-left:24px}.case-hero-centered{text-align:center;max-width:880px;margin-inline:auto}.case-hero-centered .case-deck{margin-inline:auto}.accelerator-stats{border-block:1px solid var(--ink);grid-template-columns:repeat(5,1fr);margin:0 0 38px;display:grid}.accelerator-stats div{text-align:center;min-height:92px;padding:17px 13px}.accelerator-stats div+div{border-left:1px solid var(--rule)}.accelerator-stats dt{color:var(--muted);font:650 9px/1.45 var(--sans);letter-spacing:.055em;text-transform:uppercase}.accelerator-stats dd{color:var(--navy);margin:8px 0 0;font-size:16px;font-weight:650;line-height:1.3}.accelerator-visuals{grid-template-columns:minmax(0,1.5fr) minmax(240px,.5fr);align-items:center;gap:28px;display:grid}.accelerator-visuals .case-figure-compact{max-width:none}.accelerator-visuals .case-figure figcaption{display:block}.accelerator-visuals .case-figure figcaption strong{margin-bottom:4px;display:block}.accelerator-notes{grid-template-columns:1fr 1fr;gap:34px 52px;margin-top:46px;display:grid}.accelerator-notes section:last-child{border-top:2px solid var(--navy);background:#fff8d8;grid-column:1/-1;padding:26px 30px}.case-hero-riscv{max-width:790px}.case-hero-riscv>p:last-child{max-width:700px;margin:22px 0 0;font-size:18px;line-height:1.65}.pipeline-figure{margin-top:34px}.pipeline-intro{border-bottom:1px solid var(--ink);grid-template-columns:1fr 260px;gap:54px;margin:38px 0;padding-bottom:30px;display:grid}.pipeline-intro>p{margin:0;font-size:18px;line-height:1.68}.pipeline-intro .case-tool-line{border-left:1px solid var(--rule);margin:0;padding-left:22px}.pipeline-notes{grid-template-columns:1fr 1fr;gap:28px;display:grid}.pipeline-notes section{border:1px solid var(--rule);background:#fff;padding:24px}.pipeline-hazard{background:#fff8d8!important;border-color:#c7bd8d!important}.pipeline-verification{grid-column:1/-1;border:0!important;border-left:3px solid var(--navy)!important;padding:25px 30px!important}.case-hero-tomasulo{border-left:4px solid var(--navy);grid-template-columns:minmax(0,1fr) 260px;gap:50px;padding-left:26px;display:grid}.case-hero-tomasulo .case-tool-line{align-self:end;margin:0}.execution-map{background:#fff9dc;margin:36px 0 44px;padding:22px}.execution-notes{grid-template-columns:1fr 1fr 1fr;gap:18px;display:grid}.execution-notes section{border-top:3px solid var(--navy);background:#fff;padding:22px;box-shadow:0 5px 18px #17365d0f}.execution-facts{border:1px solid var(--rule);grid-template-columns:repeat(5,1fr);gap:14px;margin:34px 0 0;padding:20px;display:grid}.execution-facts dt{color:var(--muted);font:650 9px/1.4 var(--sans);text-transform:uppercase}.execution-facts dd{margin:5px 0 0;font-size:13px;line-height:1.45}.case-hero-uart{border-bottom:2px solid var(--navy);grid-template-columns:1.15fr .85fr;align-items:end;gap:64px;padding-bottom:30px;display:grid}.case-hero-uart>p{margin:0;font-size:17px;line-height:1.68}.protocol-specs{background:#fff8d8;flex-wrap:wrap;gap:0;margin:0 0 36px;display:flex}.protocol-specs div{flex:160px;padding:16px 18px}.protocol-specs dt{color:var(--muted);font:650 9px/1.4 var(--sans);text-transform:uppercase}.protocol-specs dd{color:var(--navy);margin:5px 0 0;font-size:15px;font-weight:650}.protocol-figure{max-width:880px;margin-inline:auto}.protocol-pair{grid-template-columns:1fr 1fr;gap:22px;margin-top:42px;display:grid}.protocol-pair section{border:1px solid var(--rule);min-height:100%;padding:27px 29px}.protocol-pair section:first-child{border-top:4px solid var(--navy)}.protocol-pair section:last-child{background:#fffaf0;border-top:4px solid #af8f1b}.protocol-verification{background:#f5f5f2;grid-template-columns:220px 1fr;gap:34px;margin-top:22px;padding:27px 30px;display:grid}.protocol-verification .case-tool-line{grid-column:2;margin-top:10px}.case-hero-cmos{border-left:1px solid var(--navy);max-width:900px;padding:0 0 34px 32px}.circuit-set{border-block:1px solid var(--ink);grid-template-columns:repeat(4,1fr);display:grid}.circuit-set p{font:650 12px/1.45 var(--sans);text-align:center;margin:0;padding:18px 16px}.circuit-set p+p{border-left:1px solid var(--rule)}.cmos-notes{grid-template-columns:.8fr 1.2fr;gap:24px;margin-top:38px;display:grid}.cmos-notes section{padding:26px 28px}.cmos-comparator{background:#fff8d8}.cmos-adders{border:1px solid var(--rule)}.cmos-flow{border-top:2px solid var(--navy);border-bottom:1px solid var(--rule);grid-column:1/-1;grid-template-columns:250px 1fr;gap:20px 42px;display:grid;padding-block:30px!important}.cmos-flow h2{grid-row:1/5}.cmos-flow .case-tool-line{grid-column:2}.case-hero-mac{grid-template-columns:1.05fr .95fr;align-items:end;gap:70px;display:grid}.case-hero-mac>p{border-left:2px solid var(--navy);margin:0;padding-left:24px;font-size:17px;line-height:1.7}.datapath-chain{grid-template-columns:repeat(4,1fr);gap:18px;margin:42px 0;display:grid}.datapath-chain div{min-height:92px;color:var(--navy);font:650 13px/1.45 var(--sans);text-align:center;background:#fff8d8;border:1px solid #c7bd8d;place-items:center;padding:15px;display:grid;position:relative}.datapath-chain div:not(:last-child):after{content:"→";color:var(--navy);font-size:18px;position:absolute;right:-15px}.mac-notes{grid-template-columns:1fr 1fr;gap:42px;display:grid}.mac-notes section{border-top:1px solid var(--ink);padding-top:22px}.mac-physical{background:#f4f4f0;grid-template-columns:.7fr 1.3fr;gap:52px;margin-top:40px;padding:31px;display:grid}.mac-physical h2{font-size:25px}.case-hero-sram{grid-template-columns:1.2fr .8fr;align-items:start;gap:58px;display:grid}.case-hero-sram dl{border-top:3px solid var(--navy);background:#fff8d8;margin:0;padding:21px 24px}.case-hero-sram dl div{border-bottom:1px solid #d8d0a5;grid-template-columns:1fr 1fr;gap:16px;padding:8px 0;display:grid}.case-hero-sram dl div:last-child{border:0}.case-hero-sram dt{color:var(--muted);font:650 9px/1.45 var(--sans);text-transform:uppercase}.case-hero-sram dd{text-align:right;margin:0;font-size:13px;line-height:1.4}.memory-path{border:1px solid var(--navy);grid-template-columns:repeat(4,1fr);margin:42px 0;display:grid}.memory-path span{font:650 12px/1.4 var(--sans);text-align:center;padding:18px 12px;position:relative}.memory-path span+span{border-left:1px solid var(--navy)}.memory-path span+span:before{content:"›";color:var(--navy);background:#fff;padding:0 2px;position:absolute;left:-5px}.memory-notes{grid-template-columns:.75fr 1.25fr;gap:22px 50px;display:grid}.memory-overview{background:#fff8d8;grid-row:1/4;margin:0;padding:24px;font-size:18px!important;line-height:1.68!important}.memory-notes section{border-bottom:1px solid var(--rule);padding-bottom:22px}.project-detail-page{background:#ffffffeb;min-height:100vh}.project-article{max-width:840px;padding:62px 0 72px}.project-heading{border-bottom:1px solid var(--ink);margin-bottom:38px;padding-bottom:32px}.project-meta{color:var(--muted);font:12px/1.5 var(--sans);margin:0 0 13px}.project-heading h1{color:#171717;letter-spacing:-.02em;max-width:790px;margin:0;font-size:clamp(36px,5vw,49px);font-weight:550;line-height:1.12}.project-introduction{color:#292929;max-width:760px;margin:22px 0 0;font-size:18px;line-height:1.7}.project-copy{border-bottom:1px solid var(--light-rule);grid-template-columns:180px 1fr;gap:36px;padding:27px 0;display:grid}.project-copy h2{color:var(--navy);margin:0;font-size:18px;font-weight:650;line-height:1.4}.project-copy p{margin:0;font-size:15px;line-height:1.72}.project-copy p+p{margin-top:11px}.project-tools{border-top:1px solid var(--ink);color:var(--muted);font:11px/1.7 var(--sans);margin:34px 0 0;padding-top:16px}.project-image{margin:36px 0 31px}.project-image a{border:1px solid var(--rule);background:#fff;display:block}.project-image a:hover{border-color:var(--navy);background:#fff}.project-image img{width:100%;height:auto;display:block}.project-image-compact{max-width:350px}.project-image figcaption{color:var(--muted);grid-template-columns:130px 1fr;gap:18px;margin-top:9px;font-size:12px;line-height:1.55;display:grid}.project-image figcaption span{color:var(--ink);font:650 11px/1.55 var(--sans)}.project-back{font:12px/1.5 var(--sans);margin-top:52px}.project-status{border-bottom:1px solid var(--rule);font:12px/1.5 var(--sans);flex-wrap:wrap;gap:7px 20px;margin:0 0 20px;padding:13px 0;display:flex}.project-status strong{color:var(--navy)}.project-status span{color:var(--muted)}.backend-notes .project-copy:first-child{border-top:0}.lstm-facts{border-block:1px solid var(--rule);color:var(--navy);font:650 12px/1.5 var(--sans);flex-wrap:wrap;gap:8px 26px;margin:0 0 8px;padding:13px 0;display:flex}.lstm-writeup{grid-template-columns:1fr 330px;align-items:start;gap:50px;display:grid}.lstm-writeup .project-copy{display:block}.lstm-writeup .project-copy h2{margin-bottom:10px}.lstm-writeup .project-image{margin-top:27px}.hazard-note{border-left:3px solid var(--navy);background:#fffaf0;margin:8px 0;padding-inline:20px}.execution-path,.mac-path,.sram-path{border-block:1px solid var(--rule);color:var(--navy);font:650 12px/1.45 var(--sans);text-align:center;justify-content:center;align-items:center;gap:13px;margin:0 0 31px;padding:13px 16px;display:flex}.execution-path b,.mac-path b,.sram-path b{font-weight:400}.tomasulo-copy .project-copy{grid-template-columns:200px 1fr}.uart-specs,.sram-facts{border-top:1px solid var(--ink);grid-template-columns:repeat(2,1fr);margin:0 0 34px;display:grid}.uart-specs div,.sram-facts div{border-bottom:1px solid var(--rule);grid-template-columns:1fr 1.3fr;gap:16px;padding:11px 0;display:grid}.uart-specs div:nth-child(odd),.sram-facts div:nth-child(odd){padding-right:22px}.uart-specs div:nth-child(2n),.sram-facts div:nth-child(2n){border-left:1px solid var(--light-rule);padding-left:22px}.uart-specs dt,.sram-facts dt{color:var(--muted);font:11px/1.5 var(--sans)}.uart-specs dd,.sram-facts dd{margin:0;font-size:13px;line-height:1.45}.uart-pair,.mac-copy{grid-template-columns:1fr 1fr;gap:40px;display:grid}.uart-pair .project-copy,.mac-copy .project-copy{display:block}.uart-pair .project-copy h2,.mac-copy .project-copy h2{margin-bottom:10px}.cmos-circuits{border-top:1px solid var(--ink);grid-template-columns:1fr 1fr;gap:0 38px;margin:0 0 15px;display:grid}.cmos-circuits p{border-bottom:1px solid var(--rule);grid-template-columns:145px 1fr;gap:15px;margin:0;padding:12px 0;font-size:13px;line-height:1.5;display:grid}.cmos-circuits strong{color:var(--navy);font-family:var(--sans);font-size:12px}.cmos-circuits span{color:var(--muted)}.extraction-note,.physical-note{border-left:3px solid #c9ae47;margin-top:8px;padding-inline:20px}.page-hero{border-bottom:1px solid var(--ink);width:min(960px,100% - 40px);margin:auto;padding:68px 0 54px}.page-hero h1 em,.not-found h1 em{color:var(--navy);font-style:normal}.page-hero>p:last-child{max-width:700px;margin:24px 0 0;font-size:17px;line-height:1.65}.section{border-bottom:1px solid var(--ink);padding:54px 0}.about-detail{grid-template-columns:1.2fr .8fr;gap:65px;display:grid}.profile-statement h2,.section-heading h2{color:var(--navy);margin:0 0 18px;font-size:28px;line-height:1.25}.profile-statement>p:last-child{font-size:16px;line-height:1.7}.keyword-line{color:var(--muted);font:12px/1.8 var(--sans);margin:0}.education-list{border-top:1px solid var(--ink)}.education-list article{grid-template-columns:165px 1fr}.education-list h3,.education-list p,.education-list small{margin-right:0}.coursework-list{flex-wrap:wrap;gap:8px 22px;font-size:15px;line-height:1.6;display:flex}.publication-detail article{border-top:1px solid var(--ink);grid-template-columns:55px 1fr;gap:20px;padding:25px 0;display:grid}.publication-detail h2{color:var(--navy);margin:0 0 10px;font-size:24px}.publication-detail p{line-height:1.6}.pub-number{font:12px/1.5 var(--mono)}.publication-link{font:600 12px/1.5 var(--sans);display:inline-block}.button{border:1px solid var(--navy);font:12px/1.4 var(--sans);margin-top:15px;padding:9px 12px;display:inline-block}.button-dark{background:var(--navy);color:#fff}.not-found{min-height:65vh;padding:90px 0}.not-found h1{margin:18px 0;font-size:52px;font-weight:500}.site-footer{color:var(--muted);font:10px/1.45 var(--sans);grid-template-columns:1fr auto;gap:5px 30px;padding:30px 0 45px;display:grid}.site-footer p{margin:0}.site-footer p:last-child{grid-area:1/2}@media (prefers-reduced-motion:reduce){.cv-list article:first-child:before,.education-list article:first-child:before{animation:none}}@media print{.ambient-background{display:none}}@media (max-width:900px){.accelerator-stats,.execution-facts{grid-template-columns:repeat(3,1fr)}.implementation-flow,.execution-notes{grid-template-columns:1fr}.implementation-stage+.implementation-stage{border-left:0;border-top:1px solid var(--rule);padding-left:0}.implementation-stage{padding-inline:0}.accelerator-visuals{grid-template-columns:1fr}.accelerator-visuals .case-figure-compact{max-width:470px;margin-inline:auto}}@media (max-width:720px){.site-header{grid-template-columns:1fr auto;padding:15px 0}.primary-nav{border-top:1px solid var(--light-rule);grid-area:2/1/auto/-1;gap:16px;margin-top:13px;padding-top:13px}.academic-intro,.about-detail{grid-template-columns:1fr;gap:38px;padding-top:50px}.employment-profile{border-left:0;border-top:1px solid var(--rule);padding:22px 0 0}.plain-heading{display:block}.plain-heading p{margin-top:6px}.project-groups{gap:24px}.project-group-heading{padding:17px 16px 15px}.project-group .project-list{padding:0 12px 8px}.project-row{grid-template-columns:1fr;gap:12px;padding-inline:9px}.project-arrow{grid-column:1;justify-self:start}.case-study{padding-top:48px}.case-hero-ledger,.case-hero-tomasulo,.case-hero-uart,.case-hero-mac,.case-hero-sram,.pipeline-intro,.protocol-verification,.cmos-flow,.mac-physical,.memory-notes{grid-template-columns:1fr;gap:26px}.case-hero-tomasulo{padding-left:18px}.case-hero-tomasulo .case-tool-line,.pipeline-intro .case-tool-line{border-left:0;border-top:1px solid var(--rule);padding:16px 0 0}.accelerator-stats,.execution-facts{grid-template-columns:1fr 1fr}.accelerator-stats div+div{border-left:0}.accelerator-stats div:nth-child(2n){border-left:1px solid var(--rule)}.accelerator-stats div:nth-child(n+3){border-top:1px solid var(--rule)}.accelerator-notes,.pipeline-notes,.protocol-pair,.cmos-notes,.mac-notes{grid-template-columns:1fr;gap:22px}.accelerator-notes section:last-child,.pipeline-verification,.cmos-flow{grid-column:1}.case-figure figcaption{display:block}.case-figure figcaption strong{margin-bottom:4px;display:block}.protocol-verification .case-tool-line,.cmos-flow .case-tool-line{grid-column:1}.cmos-flow h2{grid-row:auto}.circuit-set,.datapath-chain,.memory-path{grid-template-columns:1fr 1fr}.circuit-set p:nth-child(3),.datapath-chain div:nth-child(3),.memory-path span:nth-child(3){border-left:0}.circuit-set p:nth-child(n+3),.memory-path span:nth-child(n+3){border-top:1px solid var(--rule)}.datapath-chain div:after{display:none}.memory-overview{grid-row:auto}.cv-list article,.education-list article{grid-template-columns:1fr;gap:7px;padding-left:28px}.cv-list .education-date,.education-list .education-date,.cv-list article>div,.education-list article>div{grid-column:1}.site-footer{display:block}.site-footer p+p{margin-top:5px}.credential-entry{grid-template-columns:1fr;gap:7px}.project-article{padding-top:44px}.project-copy,.tomasulo-copy .project-copy{grid-template-columns:1fr;gap:9px;padding:23px 0}.project-image figcaption{display:block}.project-image figcaption span{margin-bottom:3px;display:block}.project-image-compact{max-width:100%}.lstm-writeup,.uart-pair,.mac-copy{grid-template-columns:1fr;gap:0}.execution-path,.mac-path,.sram-path{text-align:left;flex-direction:column;align-items:flex-start;gap:6px}.execution-path b,.mac-path b,.sram-path b{display:none}.uart-specs,.sram-facts,.cmos-circuits{grid-template-columns:1fr}.uart-specs div:nth-child(odd),.sram-facts div:nth-child(odd),.uart-specs div:nth-child(2n),.sram-facts div:nth-child(2n){border-left:0;padding-inline:0}.cmos-circuits p{grid-template-columns:125px 1fr}.hazard-note,.extraction-note,.physical-note{padding-inline:16px 0}}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}