基本信息
views: 44
Career Trajectory
Bio
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.
Research Interests
Papers共 106 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024 (2024): 3-19
arXiv (Cornell University) (2024)
CoRR (2024)
Cited0Views0EIBibtex
0
0
CoRR (2024)
Cited0Views0EIBibtex
0
0
PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023pp.1718-1731, (2023)
PROCEEDINGS OF THE 22ND WORKSHOP ON PRIVACY IN THE ELECTRONIC SOCIETY, WPES 2023 (2023): 123-127
IEEE Computer Security Foundations Symposiumpp.423-438, (2023)
Anais do XXXV Concurso de Teses e Dissertações (CTD 2022) (2022)
Load More
Author Statistics
#Papers: 106
#Citation: 1152
H-Index: 19
G-Index: 33
Sociability: 5
Diversity: 2
Activity: 12
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn