Explore projects

Repository containing the directory structure for LuB submissions.

Upstream Git Repository for Computer Organization and Networks Practicals 2019/20

ijtihad is a solver for Quantified Boolean Formulas based on counterexample-guided expansion.

Work on soft error analysis for the IMMORTAL project (activity with IBM)

Upstream Git Repository for Computer Organization and Networks Practicals 2020/21

This is the very first step towards Learning Mealy Machines with Timers.