Viorica Sofronie-Stokkermans
Scholar

Viorica Sofronie-Stokkermans

Google Scholar ID: aFGMdHQAAAAJ
Professor, University of Koblenz
LogicAutomated reasoningSMTVerification
Citations & Impact
All-time
Citations
342
 
H-index
10
 
i10-index
10
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
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)