Company: University of Wisconsin, Madison
Department: Department of Computer Science
Email: mihai AT cs DOT wisc DOT edu
I am a graduate student in the Department of Computer Sciences at the University of Wisconsin, Madison.
I work as a research assistant on the Wisconsin Safety Analyzer (WiSA) project, under the supervision of my advisor, Professor Somesh Jha.
Starting in the Fall of 2007, I am a researcher at the IBM T.J. Watson Research Center in Hawthorne, NY.
My research interests lie at the intersection of computer security, program verification, and software engineering. In particular, I am interested in understanding the behavior of programs, detecting malicious behaviors, and manipulating programs to achieve desired security properties.
Author of 1 resource
- Chen Chen, Cindy Xide Lin, Matt Fredrikson, Mihai Christodorescu, Xifeng Yan, Jiawei Han, "Mining Graph Patterns Efficiently via Randomized Summaries", InProceedings, 2009 Int. Conf. on Very Large Data Bases, August 21, 2009, 380 downloads.