Skip to content
View DennisKleinhans's full-sized avatar

Highlights

  • Pro

Block or report DennisKleinhans

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
DennisKleinhans/README.md

💫 About Me:

Hi, I'm Dennis 👋

I am a Computer Science Master’s student with a focus on programming languages, compiler construction, type systems, and algebraic effects.

I am interested in both the theoretical foundations and the practical implementation of programming languages. I enjoy exploring how language features are designed and how they are translated into efficient and expressive implementations.

🔍 Current Interests

  • Programming language design
  • Type systems
  • Algebraic effects & effect handlers
  • Compiler construction
  • Functional programming
  • Monomorphization in intermediate representations grounded in the sequent calculus (Master’s thesis)

🛠️ Background

I have experience in software development across different technologies and languages, including Java, Python, Scala, and TypeScript.
Alongside my studies, I also work on practical projects in software engineering and research environments.

📌 What you'll find here

  • Experiments with programming language concepts
  • Small projects related to compilers and type systems
  • General software projects

Currently, I also work as a student assistant (Hiwi) at Fraunhofer IPA on the sQUlearn project. 👨‍💻

🌐 Socials:

LinkedIn

📊 GitHub Stats:



Pinned Loading

  1. EffektPy EffektPy Public

    A tiny Python-inspired functional language with static type inference, implemented and evaluated in Effekt using effects and handlers.

    Nix 1

  2. pidu-lang pidu-lang Public

    Experimental compiler written in Scala with a focus on education and fun

    Scala