Skip to content

lapplislazuli/Lapplislazuli

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

9 Commits
Β 
Β 
Β 
Β 

Repository files navigation

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

Welcome to my Github Profile.

Right now I am a Research Fellow at the NUS, working with Prof. Roychoudhury in the Trustworthy and Secure Software Group. I'll be working mostly on automated programming and automated program repair with AI components. I got my PhD at the TU Delft in the Software Engineering Research Group (SERG) where I worked in the CISELab. My thesis is titled Tool-Driven Quality Assurance for Functional Programming & Machine Learning, and consist of half work on testing Models of Code and half tooling in and for Haskell. Some of my coolest work is with Matthi on improving tooling for Haskell!

I like:

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

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

  • πŸ“§ email me at the emails on my github profile (Sorry, but they change a lot for researchers πŸ€”)
  • ❗ Open an issue anywhere around and @ me
  • πŸ‘‹ find me somewhere in singapore, or stop me at a conference.

About

For my Fans

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published