Stefan Butz

Advancing the internal OpenBSD fork (kernel and userland) which builds the basis for an highspeed packet filter and VPN Appliance (C, Shell) Intensive testing using modern cloud infrastructure (Openstack, Docker, Ruby) Peer code reviews Reproducing and fixing complex bugs

Key tasks: • Implementing user stories with focus on security and performance • Code reviews, documentation, tests • Reproduce and fix bugs and performance issues Areas: • Full stack development (Ruby-on-Rails, JavaScript) • Systems Programming on Unix, mainly networking services and security relays (C, Perl, Shell) • Virtualization based on a L4 Microkernel, Linux, QEMU (C/C++, Python, Shell)

Courses: Web Development, Linear Algebra Preparing and Performing practice sessions Crafting and correcting study tests

Developing an Android App to log maintenance work at windmills (process digitalization)

Tutoring for secondary and high school in STEM modules

Grade: 1,2 Bachelor thesis: Designing and implementing a tool to extract trace records from the fiasco microkernel • FPGA-based PCIe Screamer to access the target machine’s memory using DMA • Extract trace records at rate up to 100MB/s • Prepare trace records for further analysis Study projects: • Stock trading platform using Spring Boot (Java) • Basic i386 kernel (C, self-study for operating system course) • Analyzing wine quality using data m

Pure self-study (no school) Grade: 2,0

Grade: 1,3