Skip to content
View lapplislazuli's full-sized avatar
πŸ—
πŸ—
  • Lost - Still on Earth

Highlights

  • Pro
Block or Report

Block or report lapplislazuli

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
lapplislazuli/README.md

Hi There! I'm Leonhard. πŸ‘‹

Welcome to my Github Profile.

I am currently doing my PhD at the TU Delft in the Software Engineering Research Group (SERG) where I work in the CISELab. My research track is labelled "AI Testing and Testing AI" - So I do twice the AI and twice the Testing that other researchers do. I am very much the Thermomix of Software Engineering AI. But recently, I have spent most of my work-time with Matthi on improving tooling for Haskell!

I like:

  • β˜• Java & πŸ’œ Haskell
  • πŸ” Testing
  • πŸ‘₯ Humans

I try to do everything open source, so most of the repositories you see here have badgeD .

If you want to reach me, you can either

Pinned

  1. Chesskell Chesskell Public

    A game of Chess

    Haskell

  2. Tritlo/PropR Tritlo/PropR Public

    Genetic program repair using GHC

    Haskell 28 2

  3. ciselab/Lampion ciselab/Lampion Public

    Metamorphic Transformations for ML-SE Robustness Analysis

    Java 4 2

  4. ciselab/HasBugs ciselab/HasBugs Public

    A modern Haskell Bugs Dataset to enable Fault Localization, Program Repair and Test Generation

    Shell 3 1