diff --git a/src/pages/index.astro b/src/pages/index.astro index b4ede561d032d..02dd276649657 100644 --- a/src/pages/index.astro +++ b/src/pages/index.astro @@ -108,9 +108,10 @@ import { news } from '../lib/legacy';

Supervision & teaching

I co-supervise PhD student Zhiqing Zhong (September 2023-present). My teaching experience includes software engineering, algorithms, - and introductory programming at CUHK-Shenzhen. + and introductory programming at CUHK-Shenzhen. I teach + Agentic Software Engineering: Build, Verify, Evaluate.

diff --git a/src/pages/teaching.astro b/src/pages/teaching.astro index 827944c2b9575..ae00853948b82 100644 --- a/src/pages/teaching.astro +++ b/src/pages/teaching.astro @@ -4,13 +4,27 @@ import Base from '../layouts/Base.astro';
+
+

Courses

+

+ Agentic Software Engineering: Build, Verify, Evaluate +

+

+ Instructor. Fourteen weeks on entering an unfamiliar repository, clarifying a requirement, using an + agent for a bounded task and deciding whether the evidence supports the change. +

+ +

PhD students

Zhiqing Zhong