*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji",Segoe UI Symbol,"Noto Color Emoji";font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}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;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:JetBrains Mono,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.\!container{width:100%!important}.container{width:100%}@media(min-width:640px){.\!container{max-width:640px!important}.container{max-width:640px}}@media(min-width:768px){.\!container{max-width:768px!important}.container{max-width:768px}}@media(min-width:1024px){.\!container{max-width:1024px!important}.container{max-width:1024px}}@media(min-width:1280px){.\!container{max-width:1280px!important}.container{max-width:1280px}}@media(min-width:1536px){.\!container{max-width:1536px!important}.container{max-width:1536px}}.pointer-events-none{pointer-events:none}.static{position:static}.absolute{position:absolute}.relative{position:relative}.inset-0{top:0;right:0;bottom:0;left:0}.bottom-0{bottom:0}.bottom-5{bottom:1.25rem}.left-0{left:0}.left-1\/2{left:50%}.left-5{left:1.25rem}.right-5{right:1.25rem}.right-8{right:2rem}.top-0{top:0}.top-1\/2{top:50%}.top-8{top:2rem}.z-10{z-index:10}.z-20{z-index:20}.mx-auto{margin-left:auto;margin-right:auto}.my-4{margin-top:1rem;margin-bottom:1rem}.mb-2{margin-bottom:.5rem}.mb-3{margin-bottom:.75rem}.flex{display:flex}.table{display:table}.grid{display:grid}.hidden{display:none}.h-14{height:3.5rem}.h-full{height:100%}.h-px{height:1px}.h-screen{height:100vh}.min-h-full{min-height:100%}.min-h-screen{min-height:100vh}.w-14{width:3.5rem}.w-16{width:4rem}.w-20{width:5rem}.w-\[260px\]{width:260px}.w-\[2px\]{width:2px}.w-full{width:100%}.w-screen{width:100vw}.min-w-0{min-width:0px}.flex-1{flex:1 1 0%}.flex-shrink-0{flex-shrink:0}.-translate-x-1\/2{--tw-translate-x: -50%;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.-translate-y-1\/2{--tw-translate-y: -50%;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.rotate-180{--tw-rotate: 180deg;transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.cursor-pointer{cursor:pointer}.grid-cols-\[minmax\(3ch\,auto\)_1fr\]{grid-template-columns:minmax(3ch,auto) 1fr}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.items-center{align-items:center}.justify-center{justify-content:center}.justify-between{justify-content:space-between}.gap-2{gap:.5rem}.gap-x-6{-moz-column-gap:1.5rem;column-gap:1.5rem}.gap-y-2{row-gap:.5rem}.space-y-2>:not([hidden])~:not([hidden]){--tw-space-y-reverse: 0;margin-top:calc(.5rem * calc(1 - var(--tw-space-y-reverse)));margin-bottom:calc(.5rem * var(--tw-space-y-reverse))}.overflow-hidden{overflow:hidden}.overflow-y-auto{overflow-y:auto}.overflow-x-hidden{overflow-x:hidden}.scroll-smooth{scroll-behavior:smooth}.rounded-full{border-radius:9999px}.border{border-width:1px}.border-0{border-width:0px}.border-b{border-bottom-width:1px}.border-r{border-right-width:1px}.border-surface-200{border-color:var(--line)}.bg-accent-600{background-color:var(--signal)}.bg-ink-300{background-color:var(--line)}.bg-surface-100{background-color:var(--rail)}.bg-surface-50{background-color:var(--paper)}.bg-transparent{background-color:transparent}.p-4{padding:1rem}.p-5{padding:1.25rem}.px-2{padding-left:.5rem;padding-right:.5rem}.py-6{padding-top:1.5rem;padding-bottom:1.5rem}.py-8{padding-top:2rem;padding-bottom:2rem}.pb-3{padding-bottom:.75rem}.text-center{text-align:center}.font-display{font-family:DM Sans,sans-serif}.font-mono{font-family:JetBrains Mono,monospace}.text-3xl{font-size:1.875rem;line-height:2.25rem}.text-4xl{font-size:2.25rem;line-height:2.5rem}.text-\[10px\]{font-size:10px}.text-\[11px\]{font-size:11px}.text-base{font-size:1rem;line-height:1.5rem}.text-sm{font-size:.875rem;line-height:1.25rem}.text-xs{font-size:.75rem;line-height:1rem}.font-medium{font-weight:500}.font-semibold{font-weight:600}.tabular-nums{--tw-numeric-spacing: tabular-nums;font-variant-numeric:var(--tw-ordinal) var(--tw-slashed-zero) var(--tw-numeric-figure) var(--tw-numeric-spacing) var(--tw-numeric-fraction)}.leading-relaxed{line-height:1.625}.tracking-normal{letter-spacing:0em}.tracking-tight{letter-spacing:-.025em}.tracking-wider{letter-spacing:.05em}.text-accent-600{color:var(--signal)}.text-ink-400,.text-ink-500,.text-ink-600{color:var(--muted)}.text-ink-700,.text-ink-900{color:var(--ink)}.opacity-0{opacity:0}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.transition-colors{transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.transition-opacity{transition-property:opacity;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}.duration-150{transition-duration:.15s}:root{font-family:DM Sans,sans-serif;font-synthesis:none;text-rendering:optimizeLegibility;--ink: #171a1f;--paper: #ffffff;--surface: #ffffff;--rail: #f4f5f6;--line: #dce0e4;--muted: #62666f;--signal: #003f91;--highlight: #5da9e9;--secondary: #6d326d;--on-signal: #ffffff;--accepted: #e5f4e3;--accepted-ink: #003f91;--mono: "JetBrains Mono", monospace;--display: "DM Sans", sans-serif;--detail: #171a1f;--detail-text: #ffffff;--detail-muted: #c2c0b9;color:var(--ink);background:var(--paper)}*{box-sizing:border-box}html,body,#root{width:100%;height:100%;margin:0;overflow:hidden}body{min-width:320px}a{color:inherit;text-decoration:none}button{font:inherit;cursor:pointer}a:focus-visible,button:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--signal);outline-offset:4px}::-moz-selection{color:var(--paper);background:var(--signal)}::selection{color:var(--paper);background:var(--signal)}.font-display{font-family:var(--display)}.section-bar{transition:flex-grow .45s ease,width .45s ease;border-right:1px solid var(--line)}.writing-vertical{writing-mode:vertical-rl;text-orientation:mixed;font-family:var(--display);font-size:14px}.ledger-eyebrow{color:var(--signal);font:500 12px/1.4 var(--mono);letter-spacing:0}.rail-panel{height:100%;overflow-y:auto}.rail-panel>div{min-height:100%}.rail-layout{display:flex;flex-direction:column;gap:24px;min-height:100vh;padding:28px 32px}.rail-heading{display:grid;grid-template-columns:1.2fr 1fr;gap:24px;align-items:end;padding-bottom:22px;border-bottom:1px solid var(--line)}.rail-heading h2{font-family:var(--display);font-weight:600;font-size:clamp(34px,3.7vw,54px);line-height:1.05;letter-spacing:-.045em;margin:8px 0 0}.rail-heading>p{max-width:420px;justify-self:end;font-size:14px;line-height:1.6;margin:0;color:var(--muted)}.paxos-stage>div:first-child h2{font-family:var(--display);font-weight:600;letter-spacing:-.045em}.paxos-node-disc{border-radius:50%}.paxos-center{width:min(39%,460px);padding:18px 8px;background:transparent}.paxos-center h1{font-family:var(--display);font-weight:600;font-size:clamp(32px,4.4vw,64px);line-height:1.04;letter-spacing:-.045em}.paxos-center>p:first-child{font-family:DM Sans,sans-serif;font-size:14px}.paxos-center>p:last-child{font-size:16px}.paxos-trace{border:0;border-left:2px solid var(--highlight);background:var(--paper)}.paxos-trace>div:first-child{border-color:var(--line)}.simulation-toggle{position:absolute;z-index:30;right:32px;bottom:22px;padding:10px 16px;border:1px solid var(--ink);background:var(--ink);color:var(--paper);font-size:12px}.simulation-toggle:hover{background:var(--signal);border-color:var(--signal)}.work-layout{gap:18px}.career-list{border-bottom:1px solid var(--ink)}.career-row{display:grid;grid-template-columns:42px minmax(190px,.8fr) minmax(0,1.5fr);gap:22px;padding:22px 20px;border-top:1px solid var(--line);align-items:start}.career-current{color:var(--ink);background:var(--surface);border-top:2px solid var(--secondary);padding-top:30px;padding-bottom:30px}.career-number{font:500 12px var(--mono);padding-top:4px}.career-current .career-number{color:var(--ink);background:transparent;width:36px;height:36px;display:grid;place-items:center;padding:0}.career-role p{font:10px/1.5 var(--mono);color:var(--muted);margin:0 0 8px}.career-role h3{font:600 clamp(17px,1.7vw,24px)/1.15 var(--display);letter-spacing:-.04em;margin:0}.career-role h4{font-size:12px;font-weight:400;margin:7px 0 0;color:var(--muted)}.career-current .career-role p,.career-current .career-role h4{color:var(--muted)}.career-description li{font-size:13px;line-height:1.65;margin:0}.career-description li+li{margin-top:8px}.career-current .career-description{align-self:center}.work-footer{display:flex;justify-content:space-between;gap:20px;align-items:center;font-size:12px}.work-footer a{color:var(--signal);font-weight:600}@media(max-width:1100px){.rail-layout{padding:24px}.paxos-trace{width:200px}.career-row{grid-template-columns:28px minmax(170px,.8fr) minmax(0,1.2fr);gap:14px;padding:20px 12px}.career-description li{font-size:12px}.contact-register a{grid-template-columns:1fr 14px;gap:5px}.contact-register strong{grid-column:1}.contact-register span:last-child{grid-column:2;grid-row:1 / 3}}@media(max-width:900px){.rail-heading{grid-template-columns:1fr;gap:12px}.rail-heading>p{justify-self:start}.career-row{grid-template-columns:26px 1fr}.career-description{grid-column:2}}@media(max-width:767px){.rail-panel{height:auto;overflow:visible}.rail-layout{padding:24px 20px;min-height:0}.rail-heading h2{font-size:38px}.rail-heading>p{font-size:13px}.paxos-center{top:52%;width:46%;padding:12px 4px;background:transparent}.paxos-center h1{font-size:28px}.paxos-center>p:first-child,.paxos-center>p{font-size:10px}.paxos-center>p:last-child{font-size:12px;line-height:1.5}.simulation-toggle{right:20px;bottom:66px}.paxos-stage>div:last-child{font-size:10px}.career-row{gap:12px}.career-description li{font-size:13px}.contact-register a{grid-template-columns:60px 1fr 14px}.contact-register strong{grid-column:2}.contact-register span:last-child{grid-column:3;grid-row:1}}@media(max-width:350px){.paxos-center{width:42%}.paxos-center h1{font-size:24px}.paxos-center>p:last-child{font-size:11px}}@media(max-height:680px)and (min-width:768px){.paxos-trace{display:none}.paxos-center h1{font-size:38px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}.contact-rail-layout{background:var(--surface);gap:20px}.identity-console{display:grid;grid-template-columns:minmax(250px,.72fr) minmax(0,1.28fr);border:1px solid var(--ink)}.identity-profile{display:grid;grid-template-rows:auto 1fr;border-right:1px solid var(--ink)}.identity-profile-top{display:grid;grid-template-columns:88px 1fr;gap:16px;padding:16px;border-bottom:1px solid var(--ink)}.identity-profile-top img{width:88px;height:108px;-o-object-fit:cover;object-fit:cover}.identity-profile-top span,.credentials-block>span{display:block;margin-bottom:8px;color:var(--muted);font:500 11px/1.3 var(--mono)}.identity-profile-top strong{font-size:16px}.identity-profile-top p{margin:8px 0 0;color:var(--muted);font-size:13px;line-height:1.5}.contact-register{display:grid;grid-template-rows:repeat(4,1fr);margin:0}.contact-register a{display:grid;grid-template-columns:58px minmax(0,1fr) 14px;gap:12px;align-items:center;padding:16px;border-bottom:1px solid var(--line)}.contact-register a:last-child{border-bottom:0}.contact-register span,.contact-register b{font:500 10px var(--mono);color:var(--muted)}.contact-register strong{font:500 13px/1.3 var(--mono);overflow-wrap:anywhere}.contact-register strong,.contact-register span:last-child{grid-column:auto;grid-row:auto}.credentials-register{display:grid;grid-template-rows:auto auto auto auto;overflow:visible}.credentials-block{padding:12px 18px;border-bottom:1px solid var(--ink)}.credentials-block:last-child{border-bottom:0}.credential-row{display:flex;justify-content:space-between;gap:16px;padding:6px 0;border-top:1px solid var(--line)}.credential-row div{display:grid;gap:3px}.credential-row strong{font-size:13px}.credential-row small{font-size:11px;color:var(--muted)}.credential-row b{font:500 11px var(--mono)}.skills-compact p,.research-compact p{margin:0;font-size:12px;line-height:1.5}.skills-compact p+span{margin-top:10px}.research-compact p+p{margin-top:8px;padding-top:8px;border-top:1px solid var(--line)}.interests-compact p{margin:0;padding:7px 0;border-top:1px solid var(--line);font-size:13px}.interests-compact p:before{content:"";display:inline-block;width:6px;height:6px;margin-right:9px;background:var(--highlight);vertical-align:2px}.identity-cta{display:grid;grid-template-columns:auto 1fr auto;gap:20px;align-items:center;padding:16px 18px;background:var(--detail);color:var(--detail-text)}.identity-cta>span,.identity-cta a{font-size:12px;color:var(--detail-muted)}.identity-cta strong{font-size:17px;font-weight:500}.identity-cta p{margin:5px 0 0;font-size:12px;color:var(--detail-text)}@media(max-width:1000px)and (min-width:768px){.identity-console{grid-template-columns:minmax(180px,.7fr) minmax(0,1.3fr)}.identity-profile-top{grid-template-columns:1fr}.contact-register a{grid-template-columns:1fr 12px;gap:6px}.contact-register strong{grid-column:1}.contact-register b{grid-column:2;grid-row:1/3}.identity-cta{grid-template-columns:1fr auto}.identity-cta>span{display:none}}@media(max-width:767px){.identity-console{grid-template-columns:1fr}.contact-rail-layout{gap:16px}.contact-rail-layout .rail-heading h2{font-size:clamp(30px,8.8vw,38px);line-height:1.1}.credentials-block{padding:14px 16px}.contact-register a{min-height:52px;padding:14px 16px}.credential-row{gap:12px;padding:8px 0}.credential-row b{white-space:nowrap}.identity-profile-top{grid-template-columns:76px minmax(0,1fr);gap:14px}.identity-profile-top img{width:76px;height:96px}.identity-profile-top strong{font-size:15px}.identity-cta strong{font-size:16px;line-height:1.4}.identity-profile{border-right:0;border-bottom:1px solid var(--ink)}.identity-cta{grid-template-columns:1fr;gap:10px}.paxos-center{background:transparent}}.career-description{margin:0;padding-left:16px;list-style:disc}.career-description li::marker{color:var(--secondary)}.projects-layout{gap:18px}.more-projects h3{margin:8px 0 16px;font-size:18px;font-weight:500}.more-projects ul{display:grid;grid-template-columns:1fr 1fr;gap:0 28px;margin:0;padding:0;list-style:none}.more-projects li{padding:16px 0;border-top:1px solid var(--line);font-size:13px}.more-projects p{margin:6px 0 0;color:var(--muted);line-height:1.6}@media(max-width:767px){.more-projects ul{grid-template-columns:1fr}}.group:hover .group-hover\:inline{display:inline}.group:hover .group-hover\:hidden{display:none}.group:hover .group-hover\:bg-accent-600{background-color:var(--signal)}.group:hover .group-hover\:text-accent-600{color:var(--signal)}.group:hover .group-hover\:opacity-100{opacity:1}@media(min-width:768px){.md\:left-8{left:2rem}.md\:right-8{right:2rem}.md\:block{display:block}.md\:h-20{height:5rem}.md\:w-20{width:5rem}.md\:w-32{width:8rem}.md\:p-8{padding:2rem}.md\:text-5xl{font-size:3rem;line-height:1}.md\:text-6xl{font-size:3.75rem;line-height:1}.md\:text-lg{font-size:1.125rem;line-height:1.75rem}.md\:text-sm{font-size:.875rem;line-height:1.25rem}.md\:text-xs{font-size:.75rem;line-height:1rem}}@media(min-width:1024px){.lg\:text-6xl{font-size:3.75rem;line-height:1}}