Sign In

Ruzica Piskac

Assistant Professor at Yale University

Ruzica Piskac is a Professor of Computer Science at Yale University, where she leads the Rigorous Software Engineering (ROSE) group.12 Her career at Yale began in 2013 when she joined as an Assistant Professor.5 In 2019, she was named the Donna L. Dubinsky Associate Professor of Computer Science.1

Academic Background

Piskac holds a Ph.D. in Computer Science from the Swiss Federal Institute of Technology (EPFL), which she obtained in 2011.13 Her doctoral dissertation, supervised by Viktor Kuncak, won the Patrick Denantes Prize.2

Research Interests

Her research interests span several areas of computer science, including:

  • Software verification
  • Security and applied cryptography
  • Automated reasoning
  • Code synthesis
  • Programming languages

A common thread in her research is improving software reliability and trustworthiness using formal techniques.13

Professional Experience

Before joining Yale, Piskac was an Independent Research Group Leader at the Max Planck Institute for Software Systems in Germany from 2012 to 2013.12

Achievements and Recognition

Piskac has received numerous awards and honors for her work, including:

  • Multiple Amazon Research Awards
  • Yale University's Ackerman Award for Teaching and Mentoring
  • Facebook Communications and Networking Award
  • Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF)
  • Distinguished Paper Award at CCS 202212

Teaching and Mentorship

Piskac has graduated five Ph.D. students, four of whom currently hold positions as assistant professors of computer science.1

Additional Roles

In addition to her position in the Computer Science department, Piskac also serves as a Professor (Adjunct) of Law at Yale Law School.4

Highlights

Ruzica Piskac - MIT EECS Rising Stars
Jul 1 · seas.yale.edu
Ruzica Piskac - Yale School of Engineering & Applied Science
‪Ruzica Piskac‬ - ‪Google Scholar‬

Related Questions

What are some of Ruzica Piskac's most notable research projects?
How has Ruzica Piskac's work impacted the field of software verification?
What awards has Ruzica Piskac received for her research?
Can you provide more details about the Rigorous Software Engineering (ROSE) group at Yale?
What are the main themes in Ruzica Piskac's research?
Ruzica Piskac
Ruzica Piskac, photo 1
Ruzica Piskac, photo 2
Add to my network

Location

New Haven, Connecticut