 Contact Info: |
Zvonimir Rakamaric, Postdoctoral Fellow
Areas of interest: My research area is formal methods for analysis and verification of complex systems. My emphasis is on practical, highly automatic, and scalable formal verification techniques for software, in particular for concurrent and heap-manipulating programs. I am interested in any technique that supports that goal, such as extended static checking, automated theorem proving, model checking, and runtime verification. Eduation: Ph.D. in Computer Science, March 2011, University of British Columbia Overview: Zvonimir Rakamaric is a postdoctoral fellow at Carnegie Mellon University in Silicon Valley, where he works closely with researchers from the Robust Software Engineering Group at NASA Ames Research Center. He received his Ph.D. and M.Sc. from the Department of Computer Science at the University of British Columbia, where his supervisor was Alan Hu. Zvonimir completed his undergraduate studies in Croatia at the University of Zagreb. The main focus of Zvonimir's research is developing practical methods, techniques, and tools for improving reliability and correctness of complex systems. Currently, his emphasis is on highly automatic and scalable analysis techniques for software, in particular for concurrent software. He is interested in any technique that supports those goals, such as extended static checking, automated theorem proving, model checking, and runtime verification. Zvonimir was the recipient of a Microsoft Research Graduate Fellowship from 2008-2010. He also won the Silver Medal in the ACM Student Research Competition at the 32nd International Conference on Software Engineering (ICSE) 2010 and the Outstanding Student Paper Award at the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2007. |