COMPL, TU, Berlin, Germany
2025-05-25 to 2025-08-01
Supervised by Michel STEUWER and Bastian KÖPCKE
Formalization and formal proof of views and execution resources (notably warps) in the safe GPU programming language Descend
KERDATA, INRIA, Rennes, France
2024-09-26 to 2025-05-12
Supervised by Jakob LUETTGAU and Marcello TRAIOLA
Implementation and analysis of computational storage accelerators for climate datas
SEMAGRAMME, LORIA, Nancy, France
2024-06-03 to 2024-08-09
Supervised by Philippe DE GROOTE
Worked on a systematic translation from dependancy analysis to Montague's semantic terms