Uni projects

Projects at Johannes Kepler university Linz

fuzz.pdf
fuzz-presentation.pdf

Fuzz

Automatic black box fuzz testing using feedback and evolutionary methods. Master thesis in formal models and verification at JKU. Cited in "Model-Based Testing for Verification Back-ends" by Cyrille Artho, Armin Biere, Martina Seidl.

SECure ENVironment.pdf

Secure Environment

A project trying to secure an application by encrypting it with the characteristics of the runtime system.

Billiard.pdf

Simulation of Billiards

Bachelor thesis in computer graphics at JKU.

jp3d.pdf

JPEG 3D

Overview of the JP3D standard. Seminar at the institute of Computational Perception.

Subdivision.pdf

Subdivision

Seminar in computer graphics at GUP.

Apache vs. IIS.pdf

Web Server Stress Test

Stress test comparison of Apache and IIS.

Spam.pdf
Spam_pres.pdf

SPAM

Basic overview of SPAM.

Robotics

Things you can do with Lego Mindstorms.

Robotics Website

ComputerGames.pdf

Computer games

One of my first documents giving a general overview of computer games.