From 3ec10033138502fb56a21c22330a08569af82025 Mon Sep 17 00:00:00 2001 From: Bersekas Tully <89333694+BoxiYu@users.noreply.github.com> Date: Fri, 9 Oct 2026 09:33:56 +0100 Subject: [PATCH] Link the Agentic Software Engineering course from home and teaching Co-Authored-By: Claude Opus 5.5 --- src/pages/index.astro | 5 +++-- src/pages/teaching.astro | 18 ++++++++++++++++-- 2 files changed, 19 insertions(+), 4 deletions(-) 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