Mihai Christodorescu

Doctoral Candidate, Research Assistant
Department of Computer Sciences
University of Wisconsin, Madison
Photo of Mihai Christodorescu
Mihai Christodorescu
Doctoral Candidate
1210 W Dayton St
Office 7372
Madison, WI 53706-1685
Curriculum vitæ: online PDF US letter (or A4)
[an error occurred while processing this directive]
Telephone: +1 608 262-6625
Fax: +1 608 262-9777
Website: http://www.cs.wisc.edu/~mihai/
Email: mihai@cs.wisc.edu
ICQ: 3954659
AIM: yodMihai
Yahoo! IM: warkda
Skype: warkdarrior
LinkedIn: view my profile
Google Chat/XMPP: mihaic@gmail.com

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.

Research Interests

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.

Current Research

Recent Papers

Program Committee and Editorial Duties

Previous Research


Valid CSS! Valid XHTML 1.0 Strict
Copyright © 1998-2005 Mihai Christodorescu. All rights reserved.
Maintained by Mihai Christodorescu (http://www.cs.wisc.edu/~mihai/).
Created: Mon Dec 21 21:12:13 PST 1998
Last modified: Thu Jul 5 13:28:47 CDT 2007