Explore projects

code for EMNLP 2019 paper Text Summarization with Pretrained Encoders

This solves colorable maps like e.g in the bonus exercise of Week 04 (SS2023) in PS Logic.

This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.

Git repository for saving images to use for quiz in teaching (particify).

Bachelor Thesis

Slides: Protoptying (autonomous) robots using python and ros. ROS Workspace and example scripts used in the workshop.