@font-face{font-family:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(/my_website/_astro/dm-sans-latin-ext-wght-normal.BOFOeGcA.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:DM Sans Variable;font-style:normal;font-display:swap;font-weight:100 1000;src:url(/my_website/_astro/dm-sans-latin-wght-normal.Xz1IZZA0.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:Space Grotesk Variable;font-style:normal;font-display:swap;font-weight:300 700;src:url(/my_website/_astro/space-grotesk-vietnamese-wght-normal.D0rl6rjA.woff2)format("woff2-variations");unicode-range:U+102-103,U+110-111,U+128-129,U+168-169,U+1A0-1A1,U+1AF-1B0,U+300-301,U+303-304,U+308-309,U+323,U+329,U+1EA0-1EF9,U+20AB}@font-face{font-family:Space Grotesk Variable;font-style:normal;font-display:swap;font-weight:300 700;src:url(/my_website/_astro/space-grotesk-latin-ext-wght-normal.D9tNdqV9.woff2)format("woff2-variations");unicode-range:U+100-2BA,U+2BD-2C5,U+2C7-2CC,U+2CE-2D7,U+2DD-2FF,U+304,U+308,U+329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF}@font-face{font-family:Space Grotesk Variable;font-style:normal;font-display:swap;font-weight:300 700;src:url(/my_website/_astro/space-grotesk-latin-wght-normal.BhU9QXUp.woff2)format("woff2-variations");unicode-range:U+??,U+131,U+152-153,U+2BB-2BC,U+2C6,U+2DA,U+2DC,U+304,U+308,U+329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}:root{color-scheme:dark;--bg:#090c11;--surface:#121821;--surface-soft:#0e141c;--text:#edf3f8;--muted:#a3afbd;--line:#2c3643;--accent:#98f4db;--ink:#09231b;--art:#0d1b21;--header:#090c11db;font-synthesis:none;scroll-behavior:smooth;scroll-padding-top:110px;font-family:DM Sans Variable,sans-serif}:root[data-theme=light]{color-scheme:light;--bg:#fff;--surface:#e8eef3;--surface-soft:#edf3f6;--text:#16212c;--muted:#526272;--line:#c4d0da;--accent:#176550;--ink:#fff;--art:#deeced;--header:#ffffffe6}*{box-sizing:border-box}body{background:var(--bg);color:var(--text);margin:0;font-size:16px;line-height:1.65}a{color:inherit;text-decoration:none}button{font:inherit;cursor:pointer}button,a{-webkit-tap-highlight-color:transparent}button{color:inherit}img,svg{display:block}img{max-width:100%;height:auto}::selection{background:var(--accent);color:var(--ink)}:focus-visible{outline:2px solid var(--accent);outline-offset:6px}button:focus-visible{outline-offset:3px}h1,h2,h3,h4,p{margin:0}h1,h2,h3{letter-spacing:-.055em;font-family:Space Grotesk Variable,sans-serif;font-weight:500;line-height:1.15}h1 em,h2 em{letter-spacing:-.045em;font-family:Georgia,serif;font-weight:400}h2{font-size:46px}h3{letter-spacing:-.035em;font-size:25px}.container{max-width:1328px;margin-inline:auto;padding-inline:56px}[hidden]{display:none!important}.eyebrow{letter-spacing:.16em;font-size:11px;font-weight:650;line-height:1.5;display:block}.arrow{flex-shrink:0;transition:transform .2s}.text-link{border-bottom:1px solid var(--line);align-items:center;gap:12px;width:fit-content;padding-bottom:6px;font-size:14px;font-weight:550;line-height:1.5;display:inline-flex}.text-link:hover{border-color:var(--accent);color:var(--accent)}a:hover .arrow{transform:translate(2px,-2px)}.small{font-size:12px}.button{border:1px solid var(--line);border-radius:4px;justify-content:center;align-items:center;gap:24px;padding:15px 23px;font-size:14px;font-weight:650;line-height:1.4;transition:transform .2s;display:inline-flex}.button.primary{background:var(--accent);border-color:var(--accent);color:var(--ink)}.button:hover{transform:translateY(-2px)}.skip-link{z-index:50;background:var(--accent);color:var(--ink);padding:10px 20px;position:absolute;top:-100px;left:20px}.skip-link:focus{top:16px}.site-header{z-index:20;background:var(--header);backdrop-filter:blur(16px);border-bottom:1px solid var(--line);position:sticky;top:0}.header-inner{justify-content:space-between;align-items:center;gap:24px;height:96px;display:flex}.wordmark{letter-spacing:.045em;align-items:center;gap:14px;font-size:12px;font-weight:700;line-height:1.3;display:flex}.mark{letter-spacing:-.18em;align-items:center;width:45px;height:45px;font-family:Space Grotesk Variable,sans-serif;font-size:37px;font-weight:600;display:flex;position:relative}.mark span{margin-top:-5px}.mark i{background:var(--accent);border-radius:50%;width:7px;height:7px;position:absolute;bottom:5px;right:0}.wordmark-sub{letter-spacing:.13em;color:var(--muted);margin-top:5px;font-size:8px;display:block}.desktop-nav{gap:29px;margin-left:32px;display:flex}.desktop-nav a{color:var(--muted);padding:8px 0;font-size:13px;position:relative}.desktop-nav a:hover,.desktop-nav a[aria-current=page]{color:var(--text)}.desktop-nav a[aria-current=page]:after{content:"";background:var(--accent);width:15px;height:2px;position:absolute;bottom:0;left:0}.header-actions{align-items:center;gap:22px;display:flex}.icon-button{border:1px solid var(--line);background:0 0;border-radius:50%;place-items:center;width:40px;height:40px;padding:10px;display:grid}.icon-button:hover{background:var(--surface)}.contact-nav{align-items:center;gap:12px;font-size:13px;font-weight:600;display:flex}.contact-nav .arrow{width:16px;height:16px}.menu-toggle,.mobile-nav{display:none}.hero{grid-template-columns:1.09fr 1fr;align-items:center;gap:32px;min-height:710px;padding-top:76px;padding-bottom:65px;display:grid}.hero-kicker{letter-spacing:.15em;color:var(--muted);align-items:center;gap:10px;margin-bottom:28px;font-size:10px;font-weight:600;display:flex}.status-dot{background:var(--accent);width:6px;height:6px;box-shadow:0 0 0 4px color-mix(in srgb,var(--accent) 8%,transparent);border-radius:50%;display:block}.hero h1{letter-spacing:-.068em;font-size:76px;line-height:1.035;position:relative}.hero h1 em{color:var(--accent);font-size:1.13em;line-height:1.05}.hero-intro{max-width:440px;color:var(--muted);margin-top:28px;font-size:16px;line-height:1.75}.hero-intro strong{color:var(--text);font-weight:500}.hero-actions{align-items:center;gap:28px;margin-top:28px;display:flex}.hero-affiliation{color:var(--text);align-items:center;gap:13px;margin-top:34px;font-size:11px;line-height:1.7;display:flex}.hero-affiliation span:not(.affiliation-icon){color:var(--muted);font-size:10px;display:block}.affiliation-icon{color:var(--muted);font-size:28px;line-height:1}.section{padding-top:88px;padding-bottom:88px}.section-header{justify-content:space-between;align-items:flex-end;gap:28px;margin-bottom:40px;display:flex}.section-header .eyebrow{color:var(--muted);margin-bottom:18px}.section-header>.text-link{flex-shrink:0;margin-bottom:7px}.project-grid{grid-template-columns:1fr 1fr;gap:32px;display:grid}.project-card{border:1px solid var(--line);background:var(--surface-soft);border-radius:6px;transition:border-color .25s,transform .25s;overflow:hidden}.project-card:hover{border-color:var(--muted);transform:translateY(-4px)}.project-card-link{height:100%;display:block}.project-card-content{padding:27px 30px 30px}.project-meta{letter-spacing:.06em;color:var(--muted);justify-content:space-between;margin-bottom:15px;font-size:10px;display:flex}.project-card h3{justify-content:space-between;align-items:center;gap:18px;font-size:26px;display:flex}.project-card h3 .arrow{color:var(--muted);width:21px;height:21px}.project-card p{color:var(--muted);max-width:430px;margin-top:13px;font-size:14px;line-height:1.75}.tags{flex-wrap:wrap;gap:7px;margin-top:22px;display:flex}.tags span{letter-spacing:.025em;border:1px solid var(--line);color:var(--muted);border-radius:3px;padding:4px 8px;font-size:9px}.project-art{border-bottom:1px solid var(--line);background-color:var(--art);background-image:radial-gradient(var(--line) .7px,transparent .7px);background-size:17px 17px;justify-content:center;align-items:center;height:220px;display:flex;position:relative;overflow:hidden}.art-caption{letter-spacing:.2em;color:var(--muted);font-family:monospace;font-size:8px;position:absolute;bottom:16px;left:22px}.state-diagram{align-items:center;gap:0;display:flex}.mini-node{background:var(--bg);letter-spacing:.12em;border:1px solid #52623e;padding:15px 18px;font-family:monospace;font-size:9px}.mini-node span{letter-spacing:0;color:var(--accent);margin-top:4px;font-family:DM Sans Variable,sans-serif;font-size:12px;display:block}.diagram-line{background:#52623e;width:45px;height:1px;position:relative}.diagram-line:after{content:"";border-top:1px solid #52623e;border-right:1px solid #52623e;width:5px;height:5px;position:absolute;top:-2px;right:0;transform:rotate(45deg)}.state-pair{background:var(--bg);border:1px solid var(--line);gap:12px;padding:12px;display:flex}.state-pair>span{color:var(--muted);text-align:left;min-width:62px;font-size:9px}.state-pair i{background:var(--surface);color:var(--muted);margin-top:4px;padding:5px 8px;font-family:monospace;font-size:10px;font-style:normal;display:block}.state-pair>span:last-child i{color:var(--accent);border:1px solid color-mix(in srgb,var(--accent) 25%,transparent);padding:4px 7px}.art-workflow{background-color:#151e20}:root[data-theme=light] .art-workflow{background-color:#ddecef}.workflow-diagram{color:#a4ced6;align-items:center;gap:0;display:flex}.flow-dot{background:#82cbd7;border-radius:50%;width:8px;height:8px}.flow-line{background:#48606a;width:27px;height:1px}.flow-block{background:var(--bg);border:1px solid #48606a;border-radius:3px;padding:12px 20px;font-family:monospace;font-size:10px}.flow-diamond{place-items:center;width:52px;height:52px;margin:10px;padding:0;display:grid;transform:rotate(45deg)}.flow-diamond span{transform:rotate(-45deg)}:root[data-theme=light] .workflow-diagram{color:#314f56}.art-regex{background-color:#201d16}:root[data-theme=light] .art-regex{background-color:#eeeadb}.regex-code{color:#e1c990;flex-direction:column;gap:14px;font-family:monospace;font-size:26px;display:flex}.regex-code .code-comment{color:var(--muted);font-size:10px}.regex-code i{color:var(--text);font-style:normal}.regex-code b{color:#c9a475;font-weight:400}.code-under{color:var(--muted);letter-spacing:.015em;font-size:10px}.code-under em{color:#c9a475;margin:0 6px;font-style:normal}:root[data-theme=light] .regex-code{color:#705824}.art-evaluation{background-color:#1c1925}:root[data-theme=light] .art-evaluation{background-color:#e9e2ef}.eval-diagram{align-items:center;gap:150px;height:120px;display:flex;position:relative}.eval-diagram>span{color:var(--muted);z-index:2;font-family:monospace;font-size:10px;position:relative}.eval-circle{background:repeating-linear-gradient(45deg,#0000,#0000 6px,#a78ac210 6px 7px);border:1px solid #9e8dbc;border-radius:50%;width:116px;height:116px;position:absolute;top:0}.circle-a{left:26px}.circle-b{border-color:#72667e;right:26px}.about-band{background:var(--surface-soft);border-block:1px solid var(--line);padding:75px 0}.about-grid{grid-template-columns:330px 1fr;align-items:center;gap:80px;display:grid}.portrait-wrap{background:var(--surface);border:1px solid var(--line);padding:12px;position:relative}.portrait-frame{aspect-ratio:21/25;overflow:hidden}.portrait-wrap img{object-fit:cover;object-position:85% 100%;transform-origin:85% 100%;width:100%;height:100%;transform:scale(1.2)}.portrait-caption{letter-spacing:.09em;color:var(--muted);justify-content:space-between;gap:8px;padding:13px 3px 2px;font-size:8px;display:flex}.about-copy .eyebrow{color:var(--muted);margin-bottom:22px}.about-copy h2{font-size:40px;line-height:1.18}.about-copy p{color:var(--muted);max-width:640px;margin-top:22px;font-size:15px;line-height:1.85}.about-links{gap:30px;margin-top:29px;display:flex}.publication{border-top:1px solid var(--line);grid-template-columns:80px 1fr;gap:24px;padding:29px 0;scroll-margin-top:125px;display:grid}.publication:last-child{border-bottom:1px solid var(--line)}.publication-year{color:var(--muted);padding-top:1px;font-family:Space Grotesk Variable,sans-serif;font-size:15px}.publication-meta{color:var(--muted);letter-spacing:.015em;flex-wrap:wrap;align-items:center;gap:14px;margin-bottom:10px;font-size:10px;display:flex}.publication-type{border:1px solid var(--line);text-transform:uppercase;letter-spacing:.06em;border-radius:3px;padding:1px 6px;font-size:8px}.publication-type.preprint{color:var(--accent)}.publication h3{letter-spacing:-.025em;font-size:21px;font-weight:500;line-height:1.45}.publication h3 a{justify-content:space-between;gap:24px;display:flex}.publication h3 a:hover{color:var(--accent)}.publication h3 .arrow{width:18px;height:18px;color:var(--muted);margin-top:6px}.authors{color:var(--muted);margin-top:10px;font-size:11px;line-height:1.7}.authors strong{color:var(--text);font-weight:500}.publication-summary{color:var(--muted);margin-top:12px;font-size:14px}.publication-body>.text-link{margin-top:14px}.experience-section{padding-top:8px}.experience-row{border-top:1px solid var(--line);grid-template-columns:160px 1fr auto;align-items:center;gap:24px;padding:26px 0;display:grid}.experience-row:last-child{border-bottom:1px solid var(--line)}.experience-date,.experience-location{color:var(--muted);font-size:12px}.experience-row h3{font-size:23px}.experience-row p{color:var(--muted);margin-top:6px;font-size:13px}.page-heading{padding-top:80px;padding-bottom:66px}.page-heading .eyebrow{color:var(--muted);margin-bottom:27px}.page-heading h1{max-width:950px;font-size:72px;line-height:1.04}.page-heading h1 em{color:var(--accent)}.page-heading p{max-width:620px;color:var(--muted);margin-top:25px;font-size:17px;line-height:1.8}.page-heading>.text-link{margin-top:24px}.research-content{padding-bottom:100px}.filter-bar{border-bottom:1px solid var(--line);flex-wrap:wrap;align-items:center;gap:8px;margin-bottom:32px;padding-bottom:20px;display:flex}.filter-button{color:var(--muted);border:1px solid var(--line);background:0 0;border-radius:30px;padding:9px 16px;font-size:12px}.filter-button.active{background:var(--accent);color:var(--ink);border-color:var(--accent)}.filter-button:hover:not(.active){color:var(--text);border-color:var(--muted)}.filter-count{color:var(--muted);margin-left:auto;font-size:11px}.publications-content{padding-bottom:100px}.project-detail{padding-top:40px;padding-bottom:85px}.back-link{color:var(--muted);border:0;margin-bottom:40px;font-size:12px}.project-detail-heading{max-width:920px;margin-bottom:38px}.project-detail-heading .eyebrow{color:var(--muted);margin-bottom:22px}.project-detail-heading h1{font-size:65px}.project-detail-heading>p{color:var(--muted);margin-top:18px;font-size:21px}.project-detail>.project-art{border:1px solid var(--line);border-radius:5px;height:280px}.project-detail>.project-art .state-diagram,.project-detail>.project-art .workflow-diagram,.project-detail>.project-art .eval-diagram,.project-detail>.project-art .regex-code{transform:scale(1.25)}.project-story{grid-template-columns:1fr 1.6fr;gap:75px;margin-top:65px;margin-bottom:65px;display:grid}.project-story aside .eyebrow{color:var(--muted);margin-bottom:20px}.project-story h2{letter-spacing:-.04em;font-size:31px;line-height:1.35}.project-prose>p{color:var(--muted);margin-bottom:23px;font-size:16px;line-height:1.9}.project-prose h3{margin-top:35px;font-size:21px}.project-prose ol{color:var(--muted);padding-left:20px;font-size:15px;line-height:1.8}.project-prose li{padding:5px 0 5px 7px}.project-prose li::marker{color:var(--accent);font-size:12px}.related-publications>.eyebrow{color:var(--muted);margin-bottom:25px}.next-project{border-block:1px solid var(--line);margin-top:50px;padding:30px 0;display:block}.next-project>.eyebrow{color:var(--muted);margin-bottom:16px}.next-project>span:last-child{letter-spacing:-.04em;justify-content:space-between;align-items:center;font-family:Space Grotesk Variable,sans-serif;font-size:30px;display:flex}.next-project:hover{color:var(--accent)}.cv-heading{justify-content:space-between;align-items:center;gap:30px;display:flex}.print-contact{display:none}.cv-content{padding-bottom:75px}.cv-section{border-top:1px solid var(--line);grid-template-columns:240px 1fr;gap:40px;padding:35px 0;display:grid}.cv-section>h2{letter-spacing:-.025em;font-size:23px;line-height:1.4}.cv-section p{color:var(--muted);font-size:14px;line-height:1.85}.cv-summary+p{margin-top:15px}.cv-entry+.cv-entry{margin-top:32px}.cv-entry-top{justify-content:space-between;gap:20px;display:flex}.cv-entry h3{letter-spacing:-.025em;font-size:20px;line-height:1.4}.cv-entry-top>span{white-space:nowrap;color:var(--muted);padding-top:5px;font-size:11px}.cv-entry p{margin-top:8px}.cv-entry .cv-role{color:var(--text);margin-top:4px;font-size:12px}.skill-group+.skill-group{margin-top:25px}.skill-group h3{margin-bottom:7px;font-size:18px}.cv-publications .publication{grid-template-columns:43px 1fr;gap:16px}.cv-publications .publication:first-child{border-top:0;padding-top:0}.cv-publications .publication h3{font-size:17px}.cv-publications p.authors{font-size:11px}.not-found{min-height:60vh}.not-found .button{margin-top:30px}.site-footer{border-top:1px solid var(--line);padding-top:55px;padding-bottom:26px}.footer-top{justify-content:space-between;align-items:center;gap:50px;padding-bottom:55px;display:flex}.footer-top .eyebrow{color:var(--muted);margin-bottom:20px;font-size:9px}.footer-heading{letter-spacing:-.055em;font-family:Space Grotesk Variable,sans-serif;font-size:50px;line-height:1.08;display:block;position:relative}.footer-heading .arrow{width:36px;height:36px;color:var(--accent);margin-left:30px;display:inline-block}.footer-links{grid-template-columns:1fr 1fr;gap:23px 42px;display:grid}.footer-links a{justify-content:space-between;align-items:center;gap:35px;font-size:12px;display:flex}.footer-links a:hover{color:var(--accent)}.footer-links .arrow{width:13px;height:13px;color:var(--muted)}.footer-bottom{border-top:1px solid var(--line);color:var(--muted);justify-content:space-between;gap:20px;padding-top:22px;font-size:9px;display:flex}.tiny-dot{background:var(--muted);vertical-align:middle;border-radius:50%;width:3px;height:3px;margin:0 7px;display:inline-block}@media (width>=1450px){.hero{min-height:760px}.hero h1{font-size:84px}}@media (width<=1100px){.container{padding-inline:36px}.desktop-nav{gap:20px;margin-left:0}.header-actions{gap:15px}.hero{gap:10px;min-height:660px;padding-top:56px;padding-bottom:55px}.hero h1{font-size:65px}.hero-intro{font-size:15px}.hero-kicker{font-size:9px}.about-grid{grid-template-columns:280px 1fr;gap:45px}.about-copy h2{font-size:34px}.project-card-content{padding:24px}.project-card h3{font-size:23px}.project-story{gap:45px}.cv-section{grid-template-columns:190px 1fr;gap:30px}}@media (width<=800px){.container{padding-inline:25px}.header-inner{height:78px}.desktop-nav,.contact-nav{display:none}.menu-toggle{display:grid}.header-actions{gap:10px}.mobile-nav{border-top:1px solid var(--line);background:var(--bg);flex-direction:column;padding:10px 25px 20px;display:flex}.mobile-nav a{justify-content:space-between;align-items:center;padding:14px 0;font-size:16px;display:flex}.hero{grid-template-columns:1fr;gap:35px;padding-top:53px;padding-bottom:37px}.hero-copy{max-width:580px}.hero h1{font-size:76px}.hero-intro{max-width:530px;font-size:16px}.hero-affiliation{margin-top:28px}.section{padding-top:64px;padding-bottom:64px}.section-header h2{font-size:36px}.section-header{gap:18px}.project-grid{gap:22px}.project-card-content{padding:20px}.project-card h3{font-size:21px}.project-card p{font-size:13px}.project-art{height:180px}.project-art>.state-diagram,.project-art>.workflow-diagram,.project-art>.eval-diagram,.project-art>.regex-code{transform:scale(.8)}.about-grid{grid-template-columns:220px 1fr;gap:30px}.about-copy h2{font-size:28px}.about-copy p{margin-top:16px;font-size:13px}.portrait-caption{font-size:6px}.about-links{gap:20px}.text-link{font-size:12px}.publication{grid-template-columns:52px 1fr;gap:15px}.publication h3{font-size:19px}.experience-row{grid-template-columns:120px 1fr;gap:15px}.experience-location{display:none}.experience-section{padding-top:0}.page-heading{padding-top:58px;padding-bottom:48px}.page-heading h1{font-size:62px}.page-heading p{font-size:16px}.cv-section{grid-template-columns:1fr;gap:20px}.cv-heading{flex-direction:column;align-items:flex-start;gap:25px}.project-detail-heading h1{font-size:52px}.project-story{grid-template-columns:1fr;gap:26px;margin-top:42px}.project-story h2{max-width:540px}.footer-heading{font-size:40px}.footer-links{gap:18px 25px}.footer-links a{gap:15px}.footer-bottom{flex-wrap:wrap;row-gap:10px}}@media (width<=540px){.container{padding-inline:22px}.wordmark{gap:12px;font-size:10px}.wordmark-sub{font-size:7px}.mark{width:40px;font-size:34px}.icon-button{width:36px;height:36px;padding:8px}.hero{gap:25px;padding-top:43px}.hero-kicker{letter-spacing:.12em;margin-bottom:24px;font-size:8px}.hero h1{letter-spacing:-.075em;font-size:59px}.hero h1 em{font-size:1.13em}.hero-intro{margin-top:23px;font-size:14px;line-height:1.8}.hero-actions{gap:22px;margin-top:26px}.button{gap:17px;padding:14px 18px;font-size:12px}.hero-affiliation{margin-top:28px}.section{padding-top:55px;padding-bottom:55px}.section-header{flex-direction:column;align-items:flex-start;gap:20px;margin-bottom:28px}.section-header h2{font-size:36px}.section-header .eyebrow{margin-bottom:17px;font-size:9px}.section-header>.text-link{margin-bottom:0}.project-grid{grid-template-columns:1fr;gap:23px}.project-art{height:210px}.project-art>.state-diagram,.project-art>.workflow-diagram,.project-art>.eval-diagram,.project-art>.regex-code{transform:scale(.95)}.project-card-content{padding:24px}.project-card h3{font-size:25px}.project-card p{font-size:14px}.tags span{font-size:9px}.about-band{padding:50px 0}.about-grid{grid-template-columns:1fr;gap:33px}.portrait-wrap{width:220px}.portrait-caption{font-size:6px}.about-copy h2{font-size:33px}.about-copy p{font-size:14px;line-height:1.85}.about-copy .eyebrow{font-size:9px}.publication{grid-template-columns:1fr;gap:12px;padding:25px 0}.publication-year{font-size:12px}.publication h3{font-size:20px;line-height:1.4}.publication h3 a{gap:14px}.publication-meta{gap:8px;font-size:9px}.authors{font-size:10px}.experience-section{padding-top:0}.experience-row{grid-template-columns:1fr;gap:8px;padding:23px 0}.experience-row h3{font-size:24px}.experience-date{font-size:10px}.experience-row p{font-size:12px}.page-heading h1{font-size:51px}.page-heading p{font-size:14px}.page-heading .eyebrow{font-size:9px}.filter-bar{align-items:flex-start;gap:8px}.filter-button{padding:8px 11px;font-size:10px}.filter-count{width:100%;margin:5px 0 0;font-size:10px}.research-content,.publications-content{padding-bottom:60px}.cv-heading h1{font-size:51px}.cv-entry-top{flex-direction:column;gap:4px}.cv-entry-top>span{padding:0}.cv-entry h3{font-size:19px}.cv-section p{font-size:13px}.cv-publications .publication{grid-template-columns:1fr;gap:9px}.project-detail-heading h1{font-size:45px}.project-detail-heading>p{font-size:18px}.project-detail-heading .eyebrow{font-size:9px}.project-detail>.project-art{height:220px}.project-detail>.project-art .state-diagram,.project-detail>.project-art .workflow-diagram,.project-detail>.project-art .eval-diagram,.project-detail>.project-art .regex-code{transform:scale(.95)}.project-story h2{font-size:30px}.project-prose>p,.project-prose li{font-size:14px}.next-project>span:last-child{font-size:25px}.footer-top{flex-direction:column;align-items:flex-start;gap:35px;padding-bottom:35px}.footer-heading{font-size:42px}.footer-heading .arrow{width:29px;height:29px;margin-left:18px}.footer-links{gap:17px 35px;width:100%}.footer-links a{font-size:12px}.footer-bottom{flex-direction:column;gap:9px;font-size:9px}.site-footer{padding-top:40px;padding-bottom:25px}}@media (width<=360px){.hero h1{font-size:52px}.hero-kicker{font-size:7px}.hero-actions{gap:15px}.button{padding:13px 14px}.project-card h3{font-size:22px}.project-art>.state-diagram,.project-art>.workflow-diagram{transform:scale(.83)}}@media (prefers-reduced-motion:reduce){:root{scroll-behavior:auto}*,:before,:after{transition:none!important;animation:none!important}.project-card:hover,.button:hover,a:hover .arrow{transform:none}}@media print{:root,:root[data-theme=light]{--bg:#fff;--text:#171717;--muted:#444;--line:#ddd;--accent:#222;color-scheme:light}body{color:#171717;background:#fff;font-size:10pt}.site-header,.site-footer,.print-cv,.skip-link{display:none!important}.container{max-width:none;padding:0}.page-heading{padding:0 0 20px}.page-heading h1{font-size:34px}.page-heading p{margin-top:10px;font-size:11px}.page-heading .eyebrow{margin-bottom:10px;font-size:9px}.cv-heading{display:block}.print-contact{margin-top:12px;font-size:10px;display:block}.cv-content{padding:0}.cv-section{break-inside:auto;padding:18px 0;display:block}.cv-section>h2{margin-bottom:12px;font-size:16px}.cv-entry{break-inside:avoid}.cv-entry+.cv-entry{margin-top:14px}.cv-entry h3{font-size:13px}.cv-entry-top{flex-direction:row}.cv-section p{font-size:10px;line-height:1.5}.cv-entry-top>span{font-size:9px}.skill-group+.skill-group{margin-top:12px}.skill-group h3{font-size:12px}.publication{break-inside:avoid;padding:13px 0}.cv-publications .publication{grid-template-columns:35px 1fr;gap:12px}.cv-publications .publication h3{font-size:11px}.publication-year{font-size:10px}.cv-publications p.authors{font-size:9px}.publication-meta{font-size:8px}.publication .arrow{display:none}a{color:inherit}.publication-type{font-size:7px}@page{size:A4;margin:17mm}}@media screen{h1,h2{font-weight:600}h1 em,h2 em{font-family:inherit;font-style:normal;font-weight:inherit;color:var(--accent)}.header-inner{height:88px}.desktop-nav{border:1px solid var(--line);background:var(--surface-soft);border-radius:40px;padding:5px 24px}.desktop-nav a[aria-current=page]:after{bottom:3px}.button{border-radius:30px}.button.primary{box-shadow:0 0 28px color-mix(in srgb, var(--accent) 12%, transparent)}.hero{isolation:isolate;gap:40px;min-height:770px;padding-block:85px;position:relative}.hero:before{content:"";z-index:-1;pointer-events:none;background:radial-gradient(at 77% 42%,#4babcf13,#0000 55%);position:absolute;inset:0}.hero h1{letter-spacing:-.07em;font-size:clamp(65px,6.2vw,88px);line-height:1.02}.hero h1 em{background:linear-gradient(100deg, var(--accent), #a1caff);color:#0000;background-clip:text;font-size:1em}[data-theme=light] .hero h1 em{background-image:linear-gradient(100deg,#176550,#2c5792)}.hero-kicker{color:var(--accent);letter-spacing:.13em}.hero-intro{max-width:470px}.hero-affiliation{border:0}.status-dot{box-shadow:0 0 15px color-mix(in srgb, var(--accent) 55%, transparent)}.project-card{background:var(--surface-soft);border-radius:18px;transition:border-color .25s,transform .25s,box-shadow .25s;position:relative}.project-card:hover,.project-card:focus-within{border-color:color-mix(in srgb, var(--accent) 60%, var(--line));box-shadow:0 0 35px color-mix(in srgb, var(--accent) 8%, transparent);transform:translateY(-4px)}.project-card .project-art{border-radius:17px 17px 0 0}.project-art{background-image:radial-gradient(ellipse at 50% 120%, #91dfff13, transparent 70%), radial-gradient(var(--line) .6px, transparent .6px);background-size:auto,20px 20px}.mini-node,.state-pair,.flow-block{border-radius:8px}.mini-node,.diagram-line{border-color:var(--accent)}.diagram-line,.diagram-line:after{background-color:var(--line);border-color:var(--accent)}.art-workflow{background-color:#0e1b25}.art-regex{background-color:#1d1a1e}.art-evaluation{background-color:#171624}.project-detail>.project-art,.portrait-wrap{border-radius:18px}.portrait-frame{border-radius:10px}.about-band{background:radial-gradient(ellipse at 15% 70%, #719fe70b, transparent 70%), var(--surface-soft)}.page-heading h1,.project-detail-heading h1{letter-spacing:-.06em}.site-footer{background:radial-gradient(at 50% 100%,#98f4db08,#0000 70%)}}@media screen and (width<=1100px){.hero{gap:24px;min-height:690px;padding-block:65px}.hero h1{font-size:66px}.desktop-nav{gap:18px;padding-inline:18px}}@media screen and (width<=800px){.header-inner{height:78px}.hero{gap:44px;padding-block:50px}.hero h1{font-size:clamp(48px,10vw,78px)}.hero h1 em{font-size:1em}}@media screen and (width<=540px){.hero h1{font-size:clamp(44px,12.5vw,66px)}.hero{padding-top:46px}}@media (prefers-reduced-motion:reduce){.project-card:hover{transform:none}}@media screen{.header-actions{gap:14px}.contact-nav{border:1px solid var(--accent);background:var(--accent);min-height:44px;color:var(--ink);border-radius:30px;flex-shrink:0;justify-content:center;padding:10px 18px;display:inline-flex}.contact-nav:hover{box-shadow:0 0 24px color-mix(in srgb, var(--accent) 22%, transparent)}.hero-contact{border:1px solid color-mix(in srgb, var(--accent) 35%, var(--line));background:color-mix(in srgb, var(--accent) 6%, var(--surface-soft));border-radius:14px;max-width:490px;margin-top:24px;padding:16px 18px}.hero-contact>.eyebrow{color:var(--muted);margin-bottom:8px;font-size:9px}.hero-contact-links{flex-wrap:wrap;align-items:center;gap:6px 18px;display:flex}.hero-email,.hero-linkedin{align-items:center;gap:10px;min-height:36px;display:inline-flex}.hero-email{color:var(--accent);font-size:17px;font-weight:650}.hero-email svg{flex-shrink:0}.hero-linkedin{margin-left:auto;font-size:13px;font-weight:600}.hero-linkedin .arrow{width:15px;height:15px;color:var(--accent)}.hero-email:hover,.hero-linkedin:hover,.footer-email:hover{text-underline-offset:5px;text-decoration:underline}.footer-top .eyebrow{color:var(--accent);font-size:11px}.footer-contact-note{color:var(--muted);margin-top:18px;font-size:14px}.footer-email{color:var(--accent);align-items:center;gap:16px;margin-top:18px;font-size:clamp(18px,2.3vw,27px);font-weight:600;display:inline-flex}.footer-email .arrow{width:21px;height:21px}.footer-links a{min-height:36px;font-size:14px}.footer-links a:first-child{color:var(--accent);font-weight:650}}@media screen and (width<=800px){.header-inner{gap:12px}.header-actions{gap:8px}.contact-nav{min-height:40px;padding:8px 13px;font-size:12px}.contact-nav .arrow{display:none}}@media screen and (width<=540px){.hero-contact{padding:13px 14px}.hero-contact-links{gap:4px 12px}.hero-email{gap:8px;font-size:15px}.hero-linkedin{gap:6px;font-size:12px}.hero-affiliation{margin-top:24px}}@media screen and (width<=380px){.wordmark-sub{display:none}.wordmark{gap:8px;font-size:9px}.hero-linkedin{margin-left:27px}}@media screen and (width<=340px){.wordmark>span:last-child{display:none}}