Carla Negri Lintzmayer

Professor Adjunto - Atual Coordenadora da Pós-Graduação em Ciência da Computação
E-mail: carla.negri@ufabc.edu.br
Tel: (+55) (11) 4996-8304 (Sala)
Office: 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
09210-580


Research interests ✍

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.)


Orientações 👣

Meus interesses fazem parte da área de Teoria da Computação, com ênfase em Análise de Algoritmos, Otimização Combinatória e Teoria Estrutural de Grafos.

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 têm 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.
Muitos problemas de otimização combinatória também envolvem grafos, discutidos a seguir.

Um grafo é uma estrutura que representa relações par-a-par entre objetos, podendo representar inúmeras situações reais. São compostos de vértices (os objetos) e arestas (as relações).
Por exemplo, vértices podem representar cidades enquanto arestas indicam se duas cidades são vizinhas; vértices podem representar clientes e fábricas e arestas podem indicar quais fábricas atendem quais clientes; vértices podem representar atividades a arestas podem indicar que duas atividades não podem ser realizadas ao mesmo tempo; entre outras. Além disso, atributos como cores e pesos podem ser associados aos vértices e/ou às arestas, aumentando ainda a gama de situações que podem ser representadas por eles.
Em Teoria dos Grafos, o objetivo é estudar essas estruturas de um ponto de vista teórico, de forma a entender melhor as leis que os governam.

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 ou em Teoria Estrutural de Grafos.

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



Students 🐣

Current master students: Current undergrad students: Past master students: Past undergrad students:

Publications 👩💻

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


Teaching (Disciplinas) 🥑

Os materiais a seguir são de revisão para as disciplinas que eu ministro, feitos por mim: Para um bom acompanhamento das disciplinas, é ideal que você já tenha tido alguma exposição mínima a esses assuntos.
Atuais (Q1 de 2022):
Análise de Algoritmos e Estruturas de Dados (pós)
Linguagens Formais e Automata (A1 diurno)

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

Anteriores:
Análise de algoritmos: 2021 Q1 (pós), 2020 QS (graduação e pós), 2020 Q1 (ECE, pós), 2019 Q2 (diurno), 2019 Q2 (noturno), 2019 Q1 (pós), 2018 Q2.
Bases computacionais da ciência: 2018 Q2 (Turma DC2).
Linguagens formais e automata: 2021 Q1 (noturno), 2020 Q1 (ECE) .
Processamento da informação: 2021 Q2 (Turmas A8 e B8 diurno), 2019 Q1 (Turma DA2 Prática), 2019 Q1 (Turma DB5 Prática), 2018 Q1 (Turma DA8 Prática).
Programação estruturada: 2018 Q3.
Teoria dos grafos: 2019 Q3, 2018 Q3.


Events organization 🍵

2° Workshop Chileno Paulista em/en Grafos (ChiPaGra 2021)
XI Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS 2021)
1° Workshop Chileno Paulista em/en Grafos (ChiPaGra 2021)
14th Latin American Theoretical INformatics Symposium (LATIN 2020)
4° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA 2020)
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)


Events participation 🗺

6º Encontro de Teoria da Computação (ETC). Jul 18-23 2021. Online.
XI Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS). May 17-21 2021. Online (originally scheduled to be at São Paulo, Brazil).
1° Workshop Chileno Paulista em/en Grafos (ChiPaGra). May 10-12 2021. Online.
14th Latin American Theoretical INformatics Symposium (LATIN). January 5-8 2021. Online (originally scheduled to be at São Paulo, Brazil).
5º Encontro de Teoria da Computação (ETC). November 16-20 2020. Online (originally scheduled to be at Cuiabá, Mato Grosso, Brazil).
4° Workshop Paulista em Otimização, Combinatória e Algoritmos (WoPOCA). November 3, 7-9 2020. Online.
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.


Interesting stuff 🧁

Seminário Brasileiro de Grafos, Algoritmos e Combinatória
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
Numberphile
Computerphile
3Blue1Brown
Algorithms Course - Graph Theory Tutorial from a Google Engineer
The History of Undecidability
P vs. NP and the Computational Complexity Zoo
A compendium of NP optimization problems
CrashCourse Computer Science
The Algorithm Design Manual
Guia de escrita e edição de textos
Humans need not apply
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 🐧

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)
Bibliography for Packing and some related problems
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)
My Thesis (in English) and the implementation of the algorithms I proposed
Bibliography for Genome Rearrangements
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