Mário Sérgio Alvim

Home / Mário Sérgio Alvim

I’m an assistant professor at the Computer Science Department (DCC) of the Federal University of Minas Gerais (UFMG) since September 2013. DCC is one of the three CS departments in the country ranked as a center of excellence by the Brazilian Government.

From January 2012 until September 2013 I was a post-doctoral researcher at the Department of Mathematics at the University of Pennsylvania under the supervision of Prof. Andre Scedrov, with funds from the Stanford Science of Cyber-security MURI. During my post-doc I had the pleasure of maintaining a close collaboration with Prof. Fred B. Schneider from the Computer Science Department of Cornell University.

I obtained my Ph.D. from LIX, École Polytechnique (France) in 2011 under the supervision of Prof. Catuscia Palamidessi, with funds from CNRSand DGA. My dissertation on Formal Approaches to Information Hiding (more details about it here) was a finalist of the Prix de Thèse ParisTech 2011, granted by the Paris Institute of Technology (ParisTech), representing the best thesis in Computer Science among the 632 thesis defended that year in 12 of the most prestigious Grande Écoles in France.

I obtained a MSc. degree in Computer Science also from UFMG in 2008, with focus on Proof Theory and Logics, under the supervision of Prof. Elaine Pimentel and co-supervision of Prof. Roberto Bigonha.

Before that I obtained a Technical degree in Industrial Informatics from CEFET-MG in 2000. During this period, with a group of colleagues, we developed the first point-to-point information system for public transportation in Minas Gerais, the system BHBUSca, whereby obtaining the first prize at the XVIII META.

Lattes: http://lattes.cnpq.br/1397639761790594