Ana Lúcia Caneca Cavalcanti

Ana Cavalcanti e atualmente Reader em Engenharia de Software e Coordenadora da Pós-Graduação, na University of York. Ela recebeu recentemente o Wolfson Reseach Merit Award, com vigencia de cinco anos, a partir de outubro proximo. Este e um programa da Royal Society para atrair ou reter na Gra-Bretanha cientistas de destaque. Dr Cavalcanti é reconhecida internacionalmente na área de Métodos Formais, atuando tanto em aspectos teóricos quanto em aplicações na indústria. Ela é uma das líderes do projeto da linguagem Circus, onde contribuiu com os aspectos de formalização, baaseada na UTP, e técnicas de refinamento para a linguagem, que vem ganhando aceitação crescente, tanto na academia quanto na indústria. Em 2003, ela foi contemplada com o Royal Society Industry Fellowship, para trabalhar com a empresa QinetiQ em aplicações da linguagem Circus. A inserção internacional de Ana Cavalcanti é evidenciada, dentre outras contribuições, por sua atuação como Chair do Comitê de Programa nas principais conferências da área: FM-09, ICFEM-09 e ICTAC-10, e pela publicação de mais de 100 artigos, tanto com conferências quanto em periódicos de primeira linha.

Informações coletadas do Lattes em 13/12/2014

Acadêmico

Formação acadêmica

Doutorado em D.Phil in Computing

1993 - 1997

University of Oxford
Título: A Refinement Calculus for Z
Orientador: Jim Woodcock
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Engenharia de Software; Desenvolvimento de Software; Refinamento.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.

Mestrado em Ciências da Computação

1988 - 1990

Universidade Federal de Pernambuco
Silvio Romero de Lemos Meira.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Desenvolvimento de Software; Especificacao Formal; Metodos Construtivos.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.

Graduação

1984 - 1987

Universidade Federal de Pernambuco

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Metodos Formais.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

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.

Orientou

Renata Elaine Mesel Kaufman

Modelagem e Analise de Objetos como Processos em CSP: Padrao de Projeto e Estudo de Caso; 2003; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Co-Orientador: Ana Lucia Caneca Cavalcanti;

Leonardo Jose Simoes Freitas

JACK: A Framework for Process Algebra Implementation in Java; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Co-Orientador: Ana Lucia Caneca Cavalcanti;

Marcel Vinicius Medeiros de Oliveira

ArcAngel: A Tactic Language for Refinement and Its Tool Support; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Ana Lucia Caneca Cavalcanti;

Bruno de Oliveira Lira

Automacao de Regras para a Programacao Orientada a Objetos; 2002; Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco,; Orientador: Ana Lucia Caneca Cavalcanti;

Tiago Costa Reis

Refine - Uma Ferramenta Educacional de Refinamentos; 2000; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lucia Caneca Cavalcanti;

Sandrelly Luiz Coutinho

Refine - Uma Ferramenta Educacional de Refinamentos; 2000; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lucia Caneca Cavalcanti;

Fernanda Moreira Rodrigues dos Santos

Uma Ferramenta de Refinamentos para ZRC; 2000; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lucia Caneca Cavalcanti;

Marcel Vinicius Medeiros de Oliveira

Taticas de Refinamento; 2000; Iniciação Científica; (Graduando em Bacharelado em Ciencia da Computacao) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Ana Lucia Caneca Cavalcanti;

Produções bibliográficas

  • Zeyda, Frank ; Cavalcanti, Ana . Mechanical reasoning about families of UTP theories. Science of Computer Programming (Print) , v. 77, p. 444-479, 2012.

  • Miyazawa, Alvaro ; Cavalcanti, Ana . Refinement-oriented models of Stateflow charts. Science of Computer Programming (Print) , v. 77, p. 1151-1177, 2012.

  • Zeyda, Frank ; OLIVEIRA, M. V. M. ; Cavalcanti, Ana . Mechanised support for sound refinement tactics. Formal Aspects of Computing , v. 24, p. 127-160, 2012.

  • Cavalcanti, Ana ; Gaudel, Marie-Claude . Testing for refinement in Circus. Acta Informatica , v. 48, p. 97-147, 2011.

  • Cavalcanti, Ana ; Clayton, Phil ; O Halloran, Colin . From control law diagrams to Ada via Circus. Formal Aspects of Computing , v. 23, p. 465-512, 2011.

  • Oliveira, Marcel ; Cavalcanti, Ana ; Zeyda, Frank . A tactic language for refinement of state-rich concurrent specifications. Science of Computer Programming (Print) , v. 76, p. 792-833, 2011.

  • Sherif, Adnan ; Sherif, Adnan ; Cavalcanti, Ana ; Jifeng, He ; Sampaio, Augusto ; Sampaio, Augusto ; Jifeng, He ; Cavalcanti, Ana . A process algebraic framework for specification and validation of real-time systems. Formal Aspects of Computing , v. 22, p. 153-191, 2010.

  • Cornà lio, Mà rcio ; Cavalcanti, Ana ; SAMPAIO, Augusto César Alves ; Sampaio, Augusto ; Cavalcanti, Ana . Sound refactorings. Science of Computer Programming (Print) , v. 75, p. 106-133, 2010.

  • Duran, Adolfo ; Duran, Adolfo ; Cavalcanti, Ana ; Sampaio, Augusto ; Cavalcanti, Ana ; Sampaio, Augusto . An algebraic approach to the design of compilers for object-oriented languages. Formal Aspects of Computing , v. 22, p. 489-535, 2010.

  • Oliveira, Marcel ; CAVALCANTI, A. L. C. ; WOODCOCK, J. C. P. ; Woodcock, Jim ; Cavalcanti, Ana . A UTP semantics for Circus. Formal Aspects of Computing (Internet) , v. 21, p. 3-32, 2009.

  • Oliveira, Marcel ; CAVALCANTI, A. L. C. ; WOODCOCK, J. C. P. ; Cavalcanti, Ana ; Woodcock, Jim . Unifying theories in ProofPower-Z. Formal Aspects of Computing (Internet) , v. 24, p. 125, 2007.

  • Cavalcanti, Ana ; Woodcock, Jim ; Dunne, Steve . Angelic nondeterminism in the unifying theories of programming. Formal Aspects of Computing , v. 18, p. 288-307, 2006.

  • ; Sampaio, Augusto ; Woodcock, Jim ; Woodcock, Jim ; Sampaio, Augusto . Unifying classes and processes. Software and Systems Modeling (Print) , v. 4, p. 277-296, 2005.

  • Oliveira, Marcel ; CAVALCANTI, A. L. C. ; WOODCOCK, J. C. P. ; Cavalcanti, Ana ; Woodcock, Jim . Formal development of industrial-scale systems in Circus. Innovations in Systems and Software Engineering (Print) , v. 1, p. 125-146, 2005.

  • BORBA, P ; CAVALCANTI, A. L. C. . Algebraic reasoning for object-oriented programming. Science of Computer Programming (Print) , v. 52, p. 53-100, 2004.

  • CAVALCANTI, A. L. C. ; Augusto Sampaio ; Jim Woodcock . A Refinement Strategy for Circus. Formal Aspects of Computing, 2003.

  • Marcel Oliveira ; CAVALCANTI, A. L. C. ; Jim Woodcock . ArcAngel: A Tactic Language for Refinement. Formal Aspects of Computing, v. 15, n.1, p. 28-47, 2003.

  • CAVALCANTI, A. L. C. ; Jim Woodcock . Predicate Transformers in the Semantics of Circus. IEE Proceedings, v. 150, n.1, p. 85-94, 2003.

  • CAVALCANTI, A. L. C. ; David Naumann . A Weakest Precondition Semantics for Refinement of Object-Oriented Programs. IEEE Transactions on Software Engineering, v. 26, n.8, p. 713-728, 2000.

  • CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. ; Jim Woodcock . An Inconsistency in Procedures, Parameters, and Substitution in the Refinement Calculus. Science of Computer Programming, v. 33, n.1, p. 87-96, 1999.

  • CAVALCANTI, A. L. C. ; Jim Woodcock . ZRC - A Refinement Calculus for Z. Formal Aspects of Computing, v. 10, n.3, p. 267-289, 1999.

  • CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. ; Jim Woodcock . Procedures and Recursion in the Refinement Calculus. Journal of the Brazilian Computer Society, v. 5, n.1, p. 1-15, 1998.

  • CAVALCANTI, A. L. C. ; Jim Woodcock . A Weakest Precondition Semantics for Z. The Computer Journal, v. 41, n.1, p. 1-15, 1998.

  • CAVALCANTI, A. L. C. (Org.) ; Patricia Machado (Org.) . WMF'2003: Proceedings. 1. ed. , 2003. v. 1. 227p .

  • CAVALCANTI, A. L. C. ; MEIRA, S. R. L. ; Cassio Santos . The Unix Filing System: A MooZ Specification. In: K. Lano; H. Haughton. (Org.). Object-oriented Specification Case Studies. : Prentice-Hall, 1994, v. , p. 80-109.

  • CAVALCANTI, A. L. C. ; MEIRA, S. R. L. . MooZ Case Studies. In: R. Barden; S. Stepney; D. Cooper. (Org.). Object Orientation in Z. : Springer-Verlag, 1992, v. , p. 37-58.

  • CAVALCANTI, A. L. C. . Refinamento: A Essencia da Engenharia de Software. Ciencia e Cultura, p. 33 - 38, 01 abr. 2003.

  • Miyazawa, Alvaro ; Cavalcanti, Ana . Refinement-based verification of sequential implementations of Stateflow charts. In: Refine 2011, 2011. Eletronico.

  • Zeyda, Frank ; CAVALCANTI, A. L. C. ; Andy Wellings . The Safety-critical Java Mission Model: a formal account. In: FME, 2011. FME.

  • CAVALCANTI, A. L. C. ; Gaudel, Marie-Claude . Specification Coverage for Testing in Circus. In: UTP, 2010. UTP.

  • Michael Vernon ; Zeyda, Frank ; CAVALCANTI, A. L. C. . Communication Systems in ClawZ. In: ABZ 2010, 2010. ABZ 2010.

  • CAVALCANTI, A. L. C. . A Refinement Tool for Z. In: ICFEM2003: 5th International Conference on Formal Engineering Methods, 2003, Cingapura. Proceedings of ICFEM2003: 5th International Conference on Formal Engineering Methods, 2003.

  • CAVALCANTI, A. L. C. . A Refinement Strategy for the Compilation of Classes, Inheritance, and Dynamic Binding. In: FME2003: 12th International FME Symposium, 2003, Pisa. FME2003: Formal Methods, 2003. v. 2805. p. 301-320.

  • Jim Woodcock ; CAVALCANTI, A. L. C. . The Semantics of Circus. In: ZB 2002: Formal Specification and Development in Z and B, 2002, Grenoble. Proceedings of the 2nd International Z and B Conference, 2002. v. 2272. p. 184-203.

  • CAVALCANTI, A. L. C. ; Augusto Sampaio . From CSP-OZ to Java with Processes. In: Workshop on Formal Methods for Parallel Programming, -- International Parallel and distibuted Processing Symposium, 2002. Workshop on Formal Methods for Parallel Programming, -- International Parallel and distibuted Processing Symposium, 2002.

  • Adnan Sheriff ; CAVALCANTI, A. L. C. ; Hermano Moura . An Action Semantics for Timed CSPm. In: 6th Brazilian Symposium on Programming Languages, 2002. 6th Brazilian Symposium on Programming Languages, 2002. p. 100-113.

  • CAVALCANTI, A. L. C. ; David Naumann . On a Specification-oriented Model for Object-orientation. In: 6th Brazilian Symposium on Programming Languages, 2002. 6th Brazilian Symposium on Programming Languages, 2002. p. 114-127.

  • Marcio Cornelio ; CAVALCANTI, A. L. C. ; Augusto Sampaio . Refactoring by Transformation. In: REFINE' 2002, 2002, Copenhagen. REFINE'2002, 2002.

  • CAVALCANTI, A. L. C. ; Augusto Sampaio ; Jim Woodcock . Refinement of Actions in Circus. In: REFINE'02, 2002, Copenhagen. REFINE'02, 2002.

  • CAVALCANTI, A. L. C. ; David Naumann . Forward Simulation for Data Refinement of Classes. In: Formal Methods Europe - FME'2002, 2002, Copenhagen. FME 2002: Formal Methods - Gettin IT Right, 2002. v. 2391. p. 471-490.

  • Augusto Sampaio ; Jim Woodcock ; CAVALCANTI, A. L. C. . Refinement in Circus. In: Formal Methods Europe - FME'2002, 2002, Copenhagen. FME 2002: Formal Methods - Gettin IT Right, 2002. v. 2391. p. 451-470.

  • CAVALCANTI, A. L. C. ; Jim Woodcock . A Weakest Precondition Semantics for Circus. In: Communicating Processing Architectures 2002, 2002, Reading. Communicating Processing Architectures 2002, 2002. p. 147-166.

  • Adolfo Duran ; Augusto Sampaio ; CAVALCANTI, A. L. C. . Refinement Algebra for Formal Bytecode Generation. In: 4th International Conference on Formal Engineering Methods - ICFEM 2002, 2002, Shangai. Formal Methods and Software Engineering, 2002. v. 2495. p. 347-358.

  • Leonardo Freitas ; Augusto Sampaio ; CAVALCANTI, A. L. C. . JACK: A Framework for Process Algebra Implementation. In: 16th Brazilian Symposium on Software Engineering, 2002, Gramado. 16th Brazilian Symposium on Software Engineering, 2002. p. 98-113.

  • Bruno Oliveira ; CAVALCANTI, A. L. C. ; Augusto Sampaio . Automation of a Normal Form Reduction Strategy for Object-oriented Programming. In: 5th Brazilian Workshop on Formal Methods, 2002, Gramado. 5th Brazilian Workshop on Formal Methods, 2002. p. 193-208.

  • Jim Woodcock ; CAVALCANTI, A. L. C. . A Concurrent Language for Refinement. In: 5th Irish Workshop in Formal Methods, 2001, Dublin. 5th Irish Workshop in Formal Methods, 2001.

  • Leonardo Freitas ; CAVALCANTI, A. L. C. ; Hermano Moura . Animating CSP(M) Using Action Semantics. In: 4th Brazilian Workshop on Formal Methods, 2001, Rio de Janeiro. Proceedings of 4th Brazilian Workshop on Formal Methods, 2001.

  • Jim Woodcock ; CAVALCANTI, A. L. C. . The steam boiler in a unifed theory of Z and CSP. In: 8th Asia-Pacific Software Engineering Conference, 2001, Macau. Proceedings of the 8th Asia-Pacific Software Engineering Conference, 2001. p. 291-298.

  • Adolfo Duran ; SAMPAIO, A. C. A. ; CAVALCANTI, A. L. C. . Formal Bytecode Generation for a ROOL Virtual Machine. In: 4th Brazilian Workshop onFormal Methods, 2001, Rio de Janeiro. Proceedings of the 4th Brazilian Workshop onFormal Methods. Rio de Janeiro, 2001.

  • MENESES, L. ; SOARES, S. ; MENESES, J. ; Hermano Moura ; CAVALCANTI, A. L. C. . A Framework for Defining Object-oriented Languages Using Action Semantics. In: IV Simpósio Brasileiro de Linguagens de Programação, 2000, Recife. IV Simpósio Brasileiro de Linguagens de Programação, 2000. p. 172-185.

  • Marcel Oliveira ; CAVALCANTI, A. L. C. . Tactics of Refinement. In: 14th Brazilian Symposium on Software Engineering, 2000, João Pessoa. 14th Brazilian Symposium on Software Engineering, 2000. p. 117-132.

  • CAVALCANTI, A. L. C. ; David Naumann . A Weakest Precondition Semantics for an Object-oriented Language of Refinement. In: FM'99: World Congress on Formal Methods, 1999, Toulouse. FM'99: World Congress on Formal Methods, 1999. v. 1709. p. 1439-1459.

  • MEIRA, S. R. L. ; CAVALCANTI, A. L. C. . Modular Object-oriented Z Specifications. In: Z User Workshop, 1990, Oxford - UK. Z User Workshop, 1990. p. 173-192.

  • CAVALCANTI, A. L. C. ; MEIRA, S. R. L. . Modelos Denotacionais de Sistemas de Software. In: IX Congresso da Sociedade Brasileira de Computacao, 1989, Uberlandia - MG. IX Congresso da Sociedade Brasileira de Computacao. UBERLANDIA-MG, 1989. p. 187-204.

  • J. Kelner ; CAVALCANTI, A. L. C. ; PARDO, A. R. C. . Linda:Uma Linguagem Para Autoria Automatica de Hipertexto. In: III Simposio Brasileiro de Engenharia de Software, 1989, Recife - PE. III Simposio Brasileiro de Engenharia de Software. Recife-PE, 1989. p. 124-136.

  • CAVALCANTI, A. L. C. ; Danilo Florissi ; Patricia Soares ; Tania Melo . Implementacao de uma Linguagem Relacional em Microcomputadores. In: VII Congresso da Sociedade Brasileira de Computacao, 1987, Salvador - BA. VII Congresso da Sociedade Brasileira de Computacao. SALVADOR-BA, 1987. p. 441-451.

  • CAVALCANTI, A. L. C. ; David Naumann . Class Refinement for Sequential Java. In: ECOOP 2001 Workshop on Formal Techniques for Java Programs, 2001, Budapeste. Formal Techniques for Java Programs, 2001.

  • CAVALCANTI, A. L. C. ; David Naumann . Simulation and Class Refinement for Java. In: ECOOP 2000 Workshop on Formal Techniques for Java Programs, 2000, Sophia Antipolis and Cannes. Formal Techniques for Java Programs, 2000.

  • Sandrelly Coutinho ; Tiago Reis ; CAVALCANTI, A. L. C. . Uma Ferramenta Educacional para Refinamentos. In: XIII Simposio Brasileiro de Engenharia de Software - Sessao de Ferramentas, 1999, Florianopolis. XIII Simposio Brasileiro de Engenharia de Software, 1999.

  • Geber Ramalho ; Flavio Barros ; Sergio Cavalcante ; CAVALCANTI, A. L. C. ; Manoel Lima ; Hermano Moura ; MEIRA, S. R. L. ; Alexandre Vasconcelos . Cyber Rally: An Experience of Democratic Use of the Internet. In: Human-Computer Interaction: Communication, Cooperation, and Application Design, 1999, Munique. Human-Computer Interaction: Communication, Cooperation, and Application Design, 1999. v. 2. p. 402-406.

Outras produções

CAVALCANTI, A. L. C. ; Sandrelly Coutinho ; Tiago Reis . REFINE - Uma Ferramenta Educacional para Refinamentos. 1999. (Desenvolvimento de material didático ou instrucional - Ferramenta de software).

CAVALCANTI, A. L. C. . Orientacao de Iniciacao Cientifica em Andamento: Uma Ferramenta Semantica para um Calculo de Refinamentos Concorrente. 2001 (Orientacao de Iniciacao Cientifica em Andamento) .

CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. . Orientacao de Doutorado em Andamento: Um Calculo de Refinamentos para Sistemas de Tempo-real. 2001 (Orientacao de Doutorado em Andamento) .

CAVALCANTI, A. L. C. . Orientacao de Mestrado em Andamento: Uma Ferramenta de Taticas de Refinamento. 2001 (Orientacao de Mestrado em Andamento) .

CAVALCANTI, A. L. C. . Pariticipacao em Comite de Programa: XV Simposio Brasiliero de Engenharia de Software. 2001 (Participacao em Comite de Programa) .

CAVALCANTI, A. L. C. . Participacao em Comite de Programa: IV Workshop de Metodos Formais. 2001 (Participacao em Comite de Programa) .

CAVALCANTI, A. L. C. . Vice-coordenacao da Pos-graduacao. 2001 (Administrativa) .

CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. . Orientação de Doutorado em Andamento: Abordagem Algébrica para o Projeto de Compiladores para Linguagens Orientadas a Objetos. 2000 (Orientacao de Doutorado em Andamento) .

CAVALCANTI, A. L. C. . Participação em Comitê de Programa: XIV Simpósio Brasileiro de Engenharia de Software. 2000 (Participação em Comitê de Programa) .

CAVALCANTI, A. L. C. . Participação na Banca de Defesa de Tese de Doutorado de Leila Silva. 2000 (Participaçao em Banca Examinadora) .

CAVALCANTI, A. L. C. . Participação na Banca de Defesa de Dissertação de Mestrado de Juliano Iyoda. 2000 (Participaçao em Banca Examinadora) .

CAVALCANTI, A. L. C. . Orientacao de Iniciacao Cientifica em Andamento: Gerenciamento de Refinamentos. 2000 (Orientacao de Iniciacao Cientifica em Andamento) .

CAVALCANTI, A. L. C. . Orientacao de Iniciacao Cientifica em Andamento: Uma Ferramenta de Refinamentos para ZRC. 2000 (Orientacao de Iniciacao Cientifica em Andamento) .

CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. . Orientacao de Mestrado em Andamento: Uma Ferramenta Algebrica para Transformacao de Programas Orientados a Objetos. 2000 (Orientacao de Mestrado em Andamento) .

CAVALCANTI, A. L. C. . Orientacao de Mestrado em Andamento: Formalizacao e Refinamento de um Protocolo de Saude. 2000 (Orientacao de Mestrado em Andamento) .

CAVALCANTI, A. L. C. . Participação em Comitê de Programa: ICECCS 2000 - Sixth IEEE International Conference on Engineering of Complex Computer Systems. 1999 (Participação em Comitê de Programa) .

CAVALCANTI, A. L. C. ; SAMPAIO, A. C. A. . Orientacao de Doutorado em Andamento: Um Calculo de Refinamentos para uma Linguagem Orientada a Objetos. 1999 (Orientacao de Doutorado em Andamento) .

CAVALCANTI, A. L. C. . Participação na Banca de Defesa de Dissertação de Mestrado de Márcio Lopes. 1999 (Participaçao em Banca Examinadora) .

Prêmios

2012

Wolfson Research Merit Award, Royal Society.

2003

Industry Fellowship, Royal Society.

1987

III PREMIO DO VI CONCURSO DE TRABALHOS DE INICIACAO CIENTIFICA (CTIC), SOCIEDADE BRASILEIRA DE COMPUTACAO (SBC).

Histórico profissional

Endereço profissional

  • University of York. , Department of Computer Science, York, - Grã-Bretanha

Experiência profissional

2004 - Atual

University of York

Vínculo: Professora, Enquadramento Funcional: Reader, Regime: Dedicação exclusiva.

2002 - 2005

University of Kent

Vínculo: Professora, Enquadramento Funcional: Professora, Regime: Dedicação exclusiva.

1990 - 1997

Instituto de Tecnologia de Pernambuco

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Tecnico Superior - Analista de Sistema, Regime: Dedicação exclusiva.

Outras informações:
No periodo de Setembro de 1990 a Agosto de 1993, como parte de minhas atividades de pesquisa dentro do ITEP, atuei com colaboradora do Departamento de Informatica da UFPE. No periodo de Setembro de 1993 a Agosto de 1997, estava de licenca para curar o doutorado na Universidade de Oxford, Inglaterra.

Atividades

  • 09/1990 - 08/1993

    Pesquisa e desenvolvimento .,Linhas de pesquisa

1990 - 1993

Universidade Federal de Pernambuco

Vínculo: Colaborador, Enquadramento Funcional: Assistente de Ensino e Pesquisa, Carga horária: 8

Outras informações:
Neste periodo eu ministrei disciplinas do curso de pos-graduacao em Ciencia da Computacao. Alem disso, eu colaborei com o Grupo de Linguagens e Engenharia de Software dentro do contexto do projeto de uma linguagem de especificacao orientada a objetos, MooZ, e de sua ferramenta de suporte.

Atividades

  • 07/2000

    Pesquisa e desenvolvimento , Centro de Informática, .,Linhas de pesquisa

  • 08/1999

    Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa

  • 09/1997

    Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa

  • 02/2002 - 04/2002

    Ensino, Bacharelado em Ciencia da Computacao, Nível: Graduação,Disciplinas ministradas, Calculo de Programas

  • 02/2002 - 04/2002

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Trabalho Individual em Engenharia de Software, Semantica de Linguagens de Programacao

  • 01/1998 - 04/2002

    Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Cargo ou função, Membro da Comissao de Pos-graduacao.

  • 11/2001 - 12/2001

    Direção e administração, Centro de Informática, .,Cargo ou função, Presidente da Comissao de Selecao do Mestrado.

  • 08/2000 - 04/2001

    Direção e administração, Centro de Informática, .,Cargo ou função, Vice-coordenadora da pos-graduacao.

  • 08/2000 - 01/2001

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Trabalho Individual em Engenharia de Software, Semantica de Linguagens de Programacao

  • 07/2000 - 01/2001

    Ensino,,Disciplinas ministradas, Trabalho Individual em Engenharia de Software, Semantica de Linguagens de Programacao, Calculo de Programas

  • 12/2000 - 12/2000

    Direção e administração, Centro de Informática, .,Cargo ou função, Presidente da Comissao de Selecao do Mestrado.

  • 08/1999 - 12/2000

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Topicos Avancados em Linguagens de Programacao 1

  • 03/2000 - 07/2000

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software, Semântica de Linguagens de Programação, Trabalho Individual em Engenharia de Software

  • 02/2000 - 06/2000

    Ensino,,Disciplinas ministradas, Cálculo de Programas, Trabalho de Graduação em Engenharia de Software

  • 12/1999 - 12/1999

    Direção e administração, Centro de Informática, .,Cargo ou função, Presidente da Comissão de Seleção do Mestrado.

  • 08/1999 - 12/1999

    Ensino,,Disciplinas ministradas, Calculo de Programas, Teoria das Provas

  • 03/1999 - 07/1999

    Ensino,,Disciplinas ministradas, Calculo de Programas

  • 03/1999 - 07/1999

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Engenharia de Software

  • 10/1998 - 02/1999

    Ensino,,Disciplinas ministradas, Calculo de Programas

  • 12/1998 - 12/1998

    Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Cargo ou função, Presidente da Comissão de Selecao do Mestrado.

  • 09/1998 - 12/1998

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Topicos Avancados em Linguagens de Programacao 1

  • 03/1998 - 09/1998

    Ensino,,Disciplinas ministradas, Calculo de Programas

  • 12/1997 - 12/1997

    Direção e administração, Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Cargo ou função, Membro de Comissão de Selecao do Mestrado e Doutorado.

  • 09/1997 - 12/1997

    Ensino,,Disciplinas ministradas, Calculo de Programas

  • 09/1990 - 08/1993

    Pesquisa e desenvolvimento , Centro de Ciências Exatas e da Natureza, Departamento de Informática.,Linhas de pesquisa

  • 09/1990 - 12/1992

    Ensino, Ciências da Computação, Nível: Pós-Graduação,Disciplinas ministradas, Especificacao Formal, Tecnica de Programacao Avancada

Criando um monitoramento

Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Ana Lúcia Caneca Cavalcanti e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

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

Para criar um monitoramento é preciso estar cadastrado

continuar

15 segundos

para se cadastrar

+ de 900 mil

usuários cadastrados

Confirma a exclusão?