...
Ruzica Piskac is a PhD candidate at EPFL, working under the supervision of Viktor Kuncak. Her primary research interests
are decision procedures, their combinations and applications in program verification and software synthesis.
| Attachments | ||
|---|---|---|
|
Page History
Overview
Content Tools
Activity