Coach the next step
+Students get a hint or a check on their reasoning while the work is still theirs.
+2027
+-
+
- Program Committee – International Conference on Program Comprehension (ICPC 2027), Research Track +
- Program Committee – Workshop on Agentic Engineering (AGENT 2027), co-located with ICSE 2027 +
2025
diff --git a/_news/announcement_9.md b/_news/announcement_9.md index 8c743e1a3b88..ae93965d9aad 100644 --- a/_news/announcement_9.md +++ b/_news/announcement_9.md @@ -5,4 +5,4 @@ inline: true related_posts: false --- -New on the site: recent preprints on [RAG hallucination detection](/publications/#yu2026rt4chart), [conversational agent testing](/publications/#lin2026agenteval), [code specification alignment](/publications/#xu2026bespec), and [causal root-cause analysis](/publications/#fang2026openrca). See the [updated publication list](/publications/) for all recent work. +Four new preprints: on [RAG hallucination detection](/publications/#yu2026rt4chart), [conversational agent testing](/publications/#lin2026agenteval), [code specification alignment](/publications/#xu2026bespec), and [causal root-cause analysis](/publications/#fang2026openrca). All are on the [publication list](/publications/). diff --git a/assets/img/oneai-math-education-builder-poster.jpg b/assets/img/oneai-math-education-builder-poster.jpg new file mode 100644 index 000000000000..2fb7f5d0b05c Binary files /dev/null and b/assets/img/oneai-math-education-builder-poster.jpg differ diff --git a/assets/img/oneai-math-education-poster.jpg b/assets/img/oneai-math-education-poster.jpg new file mode 100644 index 000000000000..5635fd9ae3ec Binary files /dev/null and b/assets/img/oneai-math-education-poster.jpg differ diff --git a/assets/video/oneai-math-education.mp4 b/assets/video/oneai-math-education.mp4 new file mode 100644 index 000000000000..c26f563feedc Binary files /dev/null and b/assets/video/oneai-math-education.mp4 differ diff --git a/public/social-card.svg b/public/social-card.svg index e45eaaad1c3b..1db00ba07031 100644 --- a/public/social-card.svg +++ b/public/social-card.svg @@ -3,7 +3,7 @@
+
+
+
+
+
+
+
+
+
+
+ OneAI combines guided student chat, paper building, rubric-based scoring, and
+ student-level error reports in one workspace.
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff --git a/src/pages/teaching.astro b/src/pages/teaching.astro
index 827944c2b957..328df0d9020f 100644
--- a/src/pages/teaching.astro
+++ b/src/pages/teaching.astro
@@ -1,36 +1,461 @@
---
import Base from '../layouts/Base.astro';
+const menteeSites: Record
+
+
+ Research → product
+Useful systems for the moments that matter.
++ I turn work on software testing and trustworthy AI into tools that help people build, + teach, and learn with better evidence. +
+ +
+
+ OneAI · AI education
+OneAI
++ A teacher-first workspace for creating assessments, guiding student reasoning, and turning + rubric decisions into feedback that students can act on. +
+ Watch the walkthrough +
+
+ 01
+
+
+ 02
+
+
+ 03
+
+
+ 04
+
+
+ Build a complete paper
++ Generate a structured test from a prompt, then export it in the format your class uses. +
+Keep teachers in control
+Rubrics make scoring consistent; teacher review keeps the final judgement human.
+Explain every gap
+Per-student error reports show the missed idea and a concrete route to practice it.
+
+
+
+
+ Product walkthrough
+From first question to useful feedback.
+One flow for students, teachers, and the evidence between them.
+
+
+
+
+ Pacific Studio · selected products
+Three products. One Pacific Studio thesis.
++ Pacific Studio’s tools connect the same questions I work on: how agents build software, + how we prove it, and how people understand the research behind it. +
+
+ {
+ pacificProducts.map((product, index) => (
+
+
+
+ ))
+ }
+
+ View Pacific Studio
+ {product.name}
+{product.description}
+ + {product.cta} + +
+
+ For engineering teams
+Make passing tests mean more.
+
+
+ + My research on UTBoost and SWE-Bench reliability becomes practical test augmentation for + teams shipping coding agents. Stronger tests expose semantic regressions before a green + check reaches production. +
+ +Work together
+Have a hard-to-measure workflow?
++ I work with research teams, product groups, and educators to turn a fuzzy quality question + into a testable workflow. +
+ Start a conversation +
-
- About
+
+
+
+
+
diff --git a/src/styles/global.css b/src/styles/global.css
index 93eb4ce510a4..6c074256ca55 100644
--- a/src/styles/global.css
+++ b/src/styles/global.css
@@ -35,13 +35,32 @@
@layer base {
:root {
- --paper: #fff;
- --ink: #243247;
- --muted: #536176;
- --blue: #2454c6;
- --blue-dark: #153f9e;
- --wash: #f3f6fa;
- --line: #d8e0ea;
+ /* Blueberry, strawberry, buttercream, violet, and meringue. */
+ --blueberry: #2c3f70;
+ --strawberry: #a5231c;
+ --strawberry-dark: #851c17;
+ --buttercream: #c8d4e5;
+ --violet: #8089d2;
+ --meringue: #e8ebed;
+ --paper: #fbfaf7;
+ --paper-raised: #ffffff;
+ --ink: #1c2644;
+ --muted: #4c5874;
+ --blue: var(--blueberry);
+ --blue-dark: #24345c;
+ --accent-light: var(--buttercream);
+ --accent-wash: #dde2f5;
+ --accent-soft: #edf0fa;
+ --accent-highlight: #d6dcf6;
+ --accent-shadow: #c4cbef;
+ --buttercream-soft: #f1f4fa;
+ --wash: #f5f7fa;
+ --line: var(--buttercream);
+ --line-strong: #a8b7d1;
+ --violet-rgb: 128, 137, 210;
+ --strawberry-rgb: 165, 35, 28;
+ --buttercream-rgb: 200, 212, 229;
+ --blueberry-rgb: 44, 63, 112;
--serif: 'Source Serif 4', Georgia, serif;
--sans: 'Source Sans 3', 'Noto Sans SC', sans-serif;
}
@@ -51,7 +70,7 @@
}
body {
font-family: var(--sans);
- font-size: 18px;
+ font-size: 17px;
line-height: 1.6;
color: var(--ink);
background: var(--paper);
@@ -65,7 +84,7 @@
color: var(--blue-dark);
}
:focus-visible {
- outline: 3px solid var(--blue);
+ outline: 3px solid var(--blue-dark);
outline-offset: 5px;
}
h1,
@@ -81,13 +100,13 @@
letter-spacing: -0.035em;
}
h1 {
- font-size: clamp(2.8rem, 6.4vw, 5.2rem);
+ font-size: clamp(2.65rem, 5.8vw, 4.8rem);
}
h2 {
- font-size: clamp(2rem, 3.6vw, 3rem);
+ font-size: clamp(1.9rem, 3.3vw, 2.8rem);
}
h3 {
- font-size: 1.35rem;
+ font-size: 1.25rem;
font-weight: 600;
letter-spacing: -0.015em;
}
@@ -95,7 +114,7 @@
cursor: pointer;
}
::selection {
- background: #dce7ff;
+ background: var(--accent-light);
color: var(--ink);
}
[hidden] {
@@ -399,7 +418,7 @@
aspect-ratio: 4/4.6;
object-fit: cover;
object-position: center 30%;
- background: var(--wash);
+ background: white;
border-radius: 3px;
}
.portrait figcaption {
@@ -574,7 +593,7 @@
font-size: 17px;
}
.draft-tag {
- border: 1px solid #b2bfd3;
+ border: 1px solid var(--line-strong);
padding: 1px 7px;
color: var(--muted);
font-size: 12px;
@@ -664,9 +683,9 @@
.filter-bar select {
min-height: 44px;
padding: 8px 12px;
- border: 1px solid #aab8cc;
+ border: 1px solid var(--line-strong);
border-radius: 3px;
- background: white;
+ background: var(--paper-raised);
color: var(--ink);
min-width: 0;
width: 100%;
@@ -901,8 +920,8 @@
}
.preview-banner {
padding: 7px 24px;
- background: #eaf0ff;
- color: #23458c;
+ background: var(--accent-wash);
+ color: var(--blueberry);
text-align: center;
font-size: 13px;
}
@@ -911,7 +930,7 @@
left: 20px;
top: -100px;
padding: 12px;
- background: white;
+ background: var(--paper-raised);
z-index: 10;
}
.skip-link:focus {
@@ -990,8 +1009,9 @@
.site-header nav {
width: 100%;
margin: 0;
- gap: 0;
- justify-content: space-between;
+ gap: 3px 18px;
+ justify-content: flex-start;
+ flex-wrap: wrap;
}
.site-header nav a {
font-size: 15px;
Teaching & supervision
- PhD student co-supervision and teaching in software engineering and computer science. -
-
-
-
+
+
+ PhD students
+ title="Teaching & courses" + description="Courses, workshops, PhD supervision, and teaching resources from Boxi Yu." +> +
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
+ About
+
+
+ Teaching · supervision · practice
+Make complex systems learnable.
++ I teach software engineering and agentic systems through short feedback loops: explain a + concept, build a small artifact, and test what it can actually do. +
+ +
+
+
+ Open course · Fall 2026
+
+
+ Agentic Software Engineering
++ A practical course on designing, evaluating, and shipping software with coding agents. It + connects prompts and tools to the engineering disciplines that keep systems dependable. +
+-
+
- For +
- Software engineers, researchers, and advanced students +
- Topics +
- Agent loops, tool use, test design, evaluation, and reliability +
- Format +
- Notes, worked examples, and small experiments you can reproduce +
+
+
+
+
+
+ In the classroom
+Build, inspect, revise.
++ I use programming exercises and test failures as teaching material. The goal is to make + invisible assumptions visible, then give students a way to check them. +
+For teams
+Turn a demo into a method.
++ Workshops help teams move from an exciting agent prototype to an evaluation loop with + clear evidence, useful baselines, and feedback they can repeat. +
+For researchers
+Make the claim testable.
++ I supervise projects that connect a research question to an executable artifact, a strong + baseline, and an honest account of what the result does and does not show. +
+
+
+ PhD supervision
+Research with a path to practice.
+Zhiqing Zhong
-September 2023-present; my role: co-supervisor.
+September 2023–present · co-supervisor
-
-
- Education: B.S., South China University of Technology -
- Publications: ICSE 2025, FSE 2026 -
- Visits: Aalto University +
- B.S., South China University of Technology +
- Publications at ICSE 2025 and FSE 2026 +
- Visiting researcher at Aalto University
Teaching experience
-Teaching assistantships at The Chinese University of Hong Kong, Shenzhen.
--
-
- 2022-2023, semester 2: CSC4001, Software Engineering
- - 2022-2023, semester 1: DDA6050, Analysis of Algorithms -
- 2021-2022, semester 2: CSC4001, Software Engineering
- - 2021-2022, semester 1: CSC1001, Introduction to Computer Science: Programming - Methodology +
+
+ Mentoring
+Where my mentees went next.
++ Eleven junior researchers and students I mentored on research projects; nine are now Ph.D. + students. +
+-
+ {
+ mentees.map(([name, topic, now]) => (
+
- + {menteeSites[name] ? {name} : name} + + {topic} + Now: {now} + + + )) + } +
+
+ Teaching experience
+Courses taught at CUHK–Shenzhen.
+-
+
- CSC4001Software Engineering · 2022–23, semester 2 +
- DDA6050Analysis of Algorithms · 2022–23, semester 1 +
- CSC4001Software Engineering · 2021–22, semester 2 +
- + CSC1001Introduction to Computer Science: Programming Methodology · 2021–22, semester 1
Invite me in
+Planning a course, reading group, or workshop?
+Share the audience and the problem you want them to leave able to solve.
+ Get in touch ↗ +