Carla Negri Lintzmayer

Professor Adjunto
E-mail: carla.negri@ufabc.edu.br
Tel: (+55) (11) 4996-8304 (Sala)
Bloco A, Torre 2, Sala 508-2
Centro de Matemática, Computação e Cognição (CMCC)
Universidade Federal do ABC (UFABC)
Av. dos Estados, 5001
Bairro Bangu - Santo André - SP - Brasil
CEP 09210-580

Content of this page:



Research interests ✍ (voltar ao topo)

Combinatorial Optimization
Approximation Algorithms
Design and Analysis of Algorithms
Graph Theory
Combinatorics of Genome Rearrangements

"Suppose computers were infinitely fast and computer memory was free. Would you have any reason to study algorithms? The answer is yes, if for no other reason than that you would still like to demonstrate that your solution method terminates and does so with the correct answer."
(Introduction to Algorithms by T. H. Cormen, C. E. Leiserson, R. L. Rivest, C. Stein.)



Students 🐣 (voltar ao topo)

Current:
Master: Gustavo Borges Lugoboni (since 12/2019).
Um método para simular e verificar Redes de Petri Aninhadas.
Lucas Sampaio da Rocha (since 01/2020).
Algoritmos para Problemas de Remoção de Vértices em Grafos.
Undergrad: Guilherme Naziozeno Barreto (since 08/2019).
Problemas de Balanceamento de Carga em Teoria dos Jogos Algorítmica.
Gustavo da Silva Teixeira (since 08/2019). CNPq scholarship.
Problemas de Rearranjos de Genomas sobre Strings.
Lucas da Silva de Lima (since 08/2019). CNPq scholarship.
Algoritmos em Grafos.
Marcelo Tranche de Souza Junior (since 08/2019).
Algoritmos para o problema do Caixeiro Viajante.
Michele de Camillo Oliveira (since 02/2019).
Algoritmos para problemas de Transformação de Strings usando Rearranjos de Genomas.
Wesley Lima de Araújo (since 08/2019). Fapesp scholarship.
Algoritmos de Aproximação.

Past:
Master: Kent Emershon Yucra Quispe (co-supervisor, from 02/2017 to 04/2018). CAPES scholarship.
Algoritmos para o Problema de Realocação de Blocos.
Alexsandro Oliveira Alexandrino (co-supervisor, from 02/2017 to 02/2019). Fapesp scholarship.
Problemas de Ordenação de Permutações por Operações Ponderadas pelo Número de Fragmentações.
Guilherme Henrique Santos Miranda (co-supervisor, from 02/2017 to 02/2019). CAPES scholarship.
O Problema da Ordenação de Permutações por Operações de Tamanho Limitado.
Undergrad: Letícia Almeida Santos (from 08/2018 to 07/2019).
Algoritmos para Problemas de Roteamento de Veículos.
Marcelo Tranche de Souza Junior (from 08/2018 to 07/2019).
Algoritmos para os problemas do Caixeiro Viajante e da Árvore de Steiner.


Sobre orientações em pesquisa ⛅ (voltar ao topo)

Meus interesses se concentram na área de Teoria da Computação, com ênfase em Análise de Algoritmos e Otimização Combinatória.
Problemas em Otimização Combinatória têm como objetivo encontrar a melhor solução dentro de um enorme mas finito conjunto de soluções possíveis.
Eles surgem naturalmente de aplicações práticas (minimizar rotas de veículos, maximizar lucro, minimizar desperdício de material de produção, minimizar uso de recursos disponíveis, entre tantos outros) e, de modo geral, testar todos os elementos dentre as soluções possíveis na busca pela melhor mostra-se inviável na prática, mesmo para instâncias de tamanho moderado.
Estratégias que tem tido sucesso para tratar estes problemas envolvem métodos em algoritmos de aproximação, heurísticas e programação inteira, por exemplo.
Esse material dá uma ideia geral sobre a área de otimização e as abordagens utilizadas para tratar esses problemas, com alguns exemplos.

Procuro alunos que tenham afinidade com e gosto por matemática, análise de algoritmos e programação, criatividade, iniciativa, motivação e organização, para trabalhar em problemas e técnicas relacionados à área de Otimização Combinatória.

Se você estiver interessado(a), fique a vontade para me enviar um e-mail falando um pouco sobre você (descreva suas experiências, disciplinas que cursou, porquê se interessou pela minha área) e eu entrarei em contato assim que possível.



Publications ∞

Follow me
You can also check my Curriculum Lattes (in Portuguese)


Teaching (in Portuguese) 🥑 (voltar ao topo)

Atuais:
2020 Q1 - Análise de Algoritmos e Estruturas de Dados (pós)
2020 Q1 - Linguagens Formais e Automata

Outros:
Minicurso Introdução ao LaTeX
Banco de informantes

Anteriores:
2019 Q3 - Teoria dos Grafos
2019 Q2 - Análise de Algoritmos (diurno)
2019 Q2 - Análise de Algoritmos (noturno)
2019 Q1 - Processamento da Informação (Turma DA2 Prática)
2019 Q1 - Processamento da Informação (Turma DB5 Prática)
2019 Q1 - Análise de Algoritmos e Estruturas de Dados (pós)
2018 Q3 - Teoria dos Grafos
2018 Q3 - Programação Estruturada
2018 Q2 - Análise de Algoritmos
2018 Q2 - Bases Computacionais da Ciência (Turma DC2)
2018 Q1 - Processamento da Informação (Turma DA8 Prática)


Organization of events ♣ (voltar ao topo)

14th Latin American Theoretical INformatics Symposium (LATIN)
3° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA 2019)
1° CMCC Talks (2018)
2° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA 2018)
1° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA 2017)


Participation in events ♠ (voltar ao topo)

3° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA). September 4-8 2019. Nazaré Paulista, São Paulo, Brazil.
X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS). June 2-7 2019. Belo Horizonte, Minas Gerais, Brazil.
2° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA). August 30 - September 02 2018. Serra Negra, São Paulo, Brazil.
3º Encontro de Teoria da Computação (ETC). July 22-24 2018. Natal, Rio Grande do Norte, Brazil.
13rd Latin American Theoretical INformatics Symposium (LATIN). April 16-19 2018. Buenos Aires, Argentina.
18° Oficina Nacional de Problemas de Corte e Empacotamento, Planejamento e Programação de Produção e Correlatos. November 7-8 2017. São José dos Campos, São Paulo, Brazil.
1° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA). June 16-18 2017. Águas de Lindóia, São Paulo, Brazil.
2° Encontro de Teoria da Computação (ETC). July 3-4 2017. São Paulo, São Paulo, Brazil.
São Paulo School of Advanced Science on Algorithms, Combinatorics and Optimization (SP-School). July 18-29 2016. São Paulo, São Paulo, Brazil.
1st International Conference on Algorithms for Computational Biology (AlCOB). July 1-3 de 2014. Tarragona, Spain.
11th Latin American Theoretical INformatics Symposium (LATIN). March 31-April 4 2014. Montevideo, Uruguay.
XLIII Simpósio Brasileiro de Pesquisa Operacional (SBPO). August 15-18 2011. Ubatuba, São Paulo, Brazil.


Other 🦖 (voltar ao topo)

Online courses of algorithms, by prof. Tim Roughgarden, from Stanford: part 1 and part 2
Map of computer science
Map of mathematics
Geeks for Geeks
A compendium of NP optimization problems
The Algorithm Design Manual
CrashCourse Computer Science
Guia de escrita e edição de textos
Humans need not apply
My Thesis (in English)
Implementation of the algorithms I proposed in my thesis
Bibliography for Genome Rearrangements
Bibliography for Packing and some related problems
Links to Combinatorial Conferences
The Grammar According to West
Journals (etc.) in Discrete Mathematics and related fields
Programa Roda Viva: Ciência e Tecnologia (06/nov/2017)


About Me 🐧 (voltar ao topo)

2017 - 2018 Postdoctoral researcher in Computer Science
University of Campinas (UNICAMP), Brazil
Title: One and Two-dimensional Bin Packing with Conflicts and Unloading Restrictions
Supervisor: Flávio Keidi Miyazawa (Curriculum Lattes) (also working with Eduardo Candido Xavier (Curriculum Lattes))
Scholarship: Fundação de Amparo à Pesquisa do Estado de São Paulo (Fapesp)
2012 - 2016 Ph.D. in Computer Science
University of Campinas (UNICAMP), Brazil
with a 6 month period at University of Nantes, France (under orientation of Guillaume Fertin)
Title: The Problem of Sorting Permutations by Prefix and Suffix Operations
Supervisor: Zanoni Dias (Curriculum Lattes)
Scholarship: Fundação de Amparo à Pesquisa do Estado de São Paulo (Fapesp)
2008 - 2011 B.Sc. in Computer Science
State University of Maringá (UEM), Brazil
Title: Heuristic Algorithms for Graph Coloring (in Portuguese)
Supervisor: Mauro Henrique Mulati (Curriculum Lattes)





Carla Negri Lintzmayer - carla.negri@ufabc.edu.br