Explore projects

An executable formal semantics of PHP 5

This is a implementation of first order predicate logic statement evaluator.

MSc. Individual Project - Prototype for GPS Stream Processing For Flexible Zone Monitoring - Maximilian Lau

A RC quadcopter flight controller for Arduino with an Android client