Ferdinando (Nando) Fioretto

Associate Professor of Computer Science, University of Virginia

profile_pic_uva.png

307 Rice Hall

85 Engineer's Way

Charlottesville, VA 22904

I am an associate professor of Computer Science at the University of Virginia. I lead the Responsible AI for Science and Engineering (RAISE) group, where we develop foundational machine learning and generative AI methods that make models obey control objectives, hard constraints, safety requirements, and physical laws. Our work studies how to build controllable foundation models and constraint-aware generative models by connecting learning with optimization, control, and neuro-symbolic reasoning. My research has received several honors, including best paper awards at leading journals and AI/ML conferences, industry research awards, fellowships, and young investigator awards. See the awards page for more details.

Research Focus

  • Foundational ML and Generative AI under Constraints Differentiable optimization and the integration of optimization with machine learning and generative AI.
  • AI for Science and EngineeringGenerative methods for protein and molecular design, materials science, robotics, energy systems, chip design, and policy optimization.
  • Discrete Diffusion Language ModelsFoundations for constrained discrete generation and its use in speculative technologies for speeding up language generation.
  • Decision Focused LearningTraining predictive and generative models to optimize downstream decision quality, rather than prediction accuracy alone.
  • LLM Multiagent SystemsFoundations for distributed coordination and problem solving and Safety
  • Responsible AIAssurance for learning and decision systems, with an emphasis on privacy, safety, fairness, and robustness.
Explore our research

Research Sponsors

Our group is grateful for the generous support of our sponsors.

Highlighted Work

View all
Constraint-Aware Generative AI for Science and Engineering

Constraint-Aware Generative AI for Science and Engineering

How RAISE Lab makes generative models obey physics, geometry, logic, and safety requirements.

Learn more
Constrained Discrete Diffusion for Language, Chemistry, and Code

Constrained Discrete Diffusion for Language, Chemistry, and Code

Enforcing hard constraints on tokens, molecules, and programs — training-free, inside the denoising loop.

Learn more
Massively Speeding up LLM inference with Speculative Diffusion Decoding

Massively Speeding up LLM inference with Speculative Diffusion Decoding

Faster LLM inference with discrete diffusion drafting and alignment.

Learn more

Recent News

40 total