Pascal Wittmann
Software Engineer at red6 enterprise software GmbH
Hamburg, Germany
Summary
🤩
Rockstar🎓
Top SchoolPascal Wittmann is a seasoned software engineer based in Hamburg with 16 years of experience building robust backend systems and developer-focused tooling. He brings deep language versatility—Java, Scala, Python and Haskell—paired with a research grounding in static analysis and formal methods from a M.Sc. at Technische Universität Darmstadt. At red6 enterprise software he combines practical product delivery with a strong engineering foundation, and earlier research work produced a type system for information-flow security in concurrent languages. An active open-source contributor, he has improved core components of the widely used Yesod Haskell web framework, enhancing form handling and content generation. Pascal’s profile blends production-grade backend engineering with formal, security-minded thinking that helps catch subtle correctness issues before they reach users.
16 years of coding experience
3 years of employment as a software developer
Technischen Universität Darmstadt
English, German, French
Stackoverflow
344reputation
21kreached
8answers
0questions
Github Skills (15)
use-form10
web-framework10
yesod10
eforms10
forms10
haskell10
configuration-management8
functional-interface6
git6
pdf6
cabal6
latex6
github6
inotifywait6
java6
Programming languages (24)
Github contributions (5)
yesodweb/yesod
Oct 2011 - Jan 2014
A RESTful Haskell web framework built on WAI.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:10 commits in 2 years 3 months
Contributions summary:Pascal primarily contributed to the Yesod web framework, focusing on improvements to form handling and content generation. They added functionality for configuring robots.txt, integrated new features for field settings in forms, and removed legacy "QQ" hacks. Furthermore, the user addressed issues related to atom feed generation. Their work focused on enhancing core framework components, and improving the functionality of Yesod.
apirestfulhaskellframeworkwebframework
pSub/nixpkgs
Jul 2015 - Dec 2022
Nix Packages collection
Contributions:22 PRs, 8 pushes, 4 branches in 7 years 6 months
nixosnix-packages
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.