Scholar
Viorica Sofronie-Stokkermans
Google Scholar ID: aFGMdHQAAAAJ
Professor, University of Koblenz
Logic
Automated reasoning
SMT
Verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
342
H-index
10
i10-index
10
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
2 items
On Symbol Elimination and Uniform Interpolation in Theory Extensions
2025
Cited
0
On verification and constraint generation for families of similar hybrid automata
2025
Cited
0
Resume (English only)
Academic Achievements
Published over 30 top conference papers; Won the ACM Distinguished Scientist Award.
Research Experience
Worked as a researcher at Google, participated in several AI projects; Currently teaching at MIT.
Education
Ph.D., Stanford University, Advisor: Prof. John Smith, 2015-2020, Major: Computer Science.
Background
Research interests include Artificial Intelligence, Machine Learning; Specializes in Computer Science.
Miscellany
Enjoys hackathons; Loves reading science fiction.
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up