Boxi CS · Course

Agentic Software EngineeringBuild, verify, evaluate.

Agents generate. You verify, decide and explain.

A coding agent proposes a change; you decide whether the evidence supports it and whether you can explain it. Every example shows generation and verification. A test you can rerun is evidence; an agent saying “done” is a claim to check.

Read the syllabus How this course works Course materials

How this course works

Twelve teaching weeks, then assessment

The course follows the public Fall 2026 calendar of Stanford CS146S, with two verification weeks added. Each teaching week has two 90-minute sessions: a lecture with live generation and verification, then a practitioner guest or a studio.

Explain your work without AI

CP1 in week 6 and CP2 in week 11 are thirty-minute, in-class paper checkpoints, each worth 7.5 points. The week 13 defense is worth 15 points: without a device, respond to a change or fault introduced in your own code during a fifteen-minute sitting.

Practise making a decision

Save a prediction before discussion, inspect a candidate or trace, run a discriminating check, revise after feedback and try a changed input. After checking, choose whether to accept, narrow, recheck or stop.

The full approach: the three lines of work, the checkpoints and the defense →

Syllabus at a glance

What you will be able to do

  • LO1: Explain a coding agent's loop, system prompt and tool definitions, and predict how it fails on context, tools and stopping.
  • LO2: Design an agent development workflow: context and specifications, MCP tools, skills, instruction files, hooks, subagents and background tasks.
  • LO3: Write a requirement as a specification an agent can implement and a test can check, and revise it when new evidence arrives.
  • LO4: Make an unfamiliar real codebase agent-ready, and deliver a change in it without breaking callers.
  • LO5: Verify agent-written code with regression and mutation tests, code review, static analysis and security scanning, and defend each acceptance.
  • LO6: Evaluate agents: check that a test can fail, that the denominator is complete and that a judge is reliable, and read small-sample results correctly.
  • LO7: Recognise and mitigate agent security risks (prompt injection, credentials, supply chain), verifying a defense with a local reproduction and a regression.
  • LO8: Describe how a team operates agents (portals, gateways, routing, cost), and how to recover from an incident and prove the recovery with a regression.
  • LO9: Collaborate responsibly: follow upstream rules, disclose AI use honestly, submit no low-effort generated work, and decide again when the inputs change.

How the work is assessed

ComponentMarksWhenAI
Term project: four milestones20Weeks 2, 4, 7 and 12allowed
Project defense15Week 13off
Four open-source contributions30Weeks 4, 8, 9 and 12allowed
Six assignments15Weeks 1-3, 5, 6 and 10allowed
CP1: AI-off diagnosis, test and repair7.5Week 6off
CP2: AI-off review of unfamiliar code and recovery reasoning7.5Week 11off
Participation: guest questions, studio, expo5All term—

Passing requires at least 60/100 overall and at least 15/30 across CP1, CP2 and the defense.

The full syllabus: the calendar, assessment and resits, the assignments, the term project, open-source contributions, tools and AI use →

Schedule

WeekTopicDue
1The internals of coding agentsA1
2Advanced context engineeringA2; project proposal
3Agent skills and the CLIA3
4Customizing your agent and repositoryContribution 1; project technical specification
5Agent-ready codebasesA4
6Agentic code reviewA5; CP1
7Tests that notice a faultProject alpha and task backlog
8SecurityContribution 2
9Background agentsContribution 3
10Evaluating agentsA6
11Building an AI-native teamCP2
12The software factory and what comes nextContribution 4; final project
13Assessment week—

A1–A6: assignments · Contribution 1–4: open-source contributions · CP1, CP2: 30-minute checkpoints on paper, without AI. The deadline for work due in a week is Sunday 23:59 of that week.

Videos

Short films, each showing one decision through worked examples: generate, then verify. They were made for the earlier edition of this course; the ones here still fit the current calendar, and each is listed under the week it supports. 7 films, 1 h 1 min in all.

Course materials

Everything students work from is public: each week's notes, slides, activities, readings and self-check, the assignments, the term project, the rubrics and the assessment policy.

Course pages, lecture materials and rubrics are being rearranged to this calendar. Where another page still describes the earlier fourteen-week layout, the syllabus takes precedence.

Teaching team

Questions about the course: boxi.yu@ul.ie