These are the topics we are currently offering to bachelor and master students to work with FLAG.
If you are writing a thesis with FLAG you must:
- Use our thesis template
- Add your thesis repository (code and text) to the appropriate FLAG team
- Follow the writing tips from the following sources
- Eric Tanter
- Luiz DaSilva
- THE writing a Ph.D. thesis
|
Undergrad theses |
2026.
Clone detection for UI elements.
Short description: Detection of code clones across interface elements for Kotlin and Dart codebases Advisors: Nicolas Cardozo
Read more...
|
|
2026.
Implementation and evaluation of Distributed Algorithms in a Swarm.
Short description: Exploration of distributed algorithms and communication schemes in swarm environments Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Language to Language translation.
Short description: Review of existing techniques for language to language translations Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Verification of Parameter Passing Semantics in Actor Systems.
Short description: Formal verification of function distribution using pass-by-move semantics in actor systems Advisors: Nicolas Cardozo, Mateo Sanabria
Read more...
|
|
|
2026.
Desarrollo de software para bioinformática.
Short description: Se buscan estudiantes que quieran trabajar en bioinformática contribuyendo de diferentes maneras con el desarrollo del software NGSEP Advisors: Jorge Duitama
Read more...
|
|
|
2026.
Linear types for Quantum computing in Gleam.
Short description: Develop a linear type system in gleam to be used in the development of Quantum computing programs Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Athena Language Server.
Short description: Building a VSCode Language Server for the Athena Language Advisors: Mateo Sanabria, Nicolas Cardozo
Read more...
|
|
|
2026.
Reinforcement Learning for logistics.
Short description: Using RL techniques to improve the organization, management and behavior of different logistics processes Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Programming robots.
Short description: Using reinforcement learning on robot environments Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Two q-bit or not two q-bit.
Short description: Build programs on real programming languages for actual quantum computers Advisors: Nicolas Cardozo
Read more...
|
|
|
2025.
A complete Rust grammar.
Short description: Build a grammar and parser for the Rust programming language. Advisors: Nicolas Cardozo
Read more...
|
|
|
2025.
Procesamiento de Lenguaje Natural (NLP).
Short description: Desarrollo de algoritmos de procesamiento de lenguaje natural! Advisors: Ruben Manrique
Read more...
|
|
|
2025.
Evaluation of post-quantum cryptography languages.
Short description: There are several frameworks and languages to implement post-quantum crytography algorithms. The purpose of this work is to evaluate their usability. Advisors: Nicolas Cardozo, Camilo Escobar
Read more...
|
|
|
2025.
A complete C grammar.
Short description: Build a grammar and parser for the C programming language. Advisors: Nicolas Cardozo
Read more...
|
|
|
Master theses |
2026.
Reinforcement Learning for logistics.
Short description: Using RL techniques to improve the organization, management and behavior of different logistics processes Advisors: Nicolas Cardozo
Read more...
|
|
2026.
Completeness analysis for adaptive JavaScript programs.
Short description: Evaluating completeness of JavaScript programs based on a completeness enhancement of the points-to analysis Advisors: Nicolas Cardozo
Read more...
|
|
|
2026.
Verification and testing, together again for the first time.
Short description: Create a language bridge between a formal verification language (Athena) and programming language (Elixir) to assure the correct execution of distributed systems Advisors: Mateo Sanabria, Nicolas Cardozo
Read more...
|
|
|
2025.
TAD-ah.
Short description: TAD-ah is a new language implementation based on Abstract Data Types (ADTs) that does not have null Advisors: Nicolas Cardozo
Read more...
|
|
|
2025.
Swarm behavior.
Short description: Exploration of swarm behavior algorithms in distirbuted (robotic systems) Advisors: Nicolas Cardozo
Read more...
|
|
|
2025.
Two q-bit or not two q-bit.
Short description: Build programs on real programming languages for actual quantum computers Advisors: Nicolas Cardozo
Read more...
|