Login/Cadastro
Faça login ou crie uma nova conta no Escavador, é simples e rápido.
Cadastrar com e-mail
Para criar uma nova conta com e-mail, preencha os campos abaixo, ou clique em voltar para mais opções.
Login com e-mail
Entre com seu e-mail e senha para fazer login
Possui graduação em Ciência da Computação pela Universidade Federal de Minas Gerais (2005), mestrado em Ciência da Computação pela Universidade Federal de Minas Gerais (2008) e doutorado em Ciência da Computação pela École Polytechnique, França (2011). Foi pesquisador de pós-doutorado no Departamento de Matemática da University of Pennsylvania de janeiro de 2012 a setembro de 2013. Atualmente é professor adjunto do Departamento de Ciência da Computação da Universidade Federal de Minas Gerais. Tem como área centrais de interesse o Fluxo de Informação Quantitativo, o controle de Privacidade, a Teoria da Informação, a Teoria da Computação, e os Modelos Formais Probabilísticos.
Informações coletadas do Lattes em 25/06/2020
Acadêmico
Formação acadêmica
Doutorado em Ciência da Computação
2008 - 2011
Ecole Polytechnique
Título: Formal approaches to information hiding: an analysis of interactive systems, statistical disclosure control, and refinement of specification
Orientador: Catuscia Palamidessi
Bolsista do(a): Centre National de la Recherche Scientifique/Diréction Gén. de l'Armement, CNRS / DGA, França. Palavras-chave: Privacidade; Segurança; Fluxo de informação; Vazamento de informação; "Differential privacy"; "Min-entropy". Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Mestrado em Ciências da Computação
2006 - 2008
Universidade Federal de Minas Gerais
Título: Aspectos Computacionais do Cálculo das Estruturas,Ano de Obtenção: 2008
Elaine Gouvêa Pimentel.Coorientador: Roberto da Silva Bigonha. Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Cálculo das Estruturas; Lógica Linear; "Deep-inference"; "Calculus of Structures"; Lógica Computacional.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação.
Graduação em Ciência da Computação
2001 - 2005
Universidade Federal de Minas Gerais
Título: Uma Ferramenta Para Previsão do Enovelamento de Proteínas / Uma Ferramenta Para Alinhamento Estrutural de Proteínas Através de Mapas de Contatos
Orientador: Rodrigo de Lima Carceroni
Pós-doutorado
2012 - 2013
Pós-Doutorado. , University of Pennsylvania, UPENN, Estados Unidos. , Bolsista do(a): University of Pennsylvania, UPENN, Estados Unidos. , Grande área: Ciências Exatas e da Terra, Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Modelos Analíticos e de Simulação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança.
Formação complementar
Visita técnica. (Carga horária: 180h). , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Visita técnica. (Carga horária: 80h). , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Visita técnica. (Carga horária: 35h). , University of Maryland, College Park, UMD, Estados Unidos.
Visita técnica. (Carga horária: 40h). , University of Pennsylvania, UPENN, Estados Unidos.
Visita técnica. (Carga horária: 80h). , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Visita técnica. (Carga horária: 80h). , Macquarie University, MACQUARIE, Austrália.
Visita técnica. (Carga horária: 40h). , Cornell University, CORNELL, Estados Unidos.
Visita técnica. (Carga horária: 80h). , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Visita técnica. (Carga horária: 40h). , Cornell University, CORNELL, Estados Unidos.
Visita técnica. (Carga horária: 60h). , Centre de Recherche Inria Saclay - Île-de-France, INRIA-SACLAY, França.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Privacidade e Segurança.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Métodos Formais.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Fluxo de informação quantitativo.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Informação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.
Organização de eventos
ALVIM, M. S. ; DELAUNE, S. ; GABOARDI, M. ; MARDZIEL, P. ; MURRAY, T. ; STEFAN, D. ; VAZOU, N. . Steering Committee of the ACM Workshop on Programming Languages and Analysis for Security (PLAS). 2020. (Outro).
ALVIM, M. S. ; CHATZIKOKOLAKIS, KOSTAS ; OLARTE, C. A. ; Valencia, Frank . Workshop in hounour of Catuscia Palamidessi's 60 birthday: a journey from logic and concurrency to security and privacy. 2019. (Outro).
ALVIM, M. S. ; BIELOVA, N. ; CLARKSON, M. ; DELAUNE, S. ; GABOARDI, M. ; JIA, L. ; MURRAY, T. ; STEFAN, D. . Steering Committee of the ACM Workshop on Programming Languages and Analysis for Security (PLAS). 2019. (Outro).
ALVIM, M. S. ; DELAUNE, S. . 13th ACM Sigplan Workshop on Programming Languages and Analysis for Security (PLAS 2018). 2018. (Outro).
GRAAF, J. V. ; NOGUEIRA, J. M. ; OLIVEIRA, L. B. E. ; ARANHA, D. F. ; BARCELOS, M. P. ; Mário S. Alvim . XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. 2014. (Outro).
Mário S. Alvim . Workshop on Privacy and Information Flow. 2012. (Outro).
Participação em eventos
21st Privacy Enhancing Technologies Symposium (PETs 2021).Membro do comitê de programa.. 2021. (Simpósio).
34th IEEE Computer Security Foundations Symposium (CSF 2021).Membro do comitê de programa.. 2021. (Simpósio).
7th International Conference on Information Systems Security and Privacy (ICISSP 2021).Membro do comitê de programa.. 2021. (Simpósio).
6th International Conference on Information Systems Security and Privacy.Membro de comitê de programa.. 2020. (Simpósio).
IV Encontro de Teoria da Computação.Membro do comitê de programa.. 2020. (Encontro).
The 20th Privacy Enhancing Technologies Symposium (PETs 2020).Membro de comitê de programa.. 2020. (Simpósio).
XX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2020).Membro do comitê de programa.. 2020. (Simpósio).
23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods(FM 2019).Membro do comitê de programa.. 2019. (Simpósio).
The 19th Privacy Enhancing Technologies Symposium (PETs 2019).Membro de comitê de programa.. 2019. (Simpósio).
Workshop Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday.The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy. 2019. (Oficina).
XIX Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2019).Membro de comitê de programa.. 2019. (Simpósio).
13th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2018).Chair. 2018. (Outra).
13th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2018).Comitê de Programa. 2018. (Oficina).
15th International Conference on Quantitative Evaluation of Systems (QEST 2018). Comitê de Programa. 2018. (Congresso).
22nd International Symposium on Formal Methods (FM 2018).An Algebraic Approach for Reasoning About Information Flow. 2018. (Simpósio).
31st IEEE Computer Security Foundations Symposium (CSF 2018).Comitê de Programa. 2018. (Simpósio).
4th International Conference on Information Systems Security and Privacy. Comitê de Programa. 2018. (Congresso).
Federated Logic Conference 2018 (FLoC 2018). 2018. (Congresso).
The 18th Privacy Enhancing Technologies Symposium (PETS 2018).Membro de comitê de programa.. 2018. (Simpósio).
Workshop on Cyber Security in Connected Devices (WSCDC 2018).Membro de comitê de programa.. 2018. (Oficina).
XVIII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais (SBSeg 2018).Comitê de programa.. 2018. (Simpósio).
3rd International Conference on Information Systems Security and Privacy (ICISSP 2017). Comitê de Programa. 2017. (Congresso).
6th Conference on Principles of Security and Trust (POST 2017). Quantifying vulnerability of secret generation using hyper-distributions. 2017. (Congresso).
ACM SIGSAC Workshop on Programming Languages and Analysis for Security (PLAS 2017).Comitê de Programa. 2017. (Oficina).
Workshop on Foundations of Computer Security (FCS 2017).Comitê de Programa. 2017. (Oficina).
XVII Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2017. (Congresso).
1o Encontro de Teoria da Computação.Quantificando Vazamento de Informação sobre Estratégias. 2016. (Oficina).
29th IEEE Computer Security Foundations Symposium.Axioms for Information Leakage. 2016. (Simpósio).
2nd International Conference on Information Systems Security and Privacy (ICISSP 2016). Comitê de Programa. 2016. (Congresso).
II Workshop Brasil-EUA em Segurança Cibernética e Privacidade na Internet.Generalizing information measures using gain functions. 2016. (Oficina).
Workshop on Foundations of Computer Security.Towards the Quantification of Strategic Leakage. 2016. (Oficina).
Workshop on Quantitative Information Flow. 2016. (Oficina).
XVI Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2016. (Congresso).
1st nternational Conference on Information Systems Security and Privacy. Comitê de Programa. 2015. (Congresso).
8th Interaction and Concurrency Experience (ICE 2015).Comitê de Programa. 2015. (Oficina).
I Workshop Brasil-EUA em Segurança Cibernética e Privacidade na Internet.Are Security and Privacy Mutually Exclusive?. 2015. (Oficina).
MURI Evaluation of Science of Security Project.When not all bits are equal: Worth-based information flow. 2015. (Encontro).
XV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2015. (Congresso).
3rd Conference on Principles of Security and Trust (POST 2014). When not all bits are equal: Worth-based information flow. 2014. (Congresso).
Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography - Membro do comitê de programa (Program Comittee).Comitê de Programa. 2014. (Oficina).
XIV Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais. Comitê de Programa. 2014. (Congresso).
26th IEEE Computer Security Foundations Symposium (CSF 2013). 2013. (Simpósio).
28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013). 2013. (Simpósio).
DIMACS - Working group on measuring anonymity.Measuring anonymity. 2013. (Encontro).
Protocol eXchange Spring.When not all bits are equal: incorporating. 2013. (Encontro).
Standord MURI Science of Cyber Security Annual Review (2013).When not all bits are equal: Incorporating 'worth' into information-flow measures. 2013. (Outra).
Workshop on Foundations of Computer Security (FCS'13).When not all bits are equal: incorporating. 2013. (Oficina).
25th IEEE Computer Security Foundations Symposium (CSF 2012).Measuring Information Leakage Using Generalized Gain Functions. 2012. (Simpósio).
39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2012). 2012. (Simpósio).
Dagstuhl Seminar on Quantitative Security Analysis.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Seminário).
DIMACS Workshop on Recent Work on Differential Privacy across Computer Science. 2012. (Oficina).
NII Shonan Meeting on Quantitative Mehotds in Security and Safety Critical Applications.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Oficina).
Protocol eXchange Fall.Not every bit is created equal: Measuring information leakage considering the value of secret bits. 2012. (Encontro).
11th International School on Foundations of Security Analysis and Design (FOSAD 2011).Quantitative Information Flow and Applications to Differential Privacy. 2011. (Outra).
24th IEEE Computer Security Foundations Symposium (CSF 2011). 2011. (Simpósio).
38th International Colloquium on Automata, Languages and Programming (ICALP 2011). On the Relation between Differential Privacy and Quantitative Information Flow. 2011. (Congresso).
Atelier Protection de la Vie Privée (seconde édition) / Géolocalisation et Vie Privée.Differential Privacy: a Study of Utility and Min-Entropy Leakage. 2011. (Oficina).
Workshop on Games, Logic and Security 2011 (GIPSy 2011).Differential privacy:the trade-off between privacy and utility. 2011. (Oficina).
Workshop on Quantum and Classic Information Flow.Quantitative information flow in interactive systems. 2011. (Oficina).
1st ACM International Summer School on Information Security and Protection. 2010. (Oficina).
21st International Conference on Concurrency Theory (CONCUR 2010). Information Flow in Interactive Systems. 2010. (Congresso).
Digiteo 2010 Annual Forum.Quantitative information flow: an overview. 2010. (Encontro).
Theoretical Computer Science (IFIP - TCS 2010). Safe Equivalences for Security Properties. 2010. (Congresso).
10th Brazilian Symposium On Formal Methods (SBMF 2007). 2007. (Simpósio).
2nd Workshop on Logical And Semantic Frameworks (LSFA 2007). 2007. (Oficina).
10th Workshop on Logic, Language, Information and Computation (Wollic 2003). 2003. (Oficina).
XVIII Mostra Específica de Trabalhos e Aplicações (META).BHBUSca: sitema de informaçao inteligente ao usuário de ônibus em Belo Horizonte. 2000. (Outra).
Participação em bancas
MORO, M.;ALVIM, MÁRIO S.; CHAIMOWICZ, L.; BARBOSA, D.. A Probabilistic Algorithm To Predict Missing Facts From Knowledge Graphs. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
ALVIM, M. S.; MARINHO, L. B.; FIGUEIREDO, F. V. D.;COUTINHO, G. M.. On the relationship of privacy and fairness in machine learning. 2019. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
GONCALVES, M. A.; DALIP, D. H.; PAPPA, G. L.;Mário S. Alvim. Separação automátia de atributos para métodos de parendizado multi-visão. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
GONCALVES, M. A.; PAPPA, G. L.; ROCHA, L. C. D.;ALVIM, M. S.. Exploiting Semantic Similarity for Improved Text Representation. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
ALVIM, M. S.; MCIVER, A.;COUTINHO, G. M.; SANTOS, V. F.; OLARTE, C. A.. An Algebraic Framework for Quantitative Information Flow. 2018. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
ALVIM, MÁRIO S.PIMENTEL, E. G.; OLARTE, C. A.. Formalização da Lógica Linear em Coq. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.
ALVIM, MÁRIO S.PIMENTEL, E. G.; OLARTE, C. A.. Um estudo de Lógica Linear com Subexponenciais. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.
ALVIM, MARIO S.PIMENTEL, E. G.; RIVIECCIO, U.; KUZMIN, A.. Dualidades: de Birkhoff a N4-reticulados limitados. 2017. Dissertação (Mestrado em Matemática Aplicada e Estatistica) - Universidade Federal do Rio Grande do Norte.
GOUSSEVSKAIA, O.; SANTOS, V. F.; LOUREIRO, A. A. F.; SZWARCFITER, J.;ALVIM, M. S.. Infraestrutura de Acesso em Redes sem Fio Obstruídas: da Infraestrutura à Conectividade. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
PEREIRA, F. M. Q.; BORIN, E.;ALVIM, M. S.. Dynamic dispatch of context-sensitive optimizations. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
GRAAF, J. V.; DAHAB, R.;ALVIM, M. S.. Análise de Protocolos de Acordo de Chaves Baseados Em Teoria da Informação. 2017. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
SANTOS, R. L. T.; LAENDER, A. H. F.; MARINHO, L. B.; GONCALVES, M. A.;ALVIM, M. S.. Modelos de autoria não-booleanos para busca de especialistas na academia. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
MACHARET, D. G.; CAMPOS, M. F. M.; ALVES NETO, A.; CHAIMOWICZ, L.;ALVIM, M. S.. Exploração autônoma de ambientes baseada em ganho de informação. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
BENEVENUTO, F.; GUMMADI, K. P.;ALVIM, M. S.; MELO, P. O. S. V.. A measrument study of hate speech in social media. 2016. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
OLIVEIRA, L. B. E.; PEREIRA, F. M. Q.; VILELA NETO, O. P.;ALVIM, M. S.. X-RA: A Range Analysis for Networked Systems. 2015. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
GONCALVES, M. A.; ROCHA, L. C. D.; CARVALHO, A. P.; ROCHA, A. R.; PAPPA, G. L.;ALVIM, M. S.. Random-Forest Based Classifiers For High Dimensional noisy Data Classification. 2017. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.
NOGUEIRA, J. M. S.; MACEDO, D. F.; MADEIRA, E. R. M.;ALVIM, M. S.; LIMA, M. N.; CORREIA, L. H. A.. Redes Sociais para Certificação em Redes Veiculares Tolerantes a Interrupções. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.
PEREIRA, F. M. Q.; DURHAM, A. M.; ARANHA, D. F.; FRANCA, F. M. G.; OLIVEIRA, L. B. E.;ALVIM, M. S.. Análise Esparsa de Fluxo de Informação. 2016. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.
NOGUEIRA, J. M. S.; OLIVEIRA, L. B. E.; FEITOSA, E. L.; PEREIRA, F. M. Q.; DELICATO, F. C.;ALVIM, M. S.. Securing Networked Embedded Systems Through Distributed Systems Analysis. 2015. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.
MADEIRA, E. R. M.;ALVIM, M. S.; PEDRINI, H.. Privacy-preserving Protocols with Differential Privacy. 2019. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.
GONCALVES, M. A.;ALVIM, MÁRIO S.; SANTOS, R. L. T.; Murai, F.; TORRES, R. S.. Compression-Based Unsupervised Sampling for Learning to Rank. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.
SANTOS, J. A.ALVIM, M. S.; GUIMARAES, S. J. F.; NOBREGA, R. A. A.; DAVIS JUNIOR, C. A.; Murai, F.. Facing Spatial and Temporal Domain Shift in Remote Sensing Images. 2019. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.
VILELA NETO, O. P.; VIEIRA, L. F. M.;ALVIM, M. S.; RIBAS, R. P.; TORRES, F. S.. Redução do Limite Energético Fundamental e Impactos Temporais em Circuitos de Nanodispositivos de Acoplamento Local de Campo. 2018. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.
SANTOS, J. A.; SCHWARTZ, W. R.; GOMES, D. M.;ALVIM, M. S.; ASSUNCAO, R. M.; KORTING, T. S.. Going deep into remote sensing spatial feature learning. 2017. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.
YEHIA, H. C.;GRAAF, J. V.; BARBOSA, A. V.; SKORIC, B.; DAHAB, R.;ALVIM, M. S.. Unconditionally Secure Key Establishment and Secure Communication Through the Audio Channel by Extraction of Similar Audio Content. 2017. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Minas Gerais.
ALVIM, MARIO S.. IFNMG - Professor de Ensino Básico, Técnico e Tecnológico do Quadro Permanente de Pessoal do. 2019.
ALVIM, M. S.. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2015. Universidade Federal de Minas Gerais.
ALVIM, M. S.. Semana da Pós-Graduação em Ciência da Computação 2015. 2015. Universidade Federal de Minas Gerais.
Mário S. Alvim. XXIII SEmana de Iniciação Científica da UFMG - SIC 2014. 2014.
Mário S. Alvim. Programa MINAS MUNDI Programa de Mobilidade Discente Internacional para Graduação da UFMG. 2014. Universidade Federal de Minas Gerais.
Comissão julgadora das bancas
PIMENTEL, E. G.; Bigonha, R. S.;MARCOS, J.; FIGUEIREDO, L. C.. Aspectos computacionais do cálculo de estruturas. 2008. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.
Orientou
On The Trade-Off between Transparency and Privacy in Statistical Disclosure Control; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; (Orientador);
Characterizing Strategy Leakage for Dynamic Secrets; Início: 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; (Orientador);
Recuperação de informação visual usando programação genética; Início: 2016; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Coorientador);
Mapeamento geográfico utilizando imagens aéreas de múltiplas bases de conhecimento; Início: 2018; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Coorientador);
Active Learning for Learning to Rank; Início: 2013; Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais; (Coorientador);
Um estudo comparativo de técnicas de anonimização de dados públicos; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);
Verificando a corretude dos algoritmos de ordenação com o assistente de provas Coq; Início: 2019; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);
Métodos formais com aplicações a segurança, privacidade, transparência, justiça e outras questões sociais em ciência da computação; Início: 2020; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);
Métodos formais com aplicações a segurança, privacidade, transparência, justiça e outras questões sociais em ciência da computação; Início: 2020; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);
Fluxo de informação quantitativo em sistemas computacionais; Início: 2019; Iniciação científica (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; (Orientador);
Introdução ao uso do assistente de provas Coq; Início: 2019; Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; (Orientador);
Fluxo de informação quantitativo em sistemas computacionais; Início: 2019; Iniciação científica (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; (Orientador);
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2020/01); Início: 2020; Orientação de outra natureza; Universidade Federal de Minas Gerais; (Orientador);
A Probabilistic Algorithm To Predict Missing Facts From Knowledge Graphs; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Coorientador: Mário Sérgio Ferreira Alvim Júnior;
On the relationship of privacy and fairness in machine learning; 2019; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Mário Sérgio Ferreira Alvim Júnior;
An Algebraic Framework for Quantitative Information Flow; 2018; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais,; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Execução de Algoritmo de Fluxo de Informação Quantitativo e Associação dos Resultados a Ataques de Engenharia Social; 2017; Monografia; (Aperfeiçoamento/Especialização em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Avaliacao quantitativa de smart-meters quanto a invasao de privacidade atraves do arcabouco de g-vulnerability; 2019; Trabalho de Conclusão de Curso; (Graduação em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma Ferramenta De Visualização De Hiper-distribuições De Probabilidade; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Métricas para fairness em ciência de dados; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Verificação de Software Utilizando o Assistente de Prova Coq; 2018; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Um biblioteca para estimação composicional de fluxo de informação; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estado Da Arte Em Security Games; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Security Games: Estado Da Arte Em Adversary Behaviour; 2017; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Quantitative information flow e ataque a anonimato de Protocolo crowds em redes MANET; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Ferramenta De Visualização De Hiper-distribuições De Probabilidade; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Engenharia social: uma survey em métodos utilizados por engenheiros sociais para se obterem informações; ; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Engenharia social: Uma survey em métodos utilizados por engenheiros sociais para se obterem informações; ; 2016; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Verificação de um Sistema de Criação de Sites; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma Ferramenta para Atribuição de Valoração em Fluxo de Informação Quantitativo; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Verificação de um Software de Edição de Sites; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Um estudo sobre quesitos de consistência para derivação de atribuições de valoração; 2015; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo; 2014; Trabalho de Conclusão de Curso; (Graduação em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução à programação funcional probabilística; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma Ferramenta de Visualização para Fluxo de Informação Quantitativo; 2018; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Métodos formais para quantificação de fluxo de informação; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Métodos formais para quantificação de fluxo de informação; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma Ferramenta de Visualização para Fluxo de Informação Quantitativo; 2018; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução ao uso do assistente de provas Coq; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Introdução à programação funcional probabilística; 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Análise Formal de Requisitos de Consistência para Atribuições de Valoração; 2016; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Métodos Formais para Fluxo de Informação Quantitativo; 2015; Iniciação Científica; (Graduando em Sistemas de Informação) - Universidade Federal de Minas Gerais, Fundação de Amparo à Pesquisa do Estado de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Fluxo de informação quantitativo em sistemas computacionais; 2015; Iniciação Científica; (Graduando em Matemática Computacional) - Universidade Federal de Minas Gerais, Pró-Reitoria de Pesquisa da UFMG; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo; 2015; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo; 2014; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Minas Gerais, Pró-Reitoria de Pesquisa da UFMG; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 836 / DCC 030 ? Introdução à Lógica Computacional (2019/01); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 836 / DCC 049 ? Introdução à Lógica Computacional (2019/01); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 836 ? Introdução à Lógica Computacional (2019/02); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 836 ? Introdução à Lógica Computacional (2019/02); 2019; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Discriminação e justiça em algoritmos: Uma abordagem causal; 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2018/01); 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2018/02); 2018; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Brum; Implementacao de um prototipo de uma Interface Web para processar inferencias dentro de uma ontologia OWL utilizando uma API Reasoner; 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/01); 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 030/049/831 ? Teoria da Informação (2017/02); 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/02); 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 129 ? Fundamentos de Teoria da Computação (2017/02); 2017; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Elaboração de um Curso Introdutório à Teoria da Decisão; 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2016/01); 2016; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2015/01); 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2015/01); 2015; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 004 ? AEDS II (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/01); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Estágio em Docência na disciplina DCC 111 ? Matemática Discreta (2014/02); 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal de Minas Gerais; Orientador: Mário Sérgio Ferreira Alvim Júnior;
Foi orientado por
Aspectos Computacionais do Cálculo das Estruturas; 2008; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Elaine Gouvêa Pimentel;
Lógica Linear e a especificação de sistemas lógicos; 2004; 15 f; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal de Minas Gerais, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Elaine Gouvêa Pimentel;
Produções bibliográficas
ALVIM, MÁRIO S. ; CHATZIKOKOLAKIS, KONSTANTINOS ; OLARTE, CARLOS ; VALENCIA, FRANK D. . Catuscia Palamidessi. ACM SIGLOG News , v. 7, p. 47-50, 2020.
PIMENTEL, JHIELSON M. ; ALVIM, MÁRIO S. ; CAMPOS, MARIO F. M. ; MACHARET, DOUGLAS G. . Information-Driven Rapidly-Exploring Random Tree for Efficient Environment Exploration. JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS , v. 91, p. 313-331, 2018.
ALVIM, M. S. ; CHATZIKOKOLAKIS, K. ; KAWAMOTO, Y. ; PALAMIDESSI, C. . A Game-Theoretic Approach to Information-Flow Control via Protocol Composition. Entropy , v. 20, p. 382, 2018.
ALVIM, MÁRIO S. ; CHATZIKOKOLAKIS, KONSTANTINOS ; MCIVER, ANNABELLE ; MORGAN, CARROLL ; PALAMIDESSI, CATUSCIA ; SMITH, GEOFFREY . An Axiomatization of Information Flow Measures. THEORETICAL COMPUTER SCIENCE , v. 777, p. 32-54, 2018.
ALVIM, M. S. ; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; DEGANO, P. ; PALAMIDESSI, C. . On the information leakage of differentially-private mechanisms. Journal of Computer Security , v. 23, p. 427-469, 2015.
ALVIM, M. S. ; ANDRÉS, M. E. ; PALAMIDESSI, C. . Quantitative information flow in interactive systems. Journal of Computer Security , v. 20, p. 3-50, 2012.
Outras produções
ALVIM, MÁRIO S. ; ARAUJO, L. C. ; CABRAL, G. A. ; CORREA, L. Q. ; SILVEIRA, D. R. . BHBUSca: Sistema de Informações Sobre Transporte Público Urbano. 2000.
MARDZIEL, P. ; ALVIM, MÁRIO S. ; HICKS, M. W. . Adversary Gain vs. Defender Loss in Quantified Information Flow. 2014. (Relatório de pesquisa).
ALVIM, M. S. ; SCEDROV, A. ; SCHNEIDER, F. B. . When not all bits are equal: Worth-based information flow. 2013. (Relatório de pesquisa).
ALVIM, M. S. ; ANDRÉS, M. E. ; CHATZIKOKOLAKIS, K. ; DEGANO, P. ; PALAMIDESSI, C. . On the information leakage of differentially-private mechanisms. 2012. (Relatório de pesquisa).
2017 - Atual
Uma ferramenta para cálculo de métricas de fluxo de informação quantitativo, Descrição: Este projeto tem como tema a aplicação de métodos formais para a definição de propriedades de segurança de sistemas computacionais, assim como a quantificação dessas propriedades. Nossa proposta é formalizar o uso de duas novas dimensões nas métricas de QIF: custo e benefício. O adversário é guiado por suas restrições de custo, como de qual poder computacional ele dispõe, quais políticas o guiam, ou quais leis e punições ele está disposto a seguir ou infringir. Já o protetor tenta guardar o segredo de acordo com seu benefício: a forma como o segredo se divide em estruturas, qual o valor relativo de cada estrutura, e como cada estrutura pode revelar informação a respeito de outra.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador., Financiador(es): Pró-Reitoria de Pesquisa da UFMG - Auxílio financeiro.
2015 - Atual
Medindo a segurança de sistemas interativos dinâmicos: Avançando técnicas de fluxo de informação quantitativo, Descrição: O objetivo principal do projeto é avançar as técnicas disponiveis para a análise formal da segurança de sistemas computacionais interativos que computem utilizando segredos dinâmicos, aperfeiçoando metodologias de fluxo de informação quantitativo existentes e aplicando-as a sistemas reais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) . , Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Auxílio financeiro.
2014 - Atual
Context-QIF: Um arcabouço formal para fluxo de informação quantitativo baseado em contexto, Descrição: Projeto de cunho científico cujo objetivo principal é desenvolver um framework formal para fluxo de informação quantitativo que modele o contexto de execução de sistemas computacionais e capture: (i) a rigorosidade das garantias baseadas em teoria da informação, (ii) o benefício que guia o designer do sistema a esconder parte da informação, e (iii) o custo que guia o adversário a atacar o sistema.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) . , Integrantes: Mário Sérgio Ferreira Alvim Júnior - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2013 - 2016
INRIA International Program Associate Team PRINCESS, Descrição: INRIA International program Associate Team PRINCESS 2013-2015, International collaboration between INRIA and École Polytechnique (France), University of Pennsylvania (USA), and Florida International University (USA), for research in quantitative methods for security and privacy.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (4) . , Integrantes: Mário Sérgio Ferreira Alvim Júnior - Integrante / Konstantinos Chatzikokolakis - Integrante / Catuscia Palamidessi - Coordenador / Geoffrey Smith - Integrante / Andre Scedrov - Integrante.
Prêmios
2015
NSA 3rd Annual Best Scientific Cybersecurity Paper Competition: Best Paper in 2014, National Security Agency (EUA).
2012
Best PhD. thesis in Computer Science in 2011, and finalist for the general prize including other domains, Paris Institute of Technology (ParisTech).
2000
Primeiro lugar na categoria software na XVIII Mostra Específica de Trabalhos e Aplicações (XVIII META), CEFET-MG.
Histórico profissional
Endereço profissional
Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Ciência da Computação. , Avenida Presidente Antônio Carlos, 6627, Prédio do ICEx, Departamento de Ciência da Computação, Sala 4317, Pampulha, 31270010 - Belo Horizonte, MG - Brasil, Telefone: (31) 34095860, URL da Homepage:
Experiência profissional
2013 - Atual
Universidade Federal de Minas GeraisVínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.
2007 - 2007
Universidade Federal de Minas GeraisVínculo: Professor substituto, Enquadramento Funcional: Professor substituto, Carga horária: 20
Outras informações:
Professor das disciplinas de Análise Numérica (DCC033) e Cálculo Numérico (DCC034) do Departamento de Ciência da Computação da UFMG.
2005 - 2006
Universidade Federal de Minas GeraisVínculo: Livre, Enquadramento Funcional: Pesquisador, Carga horária: 20
Outras informações:
Projeto: ?Avaliação Experimental de Técnicas de Reconstrução Tridimensional? Bolsista Fapemig/Pesquisador Descrição: Nossa equipe desenvolveu um roteiro técnico para a realização semi-automatizada de calibragem geométrica e fotométrica para um sistema multicamera composto por 12 cameras.
2005 - 2005
Universidade Federal de Minas GeraisVínculo: Livre, Enquadramento Funcional: Pesquisador
Outras informações:
Projeto: ?Predição de Rotas de Enovelamento de Proteínas Usando uma Heurística de Desenovelamento ? Resumo: Toda proteína é composta de uma estrutura primária (uma sequência de aminoácidos) que se enovela para compor um estrutura funcional tridimensional. Na tentativa de determinar se é possível prever a estrutura 3D de uma proteína dada apenas sua estrutura primária, eu implementei um programa em C para predizer o processo de desenovelamento de proteínas. O programa foi então utilizado para prever o processo reverso, ou seja, o enovelamento.
2004 - 2004
Universidade Federal de Minas GeraisVínculo: Livre, Enquadramento Funcional: Programa de Aprimoramento Discente, Carga horária: 20
Outras informações:
Projeto: ?Sistemas de Inferência Baseados em Lógica Matemática? Bolsista PAD Descrição: Desenvolvi um programa em Prolog para ordenar os termos de formulas lógicas utilizando ordens de caminho e decomposição.
2002 - 2003
Universidade Federal de Minas GeraisVínculo: Livre, Enquadramento Funcional: Iniciação Científica, Carga horária: 20
Outras informações:
Projeto: ?Lógica Matemática e a Especificação de Sistemas Lógicos Computacionais? Bolsista PIBIC/CNPq Descrição: Eu implementei um provador de teoremas em Lambda-Prolog para as lógicas clásica, intuicionista e linear. Também desenhei um provador de teoremas paramétrico com respeito à lógica utilizada.
2002 - 2002
Universidade Federal de Minas GeraisVínculo: Livre, Enquadramento Funcional: Monitor de Disciplina
Outras informações:
Disciplina: Introdução aos Sistemas Lógicos (DCC 114) Departamento de Ciência da Computação
Atividades
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Ensino, Matemática Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
Ensino, Matemática Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Algoritmos e Estruturas de Dados II
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Fundamentos de Teoria da Computação
Ensino, Sistemas de Informação, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Ensino, Matemática Computacional, Nível: Graduação,Disciplinas ministradas, Matemática Discreta
Pesquisa e desenvolvimento , Instituto de Ciências Exatas, Departamento de Ciência da Computação.,Linhas de pesquisa
Ensino, Engenharia de Controle e Automação, Nível: Graduação,Disciplinas ministradas, Análise Numérica
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico
Ensino, Matemática, Nível: Graduação,Disciplinas ministradas, Cálculo Numérico
2016 - 2016
Centre de recherche INRIA Saclay - Île-de-FranceVínculo: Professor Visitante, Enquadramento Funcional: Professor visitante., Carga horária: 40
Outras informações:
Professor visitante do Laboratoire d'Informatique de l'École Polytechnique.
2011 - 2011
Centre de recherche INRIA Saclay - Île-de-FranceVínculo: Bolsista, Enquadramento Funcional: Pesquisador temporário, Carga horária: 35, Regime: Dedicação exclusiva.
Outras informações:
Pesquisador INRIA no campus da École Polytechnique, desenvolvendo trabalho de pesuisa na área de Segurança de Computadores e Ciência da Computação Teórica.
Atividades
Pesquisa e desenvolvimento , Centre de Recherche Inria Saclay - Île-de-France - França, .,Linhas de pesquisa
2012 - 2013
University of PennsylvaniaVínculo: Pesquisador de pós-doutorado, Enquadramento Funcional: Pesquisador de pós-doutorado, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações:
Pesquisador de pós-doutorado em ciência da computação, sob a supervião do Prof. Andre Scedrov. Filiado ao Departamento de Matemática da Universidade da Pennsylvania, realizando pesquisa na área de Segurança de Computadores, Privacidade, e Ciência da Computação Teórica.
Atividades
Pesquisa e desenvolvimento , David Rittenhouse Laboratory, .,Linhas de pesquisa
2016 - 2016
Ecole PolytechniqueVínculo: Professor Visitante, Enquadramento Funcional: Professor visitante., Carga horária: 40
Outras informações:
Professor visitante do Laboratoir d'Informatique de l'École Polytechnique, França.
2000 - 2002
Centro Federal de Educação Tecnológica de Minas GeraisVínculo: Outro, Enquadramento Funcional: Pesquisador Jr. e sócio de empresa, Carga horária: 20
Outras informações:
Participei do desenvolvimento, em 2000, do software BHBUSca foi utilizado pela BHTrans (Empresa de Transporte e Trânsito de Belo Horizonte S/A) como sistema de informações aos usuários durante a implantação da Estação BHBUS Venda Nova, com um volume de 60.000 usuários/dia. Fui sócio (de 2001 a 2002) de uma empresa de tecnologia da informação na Incubadora Tecnológica de Automação Industrial e Instrumentação Médica de Belo Horizonte, ITAIM-bh, mantida pelo CEFET-MG em parceria com o SEBRAE. A empresa incubada era a Datasa Tecnologia da Informação, cujo principal produto era o BHBUSca. O processo de incubação incluiu cursos nas áreas de empreendedorismo, marketing pessoal, administração e contabilidade básicas e afins.
Atividades
Outras atividades técnico-científicas , Centro Federal de Educação Tecnológica de Minas Gerais, Centro Federal de Educação Tecnológica de Minas Gerais.,Atividade realizada, BHBUSca.
2000 - 2001
Atan Sistemas de Automação e OtimizaçãoVínculo: Outro, Enquadramento Funcional: Estagiário, Carga horária: 20
Outras informações:
Estágio em Computação Móvel e Desenvolvimento de Sistemas. O principal projeto desenvolvido foi o sistema de vendas de campo SRP (Sales Route Planning) para a CCIL (Coca-Cola do Brasil).
Atividades
Estágios , Sistemas de Automação, .,Estágio realizado, Computação Móvel e Desenvolvimento de Sistemas.
2019 - 2019
Macquarie UniversityVínculo: Professor Visitante, Enquadramento Funcional: Honorary Senior Lecturer, Carga horária: 40
Você é Mário Sérgio Ferreira Alvim Júnior?
Que tal assumir essas informações?
Basta criar uma conta no Escavador e enviar uma forma de comprovante. São três passos:
Escolha uma dentre três formas de verificação: Facebook, CPF ou Documento com Foto.
O Escavador irá analisar a sua solicitação.
As informações presentes nessa página serão transferidas para a sua página do perfil.
Depois do processo concluído, quem acessar essa página será redirecionado para seu cantinho no Escavador, seunome.escavador.com. Onde você poderá fazer a sua reputação, conhecer gente antenada, se informar e até mesmo ganhar clientes. Tudo isso de graça!
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Mário Sérgio Ferreira Alvim Júnior e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?