Nicolas Wischermann (Preferred)
Nicolas Wischermann
Pronouns: he/him
MS student, IM-UFRJ, Universidade Federal do Rio de Janeiro
Undergrad student, IM-UFRJ, Universidade Federal do Rio de Janeiro
- Joined June 2025
Names
Emails
****@ufrj.br (Confirmed)
Personal Links
Career & Education History
MS student
IM-UFRJ, Universidade Federal do Rio de Janeiro (ufrj.br)
2025 – Present
Undergrad student
IM-UFRJ, Universidade Federal do Rio de Janeiro (ufrj.br)
2023 – Present
Advisors, Relations & Conflicts
Expertise
autoformalization, automated theorem proving
2025 – Present