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 |
2025.
Clone detection for UI elements.
Short description: Detection of code clones across interface elements for Kotlin and Dart codebases Advisors: Nicolas Cardozo
Read more...
|
|
2025.
Language to Language translation.
Short description: Review of existing techniques for language to language translations 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.
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...
|
|
|
2025.
Procesamiento de Lenguaje Natural (NLP).
Short description: Desarrollo de algoritmos de procesamiento de lenguaje natural! Advisors: Ruben Manrique
Read more...
|
|
|
2025.
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...
|
|
|
2025.
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, Daniel Barrero
Read more...
|
|
|
2025.
A complete C grammar.
Short description: Build a grammar and parser for the C programming language. 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...
|
|
|
Master theses |
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.
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.
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...
|