image

Corneliu Popeea


Research

I am a postdoctoral researcher working with Andrey Rybalchenko. I did my PhD at the National University of Singapore under the supervision of Chin Wei Ngan. My research focused on methods to ensure safety properties for programs. Before this, I obtained a bachelor's degree in Computer Science from University Politechnica of Bucharest.
Below is a list of my recent publications:

Slightly older papers can be found here.

Teaching

Service


Personal corner


Valid XHTML 1.1 Valid CSS! Last update: 27-Mar-2012