Daniel Melcer (Preferred)
Daniel Melcer
PhD student, Northeastern University
Joined
May 2022
Names
Emails
****@northeastern.edu (Confirmed)
****@gmail.com (Confirmed)
****@husky.neu.edu (Confirmed)
****@amazon.com
Personal Links
Career & Education History
PhD student
Northeastern University (northeastern.edu)
2021 – Present
Intern
Amazon (amazon.com)
2023 – 2025
Intern
Air Force Research Laboratory (us.af.mil)
2019 – 2021
Undergrad student
Northeastern University (husky.neu.edu)
2017 – 2021
Advisors, Relations & Conflicts
Coauthor
Stephen Chang
2020 – Present
Expertise
Theorem Provers
2020 – Present
Reinforcement Learning
2019 – Present
Formal Verification
2019 – Present