<research>

//software analysis · llm & agentic systems · empirical evaluation
//interests

I am interested in how we know whether software systems actually work and what they actually cost: learned models for software analysis (bug finding, code classification, test generation), the efficiency of LLM and agentic systems, and the empirical side that makes both assessable: ground truth, benchmarks, and honest evaluation of what these tools do in real deployments.

//work
→ talk research
← home