Sólrún Halla Einarsdóttir (Preferred)
Sólrún Halla Einarsdóttir
Pronouns: she/her
PhD student, Computer Science and Engineering, Chalmers University of Technology
- Joined March 2025
Names
Emails
****@chalmers.se (Confirmed)
, ****@gmail.com (Confirmed)
Personal Links
Career & Education History
PhD student
Computer Science and Engineering, Chalmers University of Technology (chalmers.se)
2018 – Present
Advisors, Relations & Conflicts
Expertise
theorem proving, automated reasoning, interactive theorem proving
Present
AI for theorem proving, AI for mathematics
Present
theory exploration, automated conjecturing
Present
programming languages, program synthesis, verification
Present