Christiano de Oliveira Braga

Possui graduação em Engenharia de Computação (1992), Mestrado (1996) e Doutorado (2001) em Informática pela Pontifícia Universidade Católica do Rio de Janeiro. Durante seu doutoramento, foi International Fellow (1998-2000) no Computer Science Laboratory do Stanford Research Institute (SRI International). Desenvolveu pesquisa pós-doutoral na University of Illinois at Urbana-Champaign (2002), Universidad Complutense de Madrid, no grupo UCMaude de pesquisa em lógica de reescrita (2006-2008) e na PUC-Rio (2016). Coordenou o comitê de programa do Simpósio Brasileiro de Linguagens de Programação em 2011, do Simpósio Brasileiro de Métodos Formais em 2014 e o Formal Aspects of Component Software em 2015.
Atuou e atua em importantes conferências internacionais e nacionais como International Colloquium on Theoretical Computer Science, Formal Aspects of Component Software, Simpósio Brasileiro de Linguagens de Programação e Simpósio Brasileiro de Métodos Formais. Contribui a periódicos e conferências internacionais como Logic Journal of the IGPL, Journal of Systems and Software, Science of Computer Programming, Information and Software Technology, Mathematical Reviews, Theoretical Computer Science e Algebraic Methodology and Software Technology.
Atualmente é Professor Associado da Universidade Federal Fluminense, coordenador do Theoretical Computer Science research group da UFF, pesquisador colaborador do grupo de pesquisa Formal Analysis and Design of Software Systems (FADoSS), da Universidad Complutense de Madrid, pesquisador colaborador do grupo de pesquisa TecMF da PUC-Rio, e pesquisador do Laboratório de Métodos Formais, Inteligência Artificial e Lógica em Ciência da Computação da UFF (FR∀M∃ Lab). Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas. Seus interesses em pesquisa incluem métodos formais, semântica de linguagens de programação e lógica aplicada à Ciência da Computação.

Quer entrar em contato? Fale com a Assessoria de Imprensa da UFF

Publicações

Revista: Expert Systems with Applications
Título Anoordem crescente doi Idioma
AutoRefactoring: A platform to build refactoring agents 2015 10.1016/j.eswa.2014.09.022 Inglês
Revista: Science of Computer Programming (Print)
Título Anoordem crescente doi Idioma
A Rewriting Logic Semantics for NCL 2015 10.1016/j.scico.2015.04.006 Inglês
Consistency of model transformation contracts 2014 10.1016/j.scico.2013.08.013 Inglês
Revista: IET Software (Print)
Título Anoordem crescente doi Idioma
Transformation contracts in practice 2012 10.1049/iet-sen.2011.0013 Inglês
Revista: Software and Systems Modeling (Print)
Título Anoordem crescente doi Idioma
A transformation contract to generate aspects from access control policies 2011 10.1007/s10270-010-0156-x Inglês
Revista: Innovations in Systems and Software Engineering (Print)
Título Anoordem crescente doi Idioma
Lightweight Analysis of Access Control Models with Description Logic 2010 10.1007/s11334-009-0107-2 Inglês
Revista: Electronic Notes in Theoretical Computer Science
Título Anoordem crescente doi Idioma
A Formal Semantics for a Quality of Service Contract Language 2009 10.1016/j.entcs.2009.03.029 Inglês
Modular Structural Operational Semantics with Strategies? 2007 10.1016/j.entcs.2006.10.024 Inglês
Maude MSOS Tool 2007 10.1016/j.entcs.2007.06.012 Inglês
Modular Rewriting Semantics in Practice 2005 10.1016/j.entcs.2004.06.019 Inglês
A Rewriting Semantics for a Software Architecture Description Language 2005 10.1016/j.entcs.2005.03.018 Inglês
Towards a Rewriting Semantics for a Software Architecture Description Language 2004 10.1016/j.entcs.2004.04.010 Inglês
Revista: Journal of Universal Computer Science (Online)
Título Anoordem crescente doi Idioma
A Modular Rewriting Semantics for CML 2004 10.3217/jucs-010-07-0789 Inglês
Revista: IEE Proceedings. Software
Título Anoordem crescente doi Idioma
Using domain specific languages to instantiate object-oriented frameworks 2000 10.1049/ip-sen:20000791 Inglês
Revista: Journal of Software Maintenance and Evolution: Research and Practice
Título Anoordem crescente doi Idioma
Documentu: A flexible architecture for documentation production based on a reverse-engineering strategy 1998 10.1002/(SICI)1096-908X(199807/08)10:4<279::AID-SMR174>3.0.CO;2-Z Inglês