Facultatea de Auomatica si CalculatoareFacultatea de Auomatica si Calculatoare

See other templatesSee other templates

Matei Popovici
Matei Popovici
ED405
-
...
Lecturer, Dr.

Publications

Projects

More Details

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
Free business joomla templates