Raluca Sauciuc
sauciuc at cs.berkeley.edu579 Soda Hall
(510) 642-6509
Computer Science Division
Electrical Engineering and Computer Science Department
University of California, Berkeley
|
Raluca Sauciucsauciuc at cs.berkeley.edu579 Soda Hall (510) 642-6509 Computer Science Division Electrical Engineering and Computer Science Department University of California, Berkeley |
I'm a first-year Ph.D. student in Computer Science, in the Programming Systems area. My research interests include programming languages, program analysis and formal verification. My advisor is George Necula.
I received a B.S. in Computer Science and Engineering in 2005, from "Politehnica" University of Bucharest, Romania. My diploma thesis was Data Structure Verification Using a Proof-Generating Theorem Prover and my advisor was Irina Athanasiu.