Algorithms Analysis

I am currently working in the Systems group from POLITEHNICA’s (UPB) Computer Science Department.

My research interests are related to:

• game-theoretic aspects of (mobile) networking
• logics for program verification and symbolic execution for computer networks

I am currently working in the Trilogy 2 research project, and teaching Algorithms & Complexity Theory and Programming Paradigms at the Faculty Computer Science and Automatic Control. I am also interested in functional programming and machine learning.

Recent projects:

• ISP Games - modeling client & provider interaction on a Internet market with MultipathTCP.
• Symnet - a tool for network verification using symbolic execution
• RevBG - hiding and revealing information in Boolean Games for sensor networks