Francisco Figueiredo Goytacaz Sant'Anna

  • Endereço para acessar este CV: http://lattes.cnpq.br/0077491494754494
  • Última atualização do currículo em 19/11/2018


Professor adjunto de Ciência da Computação na UERJ. Doutor em Ciência da Computação pela PUC-Rio. Tem interesse em Linguagens de Programação, Modelos de Concorrência, Sistemas Distribuídos, e Sistemas Embarcados. Atualmente, pesquisa e desenvolve a Linguagem de Programação Céu, que explora o modelo de concorrência síncrono e reativo com o foco em sistemas embarcados. http://www.ceu-lang.org/ (Texto informado pelo autor)


Identificação


Nome
Francisco Figueiredo Goytacaz Sant'Anna
Nome em citações bibliográficas
Sant'Anna, Francisco;SANT'ANNA, FRANCISCO;SANT' ANNA, FRANCISCO;SANT?ANNA, FRANCISCO;SANTANNA, FRANCISCO


Formação acadêmica/titulação


2009 - 2013
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: Safe System-level Concurrency on Resource-Constrained Nodes with Céu, Ano de obtenção: 2013.
Orientador: Roberto Ierusalimschy.
Coorientador: Noemi de La Roque Rodriguez.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
2007 - 2009
Mestrado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Título: A Synchronous Reactive Language based on Implicit Invocation,Ano de Obtenção: 2009.
Orientador: Roberto Ierusalimschy.
Bolsista do(a): Financiadora de Estudos e Projetos, FINEP, Brasil.
Palavras-chave: programming languages; reactive programming.
Grande área: Ciências Exatas e da Terra
1999 - 2003
Graduação em Engenharia de Computação.
Pontifíca Universidade Católica (PUC-RJ), PUC-RJ, Brasil.
Título: DigiMaker, um simulador de circuitos digitais.
Orientador: Roberto Ierusalimschy.


Pós-doutorado


2013
Pós-Doutorado.
Pontifíca Universidade Católica (PUC-RJ), PUC-RJ, Brasil.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.


Atuação Profissional



Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Vínculo institucional

2016 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

05/2018 - Atual
Pesquisa e desenvolvimento , Centro de Tecnologia e Ciências, Programa de Pós-Graduação em Engenharia Eletrônica (PEL).

03/2016 - Atual
Pesquisa e desenvolvimento , Centro de Tecnologia e Ciências, Instituto de Matemática e Estatística.


Wiz Technologies, WIZ, Brasil.
Vínculo institucional

2004 - 2007
Vínculo: Celetista formal, Enquadramento Funcional: Engenheiro de Software, Carga horária: 40, Regime: Dedicação exclusiva.
Outras informações
Desenvolvimento de Jogos e Aplicativos para celulares



Linhas de pesquisa


1.
Sistemas Embarcados
2.
Sistemas Distribuídos
3.
Linguagens de Programação
4.
Modelos de Concorrência
5.
Redes e Sistemas Distribuídos


Projetos de pesquisa


2018 - Atual
Energy Efficiency for IoT Software in the Large
Descrição: This research project aims to address the software challenges, as determined by IEA, towards an energy-efficient IoT: (a) to ensure that devices power down to lowest possible consumption modes, (b) and that they remain there for longest possible periods of time. We propose to investigate transparent mechanisms in a programming language that ensure deep and long periods of standby, meaning that all programs ever written in this language would benefit from low-power modes automatically, without extra programming efforts..
Situação: Em andamento; Natureza: Pesquisa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Concorrentes.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas Reativos.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Pouco, Fala Pouco, Lê Pouco, Escreve Pouco.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
SANT'ANNA, FRANCISCO2017 SANT'ANNA, FRANCISCO; IERUSALIMSCHY, ROBERTO ; RODRIGUEZ, NOEMI ; ROSSETTO, SILVANA ; BRANCO, ADRIANO . The Design and Implementation of the Synchronous Language C éU. ACM Transactions on Embedded Computing Systems, v. 16, p. 1-26, 2017.

2.
BRANCO, ADRIANO2015BRANCO, ADRIANO ; SANT?ANNA, FRANCISCO ; IERUSALIMSCHY, ROBERTO ; RODRIGUEZ, NOEMI ; ROSSETTO, SILVANA . Terra. ACM Transactions on Sensor Networks, v. 11, p. 1-27, 2015.

Capítulos de livros publicados
1.
Sant'Anna, Francisco; SOARES NETO, C. S. . Programando com Objetos NCLua. Programando em NCL. 0ed.: , 2009, v. , p. 0-.

2.
Sant'Anna, Francisco; SOARES NETO, C. S. ; AZEVEDO, R. G. A. ; BARBOSA, S. D. J. . Desenvolvimento de Aplicações Híbridas para TV Digital Interativa no Middleware Ginga. Minicursos XV Webmedia. : , 2009, v. , p. -.

Trabalhos completos publicados em anais de congressos
1.
SANTOS, RODRIGO C. M. ; LIMA, GUILHERME F. ; SANT'ANNA, FRANCISCO ; IERUSALIMSCHY, ROBERTO ; HAEUSLER, EDWARD H. . A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. In: the 19th ACM SIGPLAN/SIGBED International Conference, 2018, Philadelphia. Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2018. New York: ACM Press, 2018. p. 1.

2.
SANT'ANNA, FRANCISCO. Structured Synchronous Reactive Programming for Game Development - Case Study: On Rewriting Pingus from C++ to Céu. In: SBGames - Simpósio Brasileiro de Jogos e Entretenimento Digital, 2018, Foz do Iguaçu. SBGames'18, 2018.

3.
SANTOS, RODRIGO C.M. ; LIMA, GUILHERME F. ; SANT'ANNA, FRANCISCO ; RODRIGUEZ, NOEMI . CÉU-MEDIA. In: the 22nd Brazilian Symposium, 2016, Teresina. Proceedings of the 22nd Brazilian Symposium on Multimedia and the Web - Webmedia '16, 2016. p. 143.

4.
SANTOS, RODRIGO C. M. ; SANTANNA, FRANCISCO ; MORENO, MARCIO F. ; RODRIGUEZ, NOEMI ; CERQUEIRA, RENATO . Cognitive Computing Systems in Reactive Multimedia Applications Developed in CÉU. In: 2016 IEEE International Symposium on Multimedia (ISM), 2016, San Jose. 2016 IEEE International Symposium on Multimedia (ISM), 2016. p. 661.

5.
SANT' ANNA, FRANCISCO; IERUSALIMSCHY, ROBERTO ; RODRIGUEZ, NOEMI . Structured synchronous reactive programming with Cýu. In: the 14th International Conference, 2015, Fort Collins. Proceedings of the 14th International Conference on Modularity - MODULARITY 2015, 2015. p. 29.

6.
SANT'ANNA, FRANCISCO; RODRIGUEZ, NOEMI ; IERUSALIMSCHY, ROBERTO ; LANDSIEDEL, OLAF ; TSIGAS, PHILIPPAS . Safe system-level concurrency on resource-constrained nodes. In: the 11th ACM Conference, 2013, Roma. Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems - SenSys '13, 2013. p. 1.

7.
Sant'Anna, Francisco; IERUSALIMSCHY, R. . LuaGravity: a Reactive Language based on Implicit Invocation. In: Brazilian Symposium on Programming Languages, 2009, Gramado/RS. Proceedings of the XIII Brazilian Symposium on Programming Languages, 2009.

8.
SOARES, LUIZ FERNANDO GOMES ; MORENO, MARCELO FERREIRA ; SANT'ANNA, FRANCISCO . Relating declarative hypermedia objects and imperative objects through the NCL glue language. In: the 9th ACM symposium, 2009, Munich. Proceedings of the 9th ACM symposium on Document engineering - DocEng '09. New York: ACM Press. p. 222.

9.
SANT'ANNA, FRANCISCO; CERQUEIRA, RENATO ; SOARES, LUIZ FERNANDO GOMES . NCLua. In: the 14th Brazilian Symposium, 2008, Vila Velha. Proceedings of the 14th Brazilian Symposium on Multimedia and the Web - WebMedia '08. New York: ACM Press. p. 83.

Resumos expandidos publicados em anais de congressos
1.
SANT'ANNA, FRANCISCO; SZTAJNBERG, ALEXANDRE ; DE MOURA, ANA LÚCIA ; RODRIGUES, NOEMI . Transparent standby for low-Power, resource-constrained embedded systems: a programming language-based approach (short WIP paper). In: the 19th ACM SIGPLAN/SIGBED International Conference, 2018, Philadelphia. Proceedings of the 19th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2018. New York: ACM Press, 2018. p. 94.

Apresentações de Trabalho
1.
SANT'ANNA, FRANCISCO; SZTAJNBERG, ALEXANDRE . Where do Events Come From?. 2018. (Apresentação de Trabalho/Conferência ou palestra).

2.
SANT?ANNA, FRANCISCO; MUHAMMAD, H. ; HINES, J. . Reactive Traversal of Recursive Data Types. 2015. (Apresentação de Trabalho/Congresso).

3.
Sant'Anna, Francisco. Structured Reactive Programming with Céu. 2014. (Apresentação de Trabalho/Congresso).

4.
Sant'Anna, Francisco. Advanced Control Reactivity for Embedded Systems. 2013. (Apresentação de Trabalho/Congresso).

5.
Sant'Anna, Francisco. Céu: A Reactive Language for Wireless Sensor Networks. 2011. (Apresentação de Trabalho/Conferência ou palestra).

6.
Sant'Anna, Francisco. LuaGravity: A reactive language. 2009. (Apresentação de Trabalho/Congresso).

7.
Sant'Anna, Francisco. Aplicações interativas para a TV digital brasileira. 2009. (Apresentação de Trabalho/Congresso).


Produção técnica
Programas de computador sem registro
1.
Sant'Anna, Francisco. Linguagem de Programação Céu (http://ceu-lang.org/). 2011.



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Sant'Anna, Francisco. Participação em banca de Marcelo Arza Lobo. Disseminação de código em rede de sensores sem fio com economia de energia. 2015. Dissertação (Mestrado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Teses de doutorado
1.
SANT'ANNA, FRANCISCO. Participação em banca de Rodrigo Costa Mesquita Santos. A GALS Approach for Pogramming Distributed Interactive Multimedia Applications. 2018. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
Sant'Anna, Francisco. Participação em banca de Adriano Francisco Branco. Terra: Flexibility and safety in Wireless Sensor Networks. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
Sant'Anna, Francisco. Participação em banca de André Murbach Maidl. Typed Lua: An Optional Type System for Lua. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
Sant'Anna, Francisco. Participação em banca de Alexandre Rupert Arpini Skyrme. Safe Record Sharing in Dynamic Programming Languages. 2015. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
Sant'Anna, Francisco. Participação em banca de Guilherme Simas.Aplicação em Sistemas Distribuídos utilizando biblioteca e driver próprios, baseados em interrupções desenvolvido em Céu para o microcontrolador Arduino. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

2.
Sant'Anna, Francisco. Participação em banca de Roberto Gonçalves Pacheco.Implementação de Computação em Névoa em um Sistema Móvel de Sensoriamento Urbano. 2018. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade do Estado do Rio de Janeiro.

3.
Sant'Anna, Francisco. Participação em banca de Thiago Duarte Naves.Um ambiente reativo e extensível para sistemas embarcados. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
Sant'Anna, Francisco. Participação em banca de Carlos Mattoso.Desenvolvimento de Controlador de Experimentos OMF em Céu. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.




Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
ANNY CAROLINE CORREA CHAGAS. Um Ambiente de Programação para Educação em Internet das Coisas. Início: 2018. Dissertação (Mestrado em Engenharia Eletrônica) - Universidade do Estado do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Orientador).




Página gerada pelo Sistema Currículo Lattes em 19/12/2018 às 3:18:22