Daniel Melcer (Preferred)
Daniel Melcer
Northeastern University
- Joined May 2022
Names
Emails
****@northeastern.edu (Confirmed)
, ****@gmail.com (Confirmed)
, ****@husky.neu.edu (Confirmed)
Personal Links
Education & Career History
PhD student
Northeastern University (northeastern.edu)
2021 – Present
Intern
Amazon (amazon.com)
2023 – 2023
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