Akzeptieren
Abbrechen

Ruzica Piskac

Ruzica Piskac ist außerordentliche Professorin für Informatik an der Universität Yale. Sie kam 2013 als Assistenzprofessorin nach Yale. Davor war sie unabhängige Forschungsgruppenleiterin am Max-Planck-Institut für Softwaresysteme in Deutschland. Ruzica Piskac promovierte 2011 an der EPFL und erhielt für ihre Doktorarbeit den Patrick-Denantes-Preis. Ruzicas Forschungsinteressen erstrecken sich auf die Bereiche Programmiersprachen, Softwareverifikation, automatisierte Schlussfolgerungen und Codesynthese. Ein roter Faden in Ruzicas Forschung ist die Verbesserung der Zuverlässigkeit und Vertrauenswürdigkeit von Software durch formale Techniken. Sie hat verschiedene Auszeichnungen für Forschung und Lehre erhalten, darunter ein CACM Research Highlight, einen NSF CAREER Award, den Facebook Communications and Networking Award, den Microsoft Research Award for the Software Engineering Innovation Foundation (SEIF), den Amazon Research Award und den 2019 Ackerman Award for Teaching and Mentoring.

Wir empfehlen

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021

ISBN: 978-3-85448-046-4
Das ausgewählte Produkt wurde zum Warenkorb hinzugefügt.
Akzeptieren
Abbrechen