Currículo do Sistema de Currículos Lattes (Carlile Campos Lavor)

Dados pessoais

Nome	Carlile Campos Lavor
Nome em citações bibliográficas	LAVOR, C.
Sexo	Masculino

Endereço profissional

Universidade Estadual de Campinas, Instituto de Matemática Estatística e Ciência da Computação.
Cidade Universitária Zeferino Vaz
Barão Geraldo
13081-970 - Campinas, SP - Brasil
Telefone: (19) 92347445 Fax: (19) 32895766
URL da Homepage: http://

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

2006	Livre-docência. Universidade Estadual de Campinas, UNICAMP, Brasil. Título: Partições e Combinatória, Ano de obtenção: 2006.

2008 - 2009

Pós-Doutorado .
Ecole Polytechnique - Paris.
Bolsista do(a): Ecole Polytechnique - Paris .

2003 - 2003

Pós-Doutorado .
Laboratório Nacional de Computação Científica, LNCC, Brasil.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Computação Quântica.

1997 - 2001

Doutorado em Engenharia de Sistemas e Computação .
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Uma abordagem determinística para a minimização global da energia potencial de moléculas, Ano de Obtenção: 2001.
Orientador:

Nelson Maculan Filho.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico ,CNPq ,Brasil .
Palavras-chave: Otimização Global; Branch and Bound; Aritmética Intervalar.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Otimização de Geometria Molecular.

1992 - 1996

Graduação em Matemática .
Universidade Estadual de Campinas, UNICAMP, Brasil.

Atuação profissional

Institut Pasteur, PASTEUR, França.

Vínculo institucional

2010 - 2010

Vínculo: Professor vistante, Enquadramento Funcional: Professor Visitante

Universidade Estadual de Campinas, UNICAMP, Brasil.

Vínculo institucional

2005 - Atual

Vínculo: Servidor Público, Enquadramento Funcional: Professor Associado (MS-5), Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

03/2012 - Atual	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Complementos de Matemática

05/2011 - Atual	Direção e administração, Instituto de Matemática Estatística e Ciência da Computação, .
	Cargo ou função Vice-Chefe do Departamento de Matemática Aplicada.

08/2007 - Atual

Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .

07/2005 - Atual	Pesquisa e desenvolvimento , Instituto de Matemática Estatística e Ciência da Computação, .
	Linhas de pesquisa Computação e Informação Quântica Otimização de Geometria Molecular

2012 - 2014	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Modelagem computacional para o cálculo de estruturas de proteínas através de dados de RMN

2011 - 2013	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Uma abordagem combinatória para o cálculo de estruturas de proteínas

2009 - 2013	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Otimização de geometria molecular aplicada ao cálculo de estrutura de proteínas

2008 - 2013	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa INCT de Informação Quântica

08/2011 - 12/2011	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Matemática Discreta

08/2011 - 12/2011	Ensino, Matemática Aplicada, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Matemática Aplicada

03/2011 - 07/2011	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Geometria Analítica e Vetores

03/2011 - 07/2011	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Complementos de Matemática

06/2007 - 05/2011	Conselhos, Comissões e Consultoria, Instituto de Matemática Estatística e Ciência da Computação, .
	Cargo ou função Membro da Sub-comissão de Pós-graduação do Departamento de Matemática Aplicada.

2010 - 2011	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Problemas de geometria molecular: uma abordagem combinatória

2009 - 2011	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Métodos combinatórios para o cálculo de estruturas de proteínas através de dados de RMN

2008 - 2011	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Métodos de otimização para problemas em conformação de proteínas e informação quântica

03/2010 - 07/2010	Ensino, Matemática Aplicada, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Matemática Aplicada

03/2010 - 07/2010	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Fundamentos da Matemática

2007 - 2010	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Emaranhamento e capacidade de canais quânticos

08/2009 - 12/2009	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Cálculo I

08/2009 - 12/2009	Ensino, Matemática Aplicada, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Matemática Aplicada

03/2009 - 07/2009	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Fundamentos da Matemática

03/2009 - 07/2009	Ensino, Física, Nível: Graduação.
	Disciplinas ministradas Complementos de Matemática

2008 - 2009	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Cálculo de estruturas de proteínas através de dados de ressonância magnética nuclear

2007 - 2009	Atividades de Participação em Projeto, Instituto de Matemática Estatística e Ciência da Computação, .
	Projetos de pesquisa Algoritmos para o cálculo de geometria molecular e de capacidade de canais quânticos

08/2007 - 12/2007	Ensino, Engenharia Mecatrônica, Nível: Graduação.
	Disciplinas ministradas Álgebra Linear

10/2005 - 12/2007	Conselhos, Comissões e Consultoria, Instituto de Matemática Estatística e Ciência da Computação, Departamento de Matemática Aplicada.
	Cargo ou função Membro da Comissão de Pós-graduação do Mestrado Profissional em Matemática.

03/2007 - 07/2007	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Fundamentos da Matemática

08/2006 - 12/2006	Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação.
	Disciplinas ministradas Matemática Discreta

03/2006 - 07/2006	Ensino, Matemática Aplicada, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Matemática Aplicada (Introdução à Teoria da Computação e Informação Quântica)

03/2006 - 07/2006	Ensino, Mestrado Profissional em Matemática, Nível: Pós-Graduação.
	Disciplinas ministradas Estruturas Vetoriais

03/2006 - 07/2006	Ensino, Matemática, Nível: Graduação.
	Disciplinas ministradas Complementos de Matemática

08/2005 - 12/2005	Ensino, Engenharia Elétrica, Nível: Pós-Graduação.
	Disciplinas ministradas Tópicos em Telemática III (Introdução à Teoria da Computação e Informação Quântica)

08/2005 - 12/2005	Ensino, Engenharia da Computação, Nível: Graduação.
	Disciplinas ministradas Álgebra Linear

Ecole Polytechnique, EP, França.

Vínculo institucional

2008 - 2009

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista do CNRS, Regime: Dedicação exclusiva.

Politecnico di Milano, POLIMI, Itália.

Vínculo institucional

2005 - 2005

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

Universidad Politécnica de Madrid, UPM, Espanha.

Vínculo institucional

2007 - 2008

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista da Fundación Carolina, Regime: Dedicação exclusiva.

Universidade do Estado do Rio de Janeiro, UERJ, Brasil.

Vínculo institucional

2002 - 2005

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

Atividades

03/2004 - 07/2004	Ensino, Bacharelado em Matemática, Nível: Graduação.
	Disciplinas ministradas Análise Funcional Aplicada

03/2004 - 07/2004	Ensino, Bacharelado em Matemática, Nível: Graduação.
	Disciplinas ministradas Tópicos Especiais de Matemática Aplicada

03/2004 - 07/2004	Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização.
	Disciplinas ministradas Análise Combinatória e Probabilidade

08/2003 - 12/2003	Ensino, Bacharelado em Computação, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação Quântica

03/2003 - 07/2003	Ensino, Bacharelado em Matemática, Nível: Graduação.
	Disciplinas ministradas Programação Linear

03/2003 - 07/2003	Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização.
	Disciplinas ministradas Análise Combinatória e Probabilidade

08/2002 - 12/2002	Ensino, Bacharelado em Computação, Nível: Graduação.
	Disciplinas ministradas Introdução à Computação Quântica

08/2002 - 12/2002	Ensino, Especialização em Aprendizagem em Matemática, Nível: Especialização.
	Disciplinas ministradas Análise Combinatória e Probabilidade

03/2002 - 07/2002	Ensino, Engenharia Química, Nível: Graduação.
	Disciplinas ministradas Métodos Matemáticos Aplicados à Engenharia Química

Universidade Federal do Rio de Janeiro, UFRJ, Brasil.

Vínculo institucional

2008 - 2008

Vínculo: Professor Visitante, Enquadramento Funcional: Bolsista da FAPERJ, Regime: Dedicação exclusiva.

Universidade Federal Fluminense, UFF, Brasil.

Vínculo institucional

2001 - 2002

Vínculo: Bolsista recém-doutor do CNPq, Enquadramento Funcional: Bolsista recém-doutor, Regime: Dedicação exclusiva.

Atividades

08/2001 - 12/2001	Ensino, Ciência da Computação, Nível: Graduação.
	Disciplinas ministradas Análise e Projeto de Algoritmos

Linhas de Pesquisa

1.	Computação e Informação Quântica

2.	Otimização de Geometria Molecular

Projetos de Pesquisa

2012 - 2014	Modelagem computacional para o cálculo de estruturas de proteínas através de dados de RMN
	Descrição: Projeto Universal do CNPq (Faixa B) (proc. 470290/2011-0). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2011 - 2013	Uma abordagem combinatória para o cálculo de estruturas de proteínas
	Descrição: Projeto CTINFO do CNPq (proc. 559964/2010-2). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2010 - 2011	Problemas de geometria molecular: uma abordagem combinatória
	Descrição: Projeto Supervisor de Pós-Doutorado concedido pelo CNPq (proc. 500306/2010-9). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..

2009 - 2013	Otimização de geometria molecular aplicada ao cálculo de estrutura de proteínas
	Descrição: Projeto Orientador de Doutorado concedido pelo CNPq (proc. 578959/2008-9). Situação: Em andamento; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa..

2009 - 2011	Métodos combinatórios para o cálculo de estruturas de proteínas através de dados de RMN
	Descrição: Projeto Auxílio à Pesquisa da FAPESP (proc. 2009/05470-0). Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2008 - 2013

INCT de Informação Quântica

Descrição: A missão deste instituto é desenvolver no país pesquisas básicas que conduzam ao desenvolvimento de tecnologias de computação e comunicação quântica..
Situação: Em andamento; Natureza: Pesquisa.
Integrantes: Amir Ordacgi Caldeira - Coordenador / Carlile Campos Lavor - Integrante.
Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2008 - 2011	Métodos de otimização para problemas em conformação de proteínas e informação quântica
	Descrição: Projeto Jovens Pesquisadores do CNPq (proc. 559637/2008-0). Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

2008 - 2009	Cálculo de estruturas de proteínas através de dados de ressonância magnética nuclear
	Descrição: Projeto Auxílio à Pesquisa da FAPESP (proc. 2007/07230-0). Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro..

2007 - 2010	Emaranhamento e capacidade de canais quânticos
	Descrição: Projeto Orientador de Doutorado concedido pela FAPESP (proc. 2006/58413-5). Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Bolsa..

2007 - 2009	Algoritmos para o cálculo de geometria molecular e de capacidade de canais quânticos
	Descrição: Projeto Universal do CNPq (Faixa B) (proc. 471002/2007-0). Situação: Concluído; Natureza: Pesquisa. Integrantes: Carlile Campos Lavor - Coordenador. Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro..

Membro de corpo editorial

2007 - Atual

Periódico: Journal of Universal Computer Science

Revisor de periódico

2004 - Atual	Periódico: Journal of Global Optimization
2006 - Atual	Periódico: Journal of the Brazilian Computer Society
2005 - Atual	Periódico: TEMA. Tendências em Matemática Aplicada e Computacional (1677-1966)
2007 - Atual	Periódico: Journal of Universal Computer Science
2009 - Atual	Periódico: European Journal of Operational Research
2011 - Atual	Periódico: International Transactions in Operational Research

Áreas de atuação

1.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Otimização de Geometria Molecular.
2.	Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação / Especialidade: Computação e Informação Quântica.

Idiomas

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

Prêmios e títulos

2009	Orientador de Iniciação Científica de Pedro Costa Nucci, agraciado com o 2o. lugar no Prêmio Beatriz Neves, XXXII Congresso Nacional de Matemática Aplicada e Computacional.
2008	Orientador de Iniciação Científica de Thiago Resek Fabri dos Anjos, agraciado com o Prêmio Babbage, Instituto de Computação (UNICAMP).
2007	Orientador de Iniciação Científica de Thiago Resek Fabri dos Anjos, agraciado com Menção Honrosa (Prêmio Beatriz Neves), XXX Congresso Nacional de Matemática Aplicada e Computacional.
2006	Livre-Docência, UNICAMP.
2004	Aprovado (1o. lugar) em concurso público para Professor MS-3, IMECC - UNICAMP.
2003	Aprovado (1o. lugar) em concurso público para Professor Adjunto, IME - UERJ.
1988	Aprovado (1o. lugar) em concurso vestibular, Universidade Estadual do Ceará - UECE.

Produção em C,T & A

Produção bibliográfica

Artigos completos publicados em periódicos

1.	EVANGELISTA, T. S. ; LAVOR, C. ; RABELO, W. R. M. . A new method to calculate the inconclusive coefficients in the quantum state discrimination. International Journal of Modern Physics C, v. 22, p. 1-11, 2011.

2.	LAVOR, C. ; MUCHERINO, A. ; LIBERTI, L. ; MACULAN, N. . On the computation of protein backbones by using artificial backbones of hydrogens. Journal of Global Optimization, v. 50, p. 329-344, 2011.

3.	EVANGELISTA, T. S. ; LAVOR, C. . Um novo algoritmo para a discriminação de estados quânticos. TEMA. Tendências em Matemática Aplicada e Computacional, v. 12, p. 125-133, 2011.

4.	SOUZA, M. F. ; XAVIER, A. E. ; LAVOR, C. ; MACULAN, N. . Hyperbolic smoothing and penalty techniques applied to molecular structure determination. Operations Research Letters, v. 39, p. 461-465, 2011.

5.	LAVOR, C. ; MUCHERINO, A. ; LIBERTI, L. ; MACULAN, N. . Discrete approaches for solving molecular distance geometry problems using NMR data. International Journal of Computational Bioscience, v. 1, p. 88-94, 2010.

6.	ALVES, R. ; LAVOR, C. . Clifford algebra applied to Grover's algorithm. Advances in Applied Clifford Algebras, v. 20, p. 477-488, 2010.

7.	LA GUARDIA, G. ; PALAZZO JR., R. ; LAVOR, C. . Nonbinary quantum Reed-Solomon codes. International Journal of Pure and Applied Mathematics, v. 65, p. 55-64, 2010.

8.	LIBERTI, L. ; LAVOR, C. ; MUCHERINO, A. ; MACULAN, N. . Molecular distance geometry methods: from continuous to discrete. International Transactions in Operational Research, v. 18, p. 33-51, 2010.

9.	LIBERTI, L. ; LAVOR, C. ; MACULAN, N. ; NASCIMENTO, M. A. C. . Reformulation in mathematical programming: an application to quantum chemistry. Discrete Applied Mathematics, v. 157, p. 1309-1318, 2009.

10.	PALATNIK-DE-SOUSA, C. B. ; SILVA-ANTUNES, I. ; MORGADO, A. A. ; MENZ., I. ; PALATNIK, M. ; LAVOR, C. . Decrease of the incidence of human and canine visceral leishmaniasis after dog vaccination with leishmune in brazilian endemic areas. Vaccine (Guildford), v. 27, p. 3505-3512, 2009.

11.	LIBERTI, L. ; LAVOR, C. ; MACULAN, N. ; MARINELLI, F. . Double variable neighbourhood search with smoothing for the molecular distance geometry problem. Journal of Global Optimization, v. 43, p. 207-218, 2009.

12.	MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . On the definition of artificial backbones for the discretizable molecular distance geometry problem. Mathematica Balkanica (Sofiâ), v. 23, p. 289-302, 2009.

13.	DRAZIC, M. ; LAVOR, C. ; MACULAN, N. ; MLADENOVIC, N. . A continuous variable neighborhood search heuristic for finding the three-dimensional structure of a molecule. European Journal of Operational Research, v. 185, p. 1265-1273, 2008.

14.	LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . A branch-and-prune algorithm for the molecular distance geometry problem. International Transactions in Operational Research, v. 15, p. 1-17, 2008.

15.	KOWADA, L.A.B. ; LAVOR, C. ; PORTUGAL, R. ; FIGUEIREDO, C. M. H. . A new quantum algorithm for solving the minimum searching problem. International Journal of Quantum Information, v. 6, p. 427-436, 2008.

16.	CARVALHO, R. S. ; LAVOR, C. ; PROTTI, F. . Extending the geometric build-up algorithm for the molecular distance geometry problem. Information Processing Letters, v. 108, p. 234-237, 2008.

17.	LAVOR, C. . Analytic evaluation of the gradient and Hessian of molecular potential energy functions. Physica. D, Nonlinear phenomena (Print), v. 227, p. 135-141, 2007.

18.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; NASCIMENTO, M. A. C. . Solving Hartree-Fock systems with global optimization methods. Europhysics Letters (Print), v. 77, p. 50006p1-50006p5, 2007.

19.	LAVOR, C. ; CARVALHO, L. M. ; PORTUGAL, R. ; MOURA, C. A. . Complexity of Grover´s algorithm: an algebraic approach. International Journal of Applied Mathematics, v. 20, p. 801-814, 2007.

20.	CARVALHO, L. M. ; LAVOR, C. ; MOTTA, V. S. . Caracterização matemática e visualização da esfera de Bloch: ferramentas para computação quântica. TEMA. Tendências em Matemática Aplicada e Computacional, v. 8, p. 351-360, 2007.

21.	LAVOR, C. ; CARDOZO, T. M. ; NASCIMENTO, M. A. C. . Using an interval branch and bound algorithm in the Hartree-Fock method. International Journal of Quantum Chemistry, v. 103, p. 500-504, 2005.

22.	BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . A GA-simplex hybrid algorithm for global minimization of molecular potential energy functions. Annals of Operations Research, v. 138, p. 189-202, 2005.

23.	LAVOR, C. ; MACULAN, N. . A function to test methods applied to global minimization of potential energy of molecules. Numerical Algorithms, v. 35, p. 287-300, 2004.

24.

C.B.P. de Souza ; L.M.B. de Melo ; G.P.B. Cabrera ; M. Palatnick ; LAVOR, C. . Improving methods for epidemiological control of canine visceral leishmaniasis based on a mathematical model. Impact on the incidence of the canine and human disease. Anais da Academia Brasileira de Ciências, v. 76, p. 583-593, 2004.

25.	LAVOR, C. . A deterministic approach for global minimization of molecular potential energy functions. International Journal of Quantum Chemistry, v. 95, p. 336-343, 2003.

26.	LAVOR, C. ; CARVALHO, L. M. ; MACULAN, N. . Um método determinístico para otimização global. TEMA. Tendências em Matemática Aplicada e Computacional, v. 4, p. 197-206, 2003.

Livros publicados/organizados ou edições

1.	LAVOR, C. (Org.) ; PORTUGAL, R. (Org.) ; MARQUEZINO, F. (Org.) ; GONÇALVES, D. N. (Org.) . Anais do III Workshop-Escola de Computação e Informação Quântica (WECIQ). Petrópolis: Laboratório Nacional de Computação Científica, 2010.

2.	LAVOR, C. ; ALVES, M. M. S. ; SIQUEIRA, R. M. ; COSTA, S. I. R. . Uma Introdução à Teoria de Códigos. São Carlos: SBMAC, 2006. v. 21. 90 p.

3.	PORTUGAL, R. ; LAVOR, C. ; CARVALHO, L. M. ; MACULAN, N. . Uma Introdução à Computação Quântica. São Carlos: SBMAC, 2004. v. 8. 62 p.

Capítulos de livros publicados

1.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Molecular distance geometry problem. In: C.A. Floudas; P.M. Pardalos. (Org.). Encyclopedia of Optimization (2nd edition). New York: Springer, 2009, v. , p. 2304-2311.

2.	LAVOR, C. . On generating instances for the molecular distance geometry problem. In: Leo Liberti; Nelson Maculan. (Org.). Global Optimization: from Theory to Implementation. New York: Springer, 2006, v. 84, p. 405-414.

3.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Computational experience with the molecular distance geometry problem. In: Janos D. Pinter. (Org.). Global Optimization: Scientific and Engineering Case Studies. New York: Springer, 2006, v. 85, p. 213-225.

4.	GIRALDI, G. A. ; LAVOR, C. ; PORTUGAL, R. . A formal approach to quantum genetic algorithms. In: Susan Shannon. (Org.). Trends in Quantum Computing Research. Hauppauge: Nova Science Publishers, 2006, v. , p. 135-147.

5.	LAVOR, C. ; MACULAN, N. . Reducing the cost of evaluation of the gradient and Hessian of molecular potential energy functions. In: C. A. Floudas; P. M. Pardalos. (Org.). Frontiers in Global Optimization. Dordrecht: Kluwer Academic Publishers, 2004, v. 74, p. 275-287.

6.

BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . Computational experiments with an adaptive genetic algorithm for global minimization of potential energy functions. In: Christodoulos A. Floudas; Panos M. Pardalos. (Org.). Frontiers in Global Optimization. Dordrecht: Kluwer Academic Publishers, 2004, v. 74, p. 71-82.

7.	LAVOR, C. ; MACULAN, N. . Interval analysis applied to global minimization of potential energy functions. In: Nicolas Hadjisavvas; Panos M. Pardalos. (Org.). Advances in Convex Analysis and Global Optimization. Dordrecht: Kluwer Academic Publishers, 2001, v. 54, p. 333-344.

Trabalhos completos publicados em anais de congressos

1.

MUCHERINO, A. ; LAVOR, C. ; MALLIAVIN, T. ; LIBERTI, L. ; NILGES, M. ; MACULAN, N. . Influence of pruning devices on the solution of molecular distance geometry problems. In: 10th International Symposium on Experimental Algorithms, 2011, Kolimpari Chania. Proceedings of the 10th SEA. Heidelberg : Lecture Notes in Computer Science, 2011. v. 6630. p. 206-217.

2.

LIBERTI, L. ; MASSON, B. ; LEE, J. ; LAVOR, C. ; MUCHERINO, A. . On the number of solutions of the discretizable molecular distance geometry problem. In: 5th Annual International Conference on Combinatorial Optimization and Applications, 2011, Zhangjiajie. Proceedings of the COCOA 2011. Heidelberg : Lecture Notes in Computer Science, 2011. v. 6831. p. 322-342.

3.

LIBERTI, L. ; LAVOR, C. ; MUCHERINO, A. . An exponential algorithm for the discretizable molecular distance geometry problem is polynomial on proteins. In: 7th International Symposium on Bioinformatics Research and Applications, 2011, Changsha. Proceedings of the ISBRA 2011. Changsha : Central South University, 2011. p. 40-43.

4.

MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . A symmetry-driven BP algorithm for the discretizable molecular distance geometry problem. In: IEEE International Conference on Bioinformatics and Biomedicine, 2011, Atlanta. Proceedings of the IEEE BIBM 2009. Los Alamitos : IEEE Computer Society, 2011. p. 390-395.

5.

MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. ; TALBI, E. . A parallel version of the branch and prune algorithm for the molecular distance geometry problem. In: ACS/IEEE International Conference on Computer Systems and Applications, 2010, Hammamet. Proceedings of the AICCSA10. Los Alamitos : IEEE Computer Society, 2010. p. 1-6.

6.	MUCHERINO, A. ; LIBERTI, L. ; LAVOR, C. . MD-jeep: an implementation of a branch and prune algorithm for distance geometry problems. In: Third International Congress on Mathematical Software, 2010, Kobe. Proceedings of the ICMS10. Kobe : Lecture Notes in Computer Science, 2010. v. 6327. p. 186-197.

7.	LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . On the solution of molecular distance geometry problems with interval data. In: IEEE International Conference on Bioinformatics and Biomedicine, 2010, Hong Kong. Proceedings of the IEEE BIBM 2010. Los Alamitos : IEEE Computer Society, 2010. p. 77-82.

8.	LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. ; MACULAN, N. . On a discretizable subclass of instances of the molecular distance geometry problem. In: 24th Annual ACM Symposium on Applied Computing, 2009, Honolulu. Proceedings of the 24th SAC. Honolulu : University of Hawaii at Manoa, 2009.

9.	MUQUERINO, A. ; LAVOR, C. ; MACULAN, N. . The molecular distance geometry problem applied to protein conformations. In: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, 2009, Paris. Proceedings of the 8th CTW. Paris : Ecole Polytechnique (Paris), 2009. p. 337-340.

10.

MUQUERINO, A. ; LIBERTI, L. ; LAVOR, C. ; MACULAN, N. . Comparisons between an exact and a metaheuristic algorithm for the molecular distance geometry problem. In: 11th Annual Conference on Genetic and Evolutionary Computation, 2009, Montreal. Proceedings of the 11th GECCO. New York : ACM, 2009. p. 333-340.

11.

LAVOR, C. ; MUQUERINO, A. ; LIBERTI, L. ; MACULAN, N. . Computing artificial backbones of hydrogen atoms in order to discover protein backbones. In: International Multiconference on Computer Science and Information Technology, 2009, Mragowo. Proceedings of the IMCSIT09. Los Alamitos : IEEE Computer Society, 2009. p. 759-764.

12.

MUQUERINO, A. ; LAVOR, C. . The branch and prune algorithm for the molecular distance geometry problem with inexact distances. In: International Conference on Bioinformatics and Biomedicine, 2009, Veneza. Proceedings of the ICBB09. Paris : World Academy of Science, Engineering and Technology, 2009. p. 349-353.

13.

LAVOR, C. ; MUQUERINO, A. ; LIBERTI, L. ; MACULAN, N. . An artificial backbone of hydrogens for finding the conformation of protein molecules. In: IEEE International Conference on Bioinformatics and Biomedicine, 2009, Washington. Proceedings of the IEEE BIBM 2009. Los Alamitos : IEEE Computer Society, 2009. p. 152-155.

14.	EVANGELISTA, T. S. ; LAVOR, C. . Semidefinite programming applied to quantum state discrimination. In: XIV Latin Ibero-American Congress on Operations Research, 2008, Cartagena de Indias. Proceedings of the XIV CLAIO. Cartagena de Indias : Universidad del Norte, 2008.

15.	GAZZONI, W. C. ; PALAZZO JR., R. ; LAVOR, C. ; LA GUARDIA, G. . Uma proposta de critério de completa separabilidade para estados quânticos puros com N q-bits. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande : UFCG, 2007.

16.

LA GUARDIA, G. ; PALAZZO JR., R. ; LAVOR, C. ; GAZZONI, W. C. . Construção de códigos corretores de erros quânticos CSS, a partir de códigos BCH, Reed-Solomon e Resíduos Quadráticos. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande : UFCG, 2007.

17.

GAZZONI, W. C. ; PALAZZO JR., R. ; LAVOR, C. . Identificação de estados tripartite de q-bits puros com máximo valor de emaranhamento a partir de uma interpretação geométrica. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande : UFCG, 2007.

18.	SOUZA, M. F. ; LAVOR, C. ; PORTUGAL, R. ; MACULAN, N. . Cálculo da informação acessível via branch-and-bound e aritmética intervalar. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande : UFCG, 2007.

19.	KOWADA, L.A.B. ; FIGUEIREDO, C. M. H. ; PORTUGAL, R. ; LAVOR, C. . Aplicação do algoritmo de Grover para problemas NP-completos. In: II Workshop-Escola de Computação e Informação Quântica, 2007, Campina Grande. Anais do II WECIQ. Campina Grande : UFCG, 2007.

20.	GAZZONI, W. C. ; LAVOR, C. ; PALAZZO JR., R. . Uma proposta de critério de separabilidade para estados quânticos com 3 q-bits. In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ2006. Pelotas : UCPel, 2006. p. 275-285.

21.	SOUZA, M. F. ; LAVOR, C. ; PORTUGAL, R. . O problema do cálculo da informação acessível. In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ. Pelotas : Universidade Católica de Pelotas, 2006. p. 255-263.

22.	LAVOR, C. . Um passeio pela teoria da informação (clássica e quântica). In: I Workshop-Escola de Computação e Informação Quântica, 2006, Pelotas. Anais do I WECIQ2006. Pelotas : Universidade Católica de Pelotas, 2006. p. 53-66.

23.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. . Grover s algorithm applied to the molecular distance geometry problem. In: VII Brazilian Congress of Neural Networks, 2005, Natal. Proceedings of the VII CBRN. Natal : Universidade Federal do Rio Grande do Norte, 2005.

24.	LAVOR, C. ; CARVALHO, L. M. ; MACULAN, N. . Evaluating the Hessian of potential energy functions with a quadratic complexity in terms of molecule size. In: XII Latin-Ibero-American Congress on Operations Research, 2004, Habana. Proceedings of the XII CLAIO. Habana : Universidad de la Habana, 2004.

25.	LAVOR, C. ; PORTUGAL, R. ; CARVALHO, L. M. ; MACULAN, N. . Uma nova demonstração da complexidade do algoritmo de Grover. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais do XXXV SBPO, 2003. p. 2058-2067.

26.	LAVOR, C. ; PORTUGAL, R. ; CARVALHO, L. M. ; MACULAN, N. . Um algoritmo quântico (baseado em ensembles) de complexidade O(logN) para um problema de busca em uma lista com N elementos. In: XXXV Simpósio Brasileiro de Pesquisa Operacional, 2003, Natal. Anais do XXXV SBPO, 2003. p. 2068-2077.

27.	LAVOR, C. ; L.R.U. Manssur ; PORTUGAL, R. . Quantum computation and database search. In: Workshop de Grade Compuational e Aplicações, 2003, Petrópolis. Anais do Workshop de Grade Compuational e Aplicações, 2003. p. 117-133.

28.	LAVOR, C. ; CARVALHO, L. M. ; MONTENEGRO, F. ; MACULAN, N. . A brief overview of computational complexity. In: First Meeting of the Quantum Information Institute, 2002, Belo Horizonte. Proceedings of the First Meeting of the Quantum Information Institute, 2002. p. 33-37.

29.	BARBOSA, H. ; LAVOR, C. ; RAUPP, F. . A hybrid genetic algorithm for global minimization of molecular potential energy functions. In: XI Latin-Ibero-American Congress on Operations Research, 2002, Concepción. Proceedings of the XI CLAIO. Concepción : Universidad de Concepción, 2002.

30.	LAVOR, C. ; MACULAN, N. . A branch and bound method for molecular structure determination using interval analysis. In: X Latin-Ibero-American Congress on Operations Research, 2000, Mexico City. Proceedings of the X CLAIO. Mexico : Mexican Institute for Operation Research and Systems, 2000.

31.	BARBOSA, H. ; RAUPP, F. ; LAVOR, C. ; LIMA, H. ; MACULAN, N. . A hybrid genetic algorithm for finding stable conformations of small molecules. In: VIth Brazilian Symposium on Neural Networks, 2000, Rio de Janeiro. Proceedings of the SBRN 2000. Los Alamitos : IEEE Computer Society, 2000. p. 90-94.

Artigos aceitos para publicação

1.	LAVOR, C. ; LIBERTI, L. ; MUCHERINO, A. . The iBP algorithm for the discretizable molecular distance geometry problem with interval data. Journal of Global Optimization, 2013.

2.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; MUCHERINO, A. . Recent advances on the discretizable molecular distance geometry problem. European Journal of Operational Research, 2013.

3.	LAVOR, C. ; LEE, J. ; JOHN, A. L. ; LIBERTI, L. ; MUCHERINO, A. ; SVIRIDENKO, M. . Discretization orders for distance geometry problems. Optimization Letters, 2012.

4.	LAVOR, C. ; LIBERTI, L. ; MACULAN, N. ; MUCHERINO, A. . The discretizable molecular distance geometry problem. Computational Optimization and Applications, 2012.

5.	MUCHERINO, A. ; LAVOR, C. ; LIBERTI, L. . The discretizable distance geometry problem. Optimization Letters, 2012.

6.	SALLAUME, S. ; MARTINS, S. L. ; OCHI, L. S. ; SILVA, W. G. ; LAVOR, C. ; LIBERTI, L. . A discrete search algorithm for finding the structure of protein backbones and side chains. International Journal of Bioinformatics Research and Applications (Print), 2012.

Produção técnica

Trabalhos técnicos

1.	LAVOR, C. . Membro do Comitê Científico do Global Optimization Workshop (GOW). 2012.

2.	LAVOR, C. . Membro do Comitê Científico do Workshop on Computational Optimization (WCO). 2012.

3.	LAVOR, C. . Parecerista ad-doc do X Congresso Brasileiro de Inteligência Computacional (CBIC). 2011.

4.	LAVOR, C. . Parecerista ad-doc do Congresso de Matemática Aplicada e Computacional (CMAC-SE). 2011.

5.	LAVOR, C. . Coordenador do Comitê Técnico-Científico do III Workshop-Escola de Computação e Informação Quântica. 2010.

6.	LAVOR, C. . Parecerista ad-hoc do XXXIII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2010.

7.	LAVOR, C. . Parecerista ad-hoc do XLII Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2010.

8.	LAVOR, C. . Parecerista ad-doc do VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS). 2010.

9.	LAVOR, C. . Parecerista ad-doc para promoção a Professor Associado no Dep. de Matemática e Ciência da Computação da Western Kentucky University. 2010.

10.	LAVOR, C. . Membro do Comitê Científico do XXXII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2009.

11.	LAVOR, C. . Parecerista ad-hoc do XXXVI Seminário Integrado de Software e Hardware - Grandes Desafios da Computação no Brasil (SEMISH). 2009.

12.	LAVOR, C. . Parecerista ad-hoc do XXXII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2009.

13.	LAVOR, C. . Parecerista ad-hoc do XLI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2009.

14.	LAVOR, C. . Parecerista ad-hoc do XXVII Simpósio Brasileiro de Telecomunicações (SBrT). 2009.

15.	LAVOR, C. . Parecerista ad-doc do V Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS). 2009.

16.	LAVOR, C. . Parecerista ad-hoc de pedido de bolsa PIBIC/CNPq (UNICAMP). 2009.

17.	LAVOR, C. . Parecerista ad-hoc do XXXI Congresso Nacional de Matemática Aplicada e Computacional (CNMAC). 2008.

18.	LAVOR, C. . Parecerista ad-hoc do XL Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2008.

19.	LAVOR, C. . Parecerista ad-hoc de pedido de bolsa PIBIC/CNPq (UNICAMP). 2008.

20.	LAVOR, C. . Membro do Comitê Técnico-Científico do II Workshop-Escola de Computação e Informação Quântica. 2007.

21.	LAVOR, C. . Parecerista ad-hoc do XXXIX Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2007.

22.	LAVOR, C. . Parecerista ad-hoc do XX Concurso de Teses e Dissertações (CTD) no XXVII Congresso da SBC. 2007.

23.	LAVOR, C. . Parecerista ad-hoc de pedido de bolsa PIBIC/CNPq (UNICAMP). 2006.

24.	LAVOR, C. . Membro do comitê técnico-científico do I Workshop-Escola de Computação e Informação Quântica. 2006.

25.	LAVOR, C. . Parecerista ad-hoc do VII Brazilian Congress of Neural Networks (CBRN). 2005.

26.	LAVOR, C. . Parecerista ad-hoc do XXII Simpósio Brasileiro de Telecomunicações (SBrT). 2005.

27.	LAVOR, C. . Parecerista ad-hoc do 4th Workshop on Experimental and Efficient Algorithms (WEA). 2005.

28.	LAVOR, C. . Membro do Comitê Técnico-Científico da Sessão Especial em Computação e Informação Quântica do VII CBRN. 2005.

29.	LAVOR, C. . Parecerista ad-hoc do XXXVI Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2004.

30.	LAVOR, C. . Parecerista ad-hoc do 6th Latin American Theoretical Informatics (LATIN). 2004.

31.	LAVOR, C. . Parecerista ad-hoc do II Colóquio de História e Tecnologia no Ensino de Matemática (HTEM). 2004.

32.	LAVOR, C. . Parecerista ad-hoc do XXXV Simpósio Brasileiro de Pesquisa Operacional (SBPO). 2003.

Bancas

Participação em bancas examinadoras

Dissertações

1.	LAVOR, C.; RUGGIERO, M. A. G.; OCHI, L. S.. Participação em banca de Felipe Delfini Caetano Fidalgo. Algoritmos para problemas de geometria molecular. 2011. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.

2.	NASCIMENTO, J. C.; Ramos, R. V.; SILVA, J. B. R.; LAVOR, C.. Participação em banca de Werther Xisto da Silva Cardoso. Cálculo numérico da medida de entrelaçamento de qutrites multipartes. 2011. Dissertação (Mestrado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

3.	REBELLO, E. F. V.; ALBUQUERQUE, C. V. N.; LAVOR, C.. Participação em banca de Fernanda Gonçalves Oliveira. Aplicações autônomas para computação em larga escala. 2010. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

4.

SOUZA, M. J; GUIMARÃES, F. G.; LAVOR, C.. Participação em banca de Puca Huachi Vaz Penna. Um algoritmo heurístico para minimizar os custos com a antecipação e o atraso da produção em ambientes com janelas de entrega e tempos de preparação dependentes da sequência. 2009. Dissertação (Mestrado em Engenharia Mineral) - Universidade Federal de Ouro Preto.

5.

MARTINS, S. L.; LAVOR, C.; OCHI, L. S.; PROTTI, F.; DAZA, V. M. P.. Participação em banca de Silas Sallaume. Cálculo de estruturas protéicas através da resolução do problema discreto de geometria das distâncias em moléculas. 2009. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

6.	PORTUGAL, R.; GARCIA, E. L. M.; LEAL, G. A. R.; KRITZ, M. V.; LAVOR, C.. Participação em banca de Tharso Domisini Fernandes. Problema do subgrupo escondido em grupos nilpotentes de classe 2. 2008. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

7.	OCHI, L. S.; LAVOR, C.; PROTTI, F.; NOGUEIRA, L. T.; MARTINS, S. L.. Participação em banca de Warley Gramacho da Silva. Algoritmos para o cálculo de estruturas de proteínas. 2008. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

8.	LAVOR, C.; MACULAN, N.; PALAZZO JR., R.; MOSNA, R. A.. Participação em banca de Rafael Santos de Oliveira Alves. Álgebra geométrica e o algoritmo de Grover. 2008. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas.

9.	LAVOR, C.; PORTUGAL, R.; GIRALDI, G. A.; MACULAN, N.. Participação em banca de Michael Ferreira de Souza. Uma nova metodologia para o cálculo da informação acessível. 2007. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

10.	SANTOS, J. P. O.; LAVOR, C.; AGUSTINI, E.. Participação em banca de Robson da Silva. Funções simétricas e combinatória. 2007. Dissertação (Mestrado em Matemática) - Universidade Estadual de Campinas.

11.

FRANÇA, F. M. G.; LIMA, P. M. V.; BARBOSA, V. C.; LAVOR, C.; WEDEMANN, R. S.. Participação em banca de Glaucia da Conceição Pereira. Mapeamento e combinação de problemas NP-difíceis através de restrições pseudo-booleanas para redes neuronais artificiais. 2006. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

12.

FACANHA, A. R.; FACANHA, A. L. O.; MEDINA-ACOSTA, E.; OLIVEIRA, C. L. L.; LAVOR, C.. Participação em banca de Luiz César Ali Novaes Faria. Uso de ferramentas de bioinformática e sistematização matemática no estudo dos sistemas de transporte de cátions em fungos e plantas. 2006. Dissertação (Mestrado em Biociências e Biotecnologia) - Universidade Estadual do Norte Fluminense Darcy Ribeiro.

13.	PROTTI, F.; LAVOR, C.; ROCHA, A. B.; CARVALHO, L. M.. Participação em banca de Ricardo dos Santos Carvalho. Extensão do algoritmo de construção geométrica para a determinação de estruturas moleculares. 2005. Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro.

14.

PORTUGAL, R.; ROSA, L. P.; GALEAO, A. C. N. R.; DARDENNE, L.; Oliveira Júnior, I. S.; LAVOR, C.. Participação em banca de Jean Faber Ferreira de Abreu. Computação quântica em sistemas abertos e uma aplicação ao modelo biológico de Fröhlich. 2004. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

15.

OCHI, L. S.; DRUMMOND, L. M. A.; PLASTINO, A.; PACHECO, M. A. C.; LAVOR, C.. Participação em banca de Carlos Rodrigo Dias. Algoritmos evolutivos para o problema de clusterização de grafos orientados: desenvolvimento e análise experimental. 2004. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

16.

OCHI, L. S.; LAVOR, C.; RIBEIRO, C. C. C.; PROTTI, F.; MARTINS, S. L.. Participação em banca de Adria Ramos de Lyra. O problema de recobrimento de rotas com coleta de prêmios: regras de redução, formulação matemática e metaheurísticas. 2004. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

17.	MARTINHON, C. A. J.; LAVOR, C.; PROTTI, F.. Participação em banca de Keity Yamamoto. Problema da seqüência mais próxima. 2004. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

18.

XAVIER, A. E.; EHRHARDT, M. A. D.; LAVOR, C.; SOUZA, M. J.; CARVALHO, L. A. V.. Participação em banca de Leonardo Silva de Lima. Aplicação do mecanismo de extrapolação no método de penalização hiperbólica. 2002. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

19.	OCHI, L. S.; DRUMMOND, L. M. A.; PROTTI, F.; LAVOR, C.; WEDEMANN, R. S.. Participação em banca de Luis André Ramos Ferreira. Metaheurísticas híbridas seqüenciais e paralelas para resolver o Orienteering Problem. 2002. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

Teses de doutorado

1.	MARTINEZ, J. M.; LAVOR, C.; SANTOS, S. A.; MACULAN, N.; FRANCISCO, J. B.. Participação em banca de Rodrigo Silva Lima. Reconstrução e classificação de estruturas espaciais via otimização contínua. 2012. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

2.

LAVOR, C.; COSTA, S. I. R.; MOSNA, R. A.; PORTUGAL, R.; MACULAN, N.. Participação em banca de Nolmar Melo de Souza. Uma álgebra de Cliff ord de assinatura (n,3n) e os operadores densidade da teoria da informação quântica. 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

3.

FRIEDLANDER, A.; LAVOR, C.; SANTOS, L. T.; BISCH, P. M.; MACULAN, N.. Participação em banca de Paulo Sergio da Silva Gouveia. Resolução do problema de alinhamento estrutural entre proteínas via técnicas de otimização global. 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

4.

MACULAN, N.; CARVALHO, L. M.; XAVIER, A. E.; LAVOR, C.; OCHI, L. S.; FAMPA, M. H. C.. Participação em banca de Valéria Saldanha Motta. Solução de sistemas lineares de grande porte com múltiplos lados direitos. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

5.

MACULAN, N.; LAVOR, C.; XAVIER, A. E.; PROTTI, F.; OLIVEIRA, A. R. L.; FAMPA, M. H. C.. Participação em banca de Michael Ferreira de Souza. Suavização hiperbólica aplicada à otimização de geometria molecular. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

6.

MACULAN, N.; BRITO, J. A. M.; XAVIER, A. E.; OLIVEIRA, P. R.; LAVOR, C.; MONTENEGRO, F.. Participação em banca de Michele da Silva Sousa. Algoritmos de otimização para o problema de planejamento de redes celulares de terceira geração. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

7.	OLIVEIRA, A. R. L.; FAMPA, M. H. C.; LAVOR, C.; CARVALHO, M. F. H.; MORETTI, A. C.. Participação em banca de Jair da Silva. Uma família de algoritmos para programação linear baseada no algoritmo de Von Neumann. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

8.	LAVOR, C.; OLIVEIRA, A. R. L.; MACULAN, N.; FAMPA, M. H. C.; PORTUGAL, R.. Participação em banca de Tatiane da Silva Evangelista. Discriminação de estados quânticos via programação semidefinida. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

9.	PETRAGLIA, A.; LAVOR, C.; GOMES, J. G. R. C.; MACULAN, N.; MOSNA, R. A.. Participação em banca de Weber Figueiredo da Silva. Estruturas atômicas com álgebra geométrica. 2009. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

10.

Ramos, R. V.; ASSIS, F. M.; LAVOR, C.; SOUSA, P. B. M.; SILVA, J. B. R.; VASCONCELOS, H. M.. Participação em banca de José Cláudio do Nascimento. Protocolos quânticos para sistemas de prova de conhecimento nulo. 2009. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

11.	MACEDO, A. M. S.; ASSIS, F. M.; LAVOR, C.. Participação em banca de Fredson Braz Matos dos Santos. Padrões de emaranhamento e efeitos de topologia em aglomerados de spin quânticos. 2009. Tese (Doutorado em Pós-graduação em Física) - Universidade Federal de Pernambuco.

12.	PORTUGAL, R.; VIEIRA, P. C. M.; GIRALDI, G. A.; LAVOR, C.; LEAL, G. A. R.. Participação em banca de Carlos Magno Martins Cosme. Algoritmos quânticos para o problema do subgrupo oculto não abeliano. 2008. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

13.	FREIRE, R. C. S.; MAIA JUNIOR, B.; LAVOR, C.; ROCHA, V. C.; ASSIS, F. M.. Participação em banca de Rex Antonio da Costa Medeiros. Zero-error capacity of quantum channels. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Campina Grande.

14.

R. V. Ramos; G. A. Barreto; COSTA FILHO, J. T.; G. C. Barroso; G. V. R. Viana; LAVOR, C.; A. C. R. Costa. Participação em banca de Paulo Benício Melo de Sousa. Computação quântica: circuitos, jogos e aplicações. 2008. Tese (Doutorado em Engenharia de Teleinformática) - Universidade Federal do Ceará.

15.

OLIVEIRA, P. R.; J. M. Martínez; FAMPA, M. H. C.; LAVOR, C.; CRUZ NETO, J. X.. Participação em banca de Sissy da Silva Souza. Uma classe de métodos interior-proximal com métrica variável para problemas convexos e um algoritmo interior-proximal com distância de Bregman para otimização quase-convexa. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

16.	PORTUGAL, R.; DONANGELO, R. J.; FRAGOSO, M. D.; DARDENNE, L.; LAVOR, C.; ABAL, G.. Participação em banca de Amanda Castro Oliveira. Simulação de caminhos quânticos em redes bidimensionais. 2007. Tese (Doutorado em Modelagem Computacional) - Laboratório Nacional de Computação Científica.

17.

BRITO, G. A.; MUSCARÁ, M. N.; MOREIRA, M. M. S. M.; VALE, M. L.; LAVOR, C.. Participação em banca de Marco Antonio Botelho Soares. Estudo do efeito do gel de alecrim pimenta e aroeira e seus princípios ativos isolados na doença periodontal experimental. 2007. Tese (Doutorado em Ciências Médicas) - Universidade Federal do Ceará.

18.	OLIVEIRA, P. R.; FAMPA, M. H. C.; ABREU, N. M. M.; CAMPÊLO, M.; LAVOR, C.. Participação em banca de Sérgio Assunção Monteiro. Duas barreiras para programação semidefinida. 2007. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

19.

FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F. M. P.; LAVOR, C.; BRITO, J. A. M.; MACULAN, N.. Participação em banca de Ana Lucia de Souza. Um algoritmo utilizando programação semidefinida para o problema de dois níveis linear. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

20.	MONKEN, C. H.; SANTOS, M. F.; PADUA, S.; LAVOR, C.; DAVIDOVICH, L.. Participação em banca de Wilson Ricardo de Matos Rabelo. Algoritmos para a informação quântica: discriminação de estados quânticos e modelo híbrido. 2006. Tese (Doutorado em Física) - Universidade Federal de Minas Gerais.

21.	SANTOS, J. P. O.; MONDEK, P.; BARBOSA, R. M.; COSTA, S. I. R.; LAVOR, C.. Participação em banca de Jair Cunha Filho. Variações dos diagramas de Ferrers, partições planas e funções geradoras. 2006. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas.

22.

FIGUEIREDO, C. M. H.; PORTUGAL, R.; BARBOSA, V. C.; DONANGELO, R. J.; LAVOR, C.; CARVALHO, L. M.. Participação em banca de Luis Antonio Brasil Kowada. Construção de algoritmos reversíveis e quânticos. 2006. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

23.

FAMPA, M. H. C.; XAVIER, A. E.; OLIVEIRA, P. R.; RAUPP, F.; GRANVILLE, S.; LAVOR, C.. Participação em banca de Denise Candal Reis Fernandes. Estratégia ótima de oferta em mercados competitivos de energia. 2005. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

24.

XAVIER, A. E.; MACULAN, N.; LUNA, H. P. L.; SILVA, L. C.; DINIZ, P. S. R.; JARDIM, M. H. C.; LAVOR, C.. Participação em banca de José André de Moura Brito. Suavização hiperbólica aplicada ao problema de localização de estações de rádio base. 2004. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

25.	PALAZZO JR., R.; ALMEIDA, C.; UCHOA FILHO, B. F.; LEITE, J. R. R.; LAVOR, C.; PORTUGHEIS, J.. Participação em banca de Antônio Carlos Aido de Almeida. Códigos convolucionais quânticos concatenados. 2004. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Qualificações de doutorado

1.

MACULAN, N.; CARVALHO, L. M.; LAVOR, C.; OLIVEIRA, P. R.. Participação em banca de Virginia Silva da Costa. Análise algorítmica de métodos de determinação de estruturas tridimensionais de proteínas. 2011. Exame de qualificação (Doutorando em PESC - Programa de Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

2.	LAVOR, C.; SANTOS, J. P. O.; COSTA, S. I. R.. Participação em banca de Nolmar Melo de Souza. Álgebra geométrica e a tomografia de processos quânticos. 2009. Exame de qualificação (Doutorando em Matemática Aplicada) - Universidade Estadual de Campinas.

3.	SANTOS, J. P. O.; LAVOR, C.; COSTA, S. I. R.. Participação em banca de Robson da Silva. Partições combinatórias. 2009. Exame de qualificação (Doutorando em Matemática Aplicada) - Universidade Estadual de Campinas.

4.	LAVOR, C.; SANTOS, J. P. O.; COSTA, S. I. R.. Participação em banca de Nolmar Melo de Souza. Operações quânticas e álgebra de Clifford. 2009. Exame de qualificação (Doutorando em Matemática Aplicada) - Universidade Estadual de Campinas.

5.	MACULAN, N.; CARVALHO, L. M.; LAVOR, C.; FAMPA, M. H. C.. Participação em banca de Valéria Saldanha Motta. Solução de sistemas de grande porte com múltiplos lados direitos. 2008. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

6.

Ramos, R. V.; CAVALCANTE, C. C.; GOMES, D. G.; VASCONCELOS, H. M.; ASSIS, F. M.; LAVOR, C.; GIRAUDO, E. C.. Participação em banca de José Cláudio do Nascimento. Sistemas quânticos para protocolos de prova de conhecimento nulo. 2008. Exame de qualificação (Doutorando em Engenharia de Teleinformática) - Universidade Federal do Ceará.

7.	PETRAGLIA, A.; LAVOR, C.; MACULAN, N.; GOMES, J. G. R. C.. Participação em banca de Weber Figueiredo da Silva. Determinação de estruturas eletrônicas usando álgebra geométrica. 2008. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro.

8.	MACULAN, N.; LAVOR, C.; XAVIER, A. E.. Participação em banca de Michael Ferreira de Souza. Suavização hiperbólica aplicada à otimização de geometria molecular. 2008. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

9.

BRITO, J. A. M.; XAVIER, A. E.; FAMPA, M. H. C.; LAVOR, C.; MONTENEGRO, F.. Participação em banca de Michele da Silva Sousa. Algoritmos de otimização para o problema de planejamento de redes celulares de terceira geração. 2007. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

10.	SANTOS, J. P. O.; COSTA, S. I. R.; LAVOR, C.. Participação em banca de Jair Cunha Filho. Variações do diagrama de Ferrers. 2006. Exame de qualificação (Doutorando em Matemática Aplicada) - Universidade Estadual de Campinas.

11.	PALAZZO JUNIOR, R.; LAVOR, C.; LAZARI, H.; FARIA, M. B.. Participação em banca de Clarice Dias de Albuquerque. Análise e construção de códigos sobre variedades bidimensionais. 2006. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Estadual de Campinas.

12.	PACHECO, M. A. C.; BARBOSA, C. R. H.; PORTUGAL, R.; LAVOR, C.. Participação em banca de André Vargas Abs da Cruz. Técnicas inteligentes aplicadas à nanotecnologia. 2004. Exame de qualificação (Doutorando em Engenharia Elétrica) - Pontifícia Universidade Católica do Rio de Janeiro.

13.	FIGUEIREDO, C. M. H.; BARBOSA, V. C.; PORTUGAL, R.; LAVOR, C.; DONANGELO, R. J.. Participação em banca de Luis Antonio Brasil Kowada. Algoritmos de computação quântica. 2004. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

14.

OLIVEIRA, P. R.; DRUMMOND, L. M. G.; LAVOR, C.. Participação em banca de Erik Alex Papa Quiroz. Métricas diagonais e uma nova barreira auto-concordante para métodos de pontos interiores. 2004. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

15.

SCHEIMBERG, S.; OCHI, L. S.; JARDIM, M. H. C.; LAVOR, C.; LUNA, H. P. L.. Participação em banca de Luciana Roque Brito. O problema de recobrimento de rotas: regras de redução e soluções aproximadas. 2002. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

16.

XAVIER, A. E.; JARDIM, M. H. C.; CHAVEZ, J. R. A.; LAVOR, C.. Participação em banca de José André de Moura Brito. Uma proposta de suavização para o problema de localização de estações de rádio base. 2001. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Participação em bancas de comissões julgadoras

Concurso público

1.	KLEIN, S.; ZIVIANI, N.; OCHI, L. S.; LAVOR, C.; MARKENZON, L.. Professor Adjunto. 2009. Universidade Federal do Rio de Janeiro.

2.	AMORIM, C. L.; DRUMMOND, L. M. A.; MADUREIRA, A. L.; WEDEMANN, R. S.; LAVOR, C.. Professor Adjunto. 2005. Universidade Federal Rural do Rio de Janeiro.

Eventos

Participação em eventos

1.	Palestrante convidado no 2012 SIAM Annual Meeting.Geometric Approaches to Macromolecular Modeling. 2012. (Encontro).

2.	Conferencista convidado na XVI Escuela Latinoamericana de Verano en Investigación Operativa (ELAVIO).Otimização de geometria molecular aplicada à estrutura de proteínas. 2012. (Outra).

3.	Palestrante convidado na XII Semana de Informática da UFAM (SEMINFO)).Uma Introdução à Bioinformática: Cálculo de Estrutura de Proteínas. 2011. (Encontro).

4.	Palestrante convidado no 24th European Conference on Operational Research (EURO).Discretization of the Molecular Distance Geometry Problem by defining artificial orderings on the molecule. 2010. (Congresso).

5.	Minicurso convidado no Programa de Pós-Graduação do Instituto de Matemática e Estatística da UERJ.Otimização de geometria molecular. 2009. (Seminário).

6.	Conferencista convidado na Reunião Anual dos Programas Regionais STIC-AmSud e MATH-AmSud (IMPA-RJ).An artificial backbone of hydrogens for finding the conformation of protein molecules. 2009. (Seminário).

7.	Palestrante convidado no Second International Conference on Continuous Optimizatio (ICCOPT).Optimization and data mining, a session to honor the memory of Peter L. Hammer. 2007. (Congresso).

8.	Minicurso convidado no IV Workshop on Cryptographic Algorithms and Protocols (WCAP).Quantum computing. 2007. (Simpósio).

9.	Conferencista convidado na XII Escuela Latinoamericana de Verano en Investigación Operativa (ELAVIO).Cálculo de estruturas de proteínas: métodos exatos e heurísticas. 2007. (Outra).

10.	Minicurso convidado no II Workshop-Escola de Computação e Informação Quântica.Computação quântica básica. 2007. (Outra).

11.	Minicurso convidado no I Workshop-Escola de Computação e Informação Quântica.Informação quântica. 2006. (Outra).

12.	Conferencista convidado no VII French-Latin American Congress on Applied Mathematics.Solving a quantum chemistry problem with deterministic global optimization. 2005. (Congresso).

13.	Minicurso convidado no XXII Simpósio Brasileiro de Telecomunicações (SBrT).Introdução à computação quântica. 2005. (Simpósio).

14.	Minicurso convidado na Escola de Informação Quântica (UFAL).Algoritmos quânticos. 2005. (Outra).

15.	Conferencista convidado no Algebraic Graph Theory Journey.Linear algebra and quantum computation. 2004. (Encontro).

16.	Conferencista convidado no Two Days on Combinatorial Optimization.An overview of Grover s algorithm. 2003. (Encontro).

17.	Conferencista convidado no I Encontro de Informação Quântica (UFMG).A brief overview of computational complexity. 2002. (Encontro).

Organização de eventos

1.	LAVOR, C. . III Workshop-Escola de Computação e Informação Quântica. 2010. (Congresso).

2.	LAVOR, C. . II Workshop-Escola de Computação e Informação Quântica. 2007. (Congresso).

3.	LAVOR, C. . XIX International Symposium on Mathematical Programming. 2006. (Congresso).

4.	LAVOR, C. . I Workshop-Escola de Computação e Informação Quântica. 2006. (Congresso).

5.	LAVOR, C. . Encontro Regional de Matemática Aplicada e Computacional. 2005. (Congresso).

6.	LAVOR, C. . II Colóquio de História e Tecnologia no Ensino de Matemática,. 2004. (Congresso).

7.	LAVOR, C. . Two Days on Combinatorial Optimization: A Bridge Between Rio and Niterói. 2003. (Congresso).

Orientações

Orientações em andamento

Dissertação de mestrado

1.	Douglas Silva Maioli. Estabilidade de sistemas lineares em problemas de geometria molecular. Início: 2011. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas. (Orientador).

Tese de doutorado

1.	Felipe Delfini Caetano Fidalgo. Sistemas lineares em problemas de geometria molecular. Início: 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.	Warley Gramacho da Silva. Algoritmos paralelos para o cálculo de estruturas de proteínas. Início: 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro. (Orientador).

3.	Rafael Santos de Oliveira Alves. Álgebra geométrica aplicada a problemas de conformação molecular. Início: 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

4.	Douglas Soares Gonçalves. Tomografia de estados quânticos. Início: 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. (Co-orientador).

5.	Ivan da Silva Sendin. Tomografia de processo quântico. Início: 2008. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Co-orientador).

6.	Ana Camila Rodrigues Alonso. Matrizes de distâncias euclidianas. Início: 2008. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Co-orientador).

Supervisão de pós-doutorado

1.	Silvia Maria Simões de Carvalho. Início: 2011. Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Supervisões e orientações concluídas

Dissertação de mestrado

1.	Felipe Delfini Caetano Fidalgo. Algoritmos para problemas de geometria molecular. 2011. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

2.

Pedro Costa Nucci. Métodos computacionais para determinação da cadeia principal de proteínas baseados no problema molecular de geometria de distância. 2010. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlile Campos Lavor.

3.

Silas Sallaume. Cálculo de estruturas protéicas através da resolução do problema discreto de geometria das distâncias em moléculas. 2009. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

4.	Warley Gramacho da Silva. Algoritmos para o cálculo de estruturas de proteínas. 2008. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlile Campos Lavor.

5.	Marcos Roberto da Silva Gonçalves. Métodos computacionais para determinação de pontos de intersecção de n esferas no R^n. 2008. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Campinas, . Orientador: Carlile Campos Lavor.

6.	Rafael Santos de Oliveira Alves. Álgebra geométrica e o algoritmo de Grover. 2008. Dissertação (Mestrado em Matemática Aplicada) - Universidade Estadual de Campinas, . Orientador: Carlile Campos Lavor.

7.

Michael Ferreira de Souza. Uma nova metodologia para o cálculo da informação acessível. 2007. Dissertação (Mestrado em Modelagem Computacional) - Laboratório Nacional de Computação Científica, Fundação Carlos Chagas Filho de Amparo à Pesq. do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

8.	Leandro Bezerra de Lima. Aplicações de álgebra linear em ruídos quânticos. 2007. Dissertação (Mestrado em Mestrado Profissional em Matemática) - Universidade Estadual de Campinas, . Orientador: Carlile Campos Lavor.

9.

Ricardo dos Santos Carvalho. Extensão do algoritmo de construção geométrica para a determinação de estruturas moleculares. 2005. Dissertação (Mestrado em Matemática) - Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Orientador: Carlile Campos Lavor.

Tese de doutorado

1.

Nolmar Melo de Souza. Uma álgebra de Cliff ord de assinatura (n,3n) e os operadores densidade da teoria da informação quântica. 2011. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Carlile Campos Lavor.

2.	Michael Ferreira de Souza. Suavização hiperbólica aplicada à otimização de geometria molecular. 2010. Tese (Doutorado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

3.	Tatiane da Silva Evangelista. Discriminação de estados quânticos via programação semidefinida. 2009. Tese (Doutorado em Matemática Aplicada) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Carlile Campos Lavor.

4.	Weber Figueiredo da Silva. Estruturas atômicas com álgebra geométrica. 2009. Tese (Doutorado em Doutorado em Engenharia Elétrica) - Universidade Federal do Rio de Janeiro, . Orientador: Carlile Campos Lavor.

5.	Wanessa Carla Gazzoni. Caracterização de estados emaranhados. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Carlile Campos Lavor.

6.	Giuliano Gadioli La Guardia. Códigos clássicos e quânticos. 2008. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Co-Orientador: Carlile Campos Lavor.

Supervisão de pós-doutorado

1.	Michael Ferreira de Souza. 2011. Universidade Federal do Rio de Janeiro, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Carlile Campos Lavor.

2.	Antonio Mucherino. 2009. Ecole Polytechnique, Ecole Polytechnique - Paris. Carlile Campos Lavor.

Monografia de conclusão de curso de aperfeiçoamento/especialização

1.	César Guarino Moreira da Silva. Geração de números aleatórios. 2005. Monografia. (Aperfeiçoamento/Especialização em Especialização em Aprendizagem em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

2.	Ronaldo Adenoel Dolzani. Funções geradoras ordinárias. 2005. Monografia. (Aperfeiçoamento/Especialização em Especialização em Aprendizagem em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

3.	Gabriela dos Santos Barbosa. Funções geradoras e relações de recorrência. 2005. Monografia. (Aperfeiçoamento/Especialização em Especialização em Aprendizagem em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

4.	Humberto Macedo. Congruência de números inteiros. 2004. Monografia. (Aperfeiçoamento/Especialização em Especialização em Aprendizagem em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

5.	Luiz Alfredo Bilheo. Alguns problemas clássicos de probabilidade. 2003. Monografia. (Aperfeiçoamento/Especialização em Especialização em Aprendizagem em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

Trabalho de conclusão de curso de graduação

1.	Pedro Costa Nucci. Heurísticas para o problema molecular de geometria de distâncias aplicado a proteínas. 2008. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Carlile Campos Lavor.

2.	André do Nascimento Freitas. Análise do algoritmo de construção geométrica estendido e construção de um visualizador iterativo. 2005. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Rio de Janeiro. Orientador: Carlile Campos Lavor.

3.	Alexandre de Azevedo Moreira. Um estudo sobre o algoritmo quântico de Grover. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Computação) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

4.	Cleber Nascimento do Carmo. Uma análise estatística de geradores de números aleatórios. 2004. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Estatística) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

5.	Roberval Ferreira de Araújo. Otimização global e o método branch and bound. 2002. Trabalho de Conclusão de Curso. (Graduação em Bacharelado em Matemática) - Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

Iniciação Científica

1.	Fernando Nakatani de Oliveira Lopes. Algoritmos para o cálculo de estrutura de proteínas. 2011. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

2.	Thársis Tuani Pinto Souza. Algoritmos para cálculo de conformação molecular. 2009. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

3.

Thiago Resek Fabri dos Anjos. Aritmética intervalar aplicada a problemas de conformação molecular. 2009. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

4.	Rodrigo Shizuo Yasuda. Implementação de algoritmos para cálculo de estruturas moleculares. 2009. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

5.	Thársis Tuani Pinto Souza. Cálculo de geometria molecular. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Carlile Campos Lavor.

6.	Thiago Resek Fabri dos Anjos. Cálculo da capacidade de canais quânticos. 2008. Iniciação Científica. (Graduando em Engenharia da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo. Orientador: Carlile Campos Lavor.

7.

Pedro Costa Nucci. Determinação da estrutura tridimensional de moléculas utilizando técnicas de otimização. 2006. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Carlile Campos Lavor.

8.	Murilo Marcelino da Silva. O problema geométrico das distâncias moleculares. 2005. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade do Estado do Rio de Janeiro, Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.

9.	Michael Ferreira de Souza. Otimização global e computação quântica. 2004. Iniciação Científica. (Graduando em Bacharelado em Matemática) - Universidade do Estado do Rio de Janeiro, Universidade do Estado do Rio de Janeiro. Orientador: Carlile Campos Lavor.