2021-24 |
Bernardo Ferrari |
Computer Science
Universidade Federal de Santa Catarina |
A programming language with refinement types and its LLVM-IR front end implementation |
Cadence Design Systems |
2022-23 |
Kirill Golubev |
Computer Science
ITMO |
Adding Separation Logic Support to LiquidJava |
PhD at Uppsala University |
2021-22 |
Miguel Tavares |
Software Engineering
U.Lisboa |
RobotFix: Detecting Bugs On Variables In Robot Programs
(co-advised by Chris Timperley) |
CrossJoin Solutions |
2021-22 |
Ricardo Cordeiro |
Software Engineering
U.Lisboa |
Formalization and Runtime Verification of Invariants for Robotic Systems
(co-advised by Chris Timperley) |
Köerber Supply Chain |
2021-22 |
Leon Ingelse |
Data Science
U.Lisboa |
Optimization of Feature Learning through Grammar-Guided Genetic Programming |
Onja |
2020-21 |
Catarina Gamboa |
Software Engineering
U.Lisboa |
LiquidJava : extending Java with refinements
(co-advised by Chris Timperley) |
PhD at CMU and U.Lisboa |
2020-21 |
Gonçalo Duarte |
Software Engineering
U.Lisboa |
Bio-inspired optimization algorithms for unit test generation
(advised by José Campos) |
FundManager |
2020-21 |
João David |
Software Engineering
U.Lisboa |
Improving Machine Learning Pipeline Creation using Visual Programming and Static Analysis |
Critical TechWorks
(BMW and Critical Software) |
2020-21 |
Máximo Oliveira |
Software Engineering
U.Lisboa |
Exploring a Larger Search Space for Automatic Program Repair |
BlackRock |
2019-20 |
Paulo Santos |
Software Engineering
U.Lisboa |
Towards the Conceptualization of Refinement Typed Genetic Programming |
PhD at CMU and U.Lisboa |
2019-20 |
Guilherme Espada |
Software Engineering
U.Lisboa |
Automatic Conversion of Ada Source Code to Scala |
PhD at U.Lisboa |