01

Current interests

R-01

Reliable AI Systems

Methods for measuring capability boundaries, detecting regressions, and limiting the impact of failures.

R-02

LLM Evaluation

Evaluation design that connects offline test sets, production traces, and real task outcomes.

R-03

Agent Reliability

Failure analysis for long-running workflows composed of planning, tools, memory, and external state.

R-04

Streaming Data Systems

Event-time reasoning, provenance, runtime monitoring, and recovery in stateful stream processing.

02

Previous research themes

  • Test-data generation for stream-processing systems
  • Fine-grained data provenance
  • Runtime monitoring and failure prediction
  • Reliability modeling for data-intensive software
03

Research output

Publications, talks, and reproducible research artifacts will be added here with source links. This page intentionally avoids unverified placeholders.