Daniel Melcer

(he/him/his)

PhD Student

  • Reinforcement learning
  • Formal methods
  • Machine learning
  • Programming languages
  • BS in Computer Science, Northeastern University

Daniel Melcer is a doctoral student at the Khoury College of Computer Sciences at Northeastern University, advised by Stavros Tripakis and Christopher Amato.

Melcer concluded his undergraduate computer science degree at Khoury College in 2021, then began his doctoral work. That research, projected to run until 2026, focuses on the intersection of formal methods and reinforcement learning. He is affiliated with the Formal Methods Group, as well as the Lab for Learning and Planning in Robotics.