Explore projects

Project in the master's course High Performance and Parallel Computing. It solves the shallow water equations using GPU with the C++ CUDA language.

Tiny Scala library to generate class files for the JVM

DSL in Scala for Constraint Solving with Z3 SMT Solver

Scala library for parsing and printing the SMT-LIB format

The main objective is to extract motion features that describe and quantify objectively the behavior of the participant in the sensorimotor task to induce PH. A pipeline based on DeepLabCut was implemented to track the subjects.