Explore projects

This project has been moved to GitLab.com.

Deprecated. The first attempt at a cost analysis for iTasks

Interpreter for my mapper language for abstraction in automata learning.

Computer Science Master's Thesis

Active Learning of NOndeterministic Systems

Haskell implementation of Tasks

ARM implementation of the ChaCha20 block cipher