![Rayna Dimitrova](https://popl16.sigplan.org/getProfileImage/raynadimitrova/825025c6-771e-4b90-9898-d71bed4eb515/small.jpg?1711610988000)
Registered user since Fri 4 Sep 2015
Name:Rayna Dimitrova
Bio:
I am a postdoctoral researcher at Max Planck Institute for Software Systems working with Prof. Rupak Majumdar. Before that, I was a Ph.D. student in the Computer Science Department at Saarland University.
Affiliation:MPI-SWS, Germany
Personal website: http://www.mpi-sws.org/~rayna/
Contributions
2016
POPL 2016-profile
View general profile
View general profile