• Although this may seen a paradox, all exact science is dominated by the idea of approximation.

    Bertrand Russell (1872-1970)

About me

Academic background

PhD (2018 - 2022) in Computer Science


Universidade Federal do Parana, Brazil (UFPR)
Approximation Algorithms in Graphs via Sample Complexity
Advisors: André Luis Vignatti, PhD and Murilo Vicente Gonçalves da Silva, PhD
  • Research topics: Graph theory, approximation algorithms, analysis of algorithms
  • Design approximation algorithms based on sampling for complex networks (with a particular interest in power-law graphs, which are common in social and natural phenomena) using key concepts from statistical learning theory.
Funded by CAPES

MSc (2015 - 2017) in Computer Science


Universidade Federal do Parana, Brazil (UFPR)
Advisor: Renato Carmo, PhD.
Title: Algoritmos exatos para o problema da coloração de grafos
  • Research topics: Graph theory, analysis of algorithms, graph coloring problem
  • Surveyed the state-of-the-art exact algorithms for the graph coloring problem. The main goal of the thesis is to group and contextualize such algorithms, which were scattered in the literature at that time.
Funded by CAPES

BSc (2011 - 2014) in Computer Science


Universidade Estadual do Centro Oeste do Paraná (Unicentro), Brazil
Advisor: Fábio Hernandes, PhD.
Title: A coloração de grafos fuzzy aplicada ao problema de alocação de horários
  • Research topics: graph theory, fuzzy set theory
  • Studied how to use Graph Theory and fuzzy graph coloring to create an algorithm that generated the Computer Science course timetable, so that the amount of conflicts in schedules was the minimum possible.
Funded by Araucária Foundation

Currently, I am working with

Power-law Graphs

Approximation Algorithms

Sample Complexity

Who am I?

I am a passionate researcher and science disseminator in the field of Theoretical Computer Science.

I am a BSc in Computer Science by Midwestern State University (UNICENTRO) and I am a MSc in Computer Science by Federal University of Paraná (UFPR). I am currently a PhD candidate of TEORIA research group (Theory of Computation, Optimization and Combinatorics) from Federal University of Paraná (UFPR). My main interests rely on approximation algorithms for complex networks using statistical learning theory.

I truly believe in the expansion of computational powers by the comprehension of theoretical computer science and applied areas, but besides that, I believe in a more acessible science for all, so that's why I chose to be a science disseminator in my social media profiles.

In spite of being a person that works with machines and lots of numbers, I love working and connecting with people. I love sharing my knowledge with people and showing them how fantastic the world of technology can be. I consider myself an artistic and creative person, and I believe being a music enthusiast allows me not only to have the creativity to solve problems, but it also gives me the sensibility to my personal relationships.

Research Papers

(Alane M. de Lima, Murilo V. G. da Silva, André L. Vignatti)
In the Proceedings of the 15th Latin American Theoretical Informatics Symposium, 2022.
[https://link.springer.com/chapter/10.1007/978-3-031-20624-5_20]

(Alane M. de Lima, André L. Vignatti, Murilo V. G. da Silva)
Submitted to Discrete Applied Mathematics, 2022.
[http://www.inf.ufpr.br/amlima/dom-tcs.pdf]

(A. M. de Lima, A. L. Vignatti, M. V. G. da Silva)
Submitted to Journal of Graph Algorithms and Applications, 2022.
[https://www.inf.ufpr.br/amlima/sp2022.pdf]]

(Alane M. de Lima, Murilo V. G. da Silva, André L. Vignatti)
In Proceedings of IV Workshop de Pesquisa em Computação dos Campos Gerais (WPCCG), 2021.
[http://www.wpccg.pro.br/wpccg2021/resumos/WPCCG_2021_paper_10.pdf]

(Alane M. de Lima, André L. Vignatti, Murilo V. G. da Silva)
In press. Discrete Applied Mathematics, 2021.
[https://www.sciencedirect.com/science/article/abs/pii/S0166218X21002821]

(Alane M. de Lima, Murilo V. G. da Silva, André L. Vignatti)
In Proceedings of VI Encontro de Teoria da Computação (ETC), 2021.
https://sol.sbc.org.br/index.php/etc/article/view/16369/16210

(Alane M. de Lima, Murilo V. G. da Silva, André L. Vignatti)
In Proceedings of 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2020.
https://dl.acm.org/doi/10.1145/3394486.3403235

(Alane M. de Lima, André L. Vignatti, Murilo V. G. da Silva)
In Proceedings of the 16th National Meeting on Artificial and Computational Intelligence (ENIAC), Salvador-Brazil, 2019
https://sol.sbc.org.br/index.php/eniac/article/view/9319
[pdf]

(Alane M. de Lima, Giovanne M. dos Santos, André L. Vignatti, Murilo V. G. da Silva)
In Proceedings of the III Workshop de Pesquisa em Computação dos Campos Gerais (WPCCG), Ponta Grossa-Brazil, 2019
[pdf]

(Alane M. de Lima, Renato Carmo)
Revista de Informática Teórica e Aplicada (RITA)
DOI: https://doi.org/10.22456/2175-2745.80721

(Fábio Hernandes, Alane M. de Lima)
III Congresso Brasileiro de Sistemas Fuzzy - João Pessoa-PB-Brazil
Recentes Avanços em Sistemas Fuzzy, v. 1, p. 163-174, 2014
[pdf]

Media Publications

Previous Activities

Download CV

Lecturer August 2017 - January 2018

Universidade Estadual do Centro-Oeste do Paraná (Unicentro), Guarapuava-PR-Brazil
  • Programs: Computer Science, Computational and Applied Mathematics
  • Courses: Complexity and Algorithm Analysis, Graph Algorithms, Data Structures

Full-stack developer July 2014 - Decemeber 2014

Sigma Dataserv Informática S/A, Guarapuava-PR-Brazil
  • Internship on software development in Java and Javascript.
  • Worked in projects for the state government services as the Guarda Mirim of Paraná and the System of Electronic Processes of Polícia Militar do Paraná (eProc PMPR).

Undergraduate research project July 2012 - July 2014

Study of the shortest path problem in graphs using fuzzy set theory.
  • Projects: 1. Um algoritmo genérico para o problema de caminho mínimo fuzzy / 2. O problema de caminho mínimo fuzzy: uma abordagem utilizando os conceitos de dominância e similaridade
Advisor: Fábio Hernandes, PhD.
Funded by Araucária Foundation

Undergraduate Teaching Assistant February 2012 - July 2012

Course: Introduction to Programming
Undergraduate course supervisor: Inali Wisniewski Soares, PhD.
  • Provide support for the professor in her classes and tutorials for students; mentor students in programming concepts and the use of C language.
Funded by UNICENTRO

Ambassador March 2022 -

Meninas in Tech LBTQ+
  • The non-governmental organization NGO Fly Educação aims to bring education closer to Latin American people in vulnerable situations. The NGO organizes courses based on technical training combined with socio-emotional and cognitive development. One of its projects is the Meninas in Tech LBTQ+, which seeks to bring opportunities for insertion in technology to girls and women who identify themselves in this community.

Academic and Outreach Talks

November 27, 2019 - Guarapuava-Brazil

VIII Jornada de Atualização em Informática da UNICENTRO (JAI/UNICENTRO)

From the Search for Truth to Computability: The Beginning (Da busca pela verdade a computabilidade: como tudo começou)

Escuela Discrets
January 08, 2020 - Valparaiso-Chile

XV Summer School in Discrete Mathematics (XV Escuela de Verano en Matemáticas Discretas)

Sample Complexity in Graph Problems (Complexidade de Amostra em Problemas em Grafos)

Inspired by Ada
February 11, 2020 - Curitiba-Brazil

Girls in Science Meeting

Inspired by Ada - The History of Theoretical Computer Science and the Contribution of Women in the Field (Slideshow in Portuguese)

May 14, 2020

Emílias Podcast S01E17 - UTFPR Project

Interview about my research and experience of being a woman in IT (in Portuguese).

August 14, 2020

Como apresentar um artigo científico - Escola de Inverno UFF

Lecture about how to prepare and present a paper in a conference (in Portuguese).

YouTube video (in Portuguese)

August 19, 2020

A importância da pesquisa básica em Tecnologia da Informação - Science Talks com Marcela dos Santos (Marcela Pesquisa)

Live video about the importance of basic research on Information Technology (in Portuguese).

Centro Universitário Campos de Andrade (Uniandrade) - Curitiba, Brazil - September 15, 2020

The importance of the knowledge of the main computational complexity classes in reference of the famous open question: “P = NP?”

Talk given to the Computer Science Department of Uniandrade.

Midwestern Paraná State University (UNICENTRO) - Guarapuava, Brazil - September 22, 2020

How to present a scientific paper

Talk given to the Computer Science Department of UNICENTRO.

Girls in Science Meeting (Meninas nas Exatas: Por Elas para Todos), Federal University of Paraná (UFPR) - Curitiba, Brazil - February 11, 2021

Understanding how Google Search Algorithm Works: an Introduction to the Field of Social and Complex Networks.

Emílias Armações em Bits Project, Federal University of Technology – Paraná (UTFPR) - Curitiba, Brazil - March 08, 2021

An Introduction to the Study of Social and Economic Networks.

Canadian Discrete and Algorithmic Mathematics Conference - Ottawa, Canada - May 26, 2021

Sample Complexity in Graph Problems.

IFC Talks, Catarinense Federal Institute - Concordia, Brazil - August 11, 2021

Research and Science Dissemination.

Centro Universitário Campos de Andrade (Uniandrade) - Curitiba, Brazil - September 22, 2021

The History of Computer Science.

Get in Touch

Contact

Professional email:

amlima@inf.ufpr.br

Personal email:

alane93@gmail.com

LinkedIn

Medium

ResearchGate

Currículo lattes (in portuguese)