Reliable AI for the
next generation of
software.

Assistant Professor   Department of Computer Science   William & Mary

I work at the intersection of AI, NLP, and Software Engineering — building, evaluating, and rethinking AI-driven approaches to software practice, with an emphasis on explainability, efficiency, and trustworthiness. PhD from USI Lugano (2024); now advising six PhD students at William & Mary.

Office
Integrated Science Center 4 (ISC4) · Office 2333 · 540 Landrum Dr, Williamsburg, VA 23185
AURA
AI for Understandable and Responsible Automation · the lab →
Editorial
Spotlight on Transactions column · IEEE Computer
Advising
6 PhD students at the AURA Lab
Teaching
UGPrompt Engineering · UG·GRGenAI for SW Dev · GRAI for SE
The journey
USA ITALY SWITZERLAND Molise Lugano W&M
  1. 2018–2020
    🇮🇹Molise, IT
    M.Sc. Computer Science
    University of Molise
  2. 2020–2024
    🇨🇭Lugano, CH
    Ph.D. Informatics
    USI Lugano
  3. 2024 — present
    🇺🇸Williamsburg, VA
    Assistant Professor
    William & Mary
02 Research focus

Four threads spelling A·U·R·A.

AI for code · Understanding what models do · Reliable evaluation of how they behave · Automation that practitioners can trust. Each letter is a multi-paper research line.

A
A — AI

Resource-Efficient Foundation Models for Code

Quantization, parameter-efficient fine-tuning, and distillation that make code-intelligence models cheap enough to deploy at developer scale — without sacrificing quality.

QuantizationPEFTLoRA / QLoRADistillation
U
U — Understanding

Neurosymbolic Reasoning & Interpretability

Combining neural language models with grammars, type systems, and program analysis — plus feature-level explanations that move beyond opaque token-by-token predictions.

Program analysisASTConstrained decodingFeature attribution
R
R — Reliable

Reliability, Causality & Honest Evaluation

Causal reasoning, counterfactual analysis, and rigorous LLM-as-a-Judge methodologies that measure what matters in code AI — not what's easy to measure.

Causal inferenceCounterfactualsLLM-as-JudgeRobustness
A
A — Automation

AI Agents for the Software Lifecycle

Designing autonomous agents that plan, reason, and execute multi-step software workflows — from issue triage to code review — with measurable end-to-end behavior.

ReActTool useMulti-agentSWE-bench