- formatting
- latex
- code
- docker
- publications
•
•
•
•
-
Evaluating Insight, Not Just Computation
Evaluating a Knowledge Graph, instead of evaluating computations in higher education.
-
Interpolation, Extrapolation, and What Exams Really Measure
The distinction between pattern recognition and genuine discovery, and why understanding this gap matters for both students and machines.
-
Formal Verification and the Path to Machine Discovery
When machines prove theorems and why exams matter more than ever in an age of increasingly capable AI systems.
-
The Rise of Autonomous Systems - When Machines Write Their Own Code
How LLM agents are decoupling correctness from elegance, and what this means for the future of software development and human expertise.
-
Teaching a Graph of Knowledge as a Story
A reflection on teaching complex technical subjects as graphs of knowledge, drawing on narrative structure, threshold concepts, inquiry-based learning, and visual reasoning.