|
Advanced Formal Tools
|
PRISM case study with an investor in a simplified market (Github)
|
|
Bachelor Project
|
Implementation of learning methods inspired by reinforcement learning for symmetric rendezvous problem on the line (Github, google colab).
|
|
Informatics Project
|
Backend development: Implementation of REST services with Java, as well as PostgreSQL databases with Docker containers (Github)
|
|
Computer Informatics Applications
|
Automatization of several time-consuming manual procedures for climate simulations: e.g
separating ocean from land using simple altitude thresholding (Gitlab)
|
