Csongor Kiss
Software Engineer
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolCsongor Kiss is a software engineer based in London with 11 years of experience building and architecting backend systems. An Imperial College London first-class graduate, he brings strong type-system and language-design expertise demonstrated by substantive contributions to the GHC proposals repository, including work on Unsaturated Type Families and matchability polymorphism. He blends practical software engineering with formal reasoning, having specified kind-system changes, inference strategies, and detailed design diagrams that anticipate interactions with existing language features. Known self-deprecatingly as a "dysfunctional programmer" on GitHub, he pairs sharp technical rigor with a candid, curious style that surfaces non-obvious tradeoffs. Colleagues rely on him for tackling complex compiler and language problems that require both deep theory and pragmatic engineering.
11 years of coding experience
1st class, 1st class at Imperial College London
English, Hungarian
Stackoverflow
725reputation
54kreached
9answers
3questions
Github Skills (14)
compiler-design10
typeset10
haskell10
ghc10
architecture9
architectures9
type-inference9
programming-language8
transform6
gadt6
android-studio6
android6
pattern-matching6
combinations6
Programming languages (16)
Github contributions (5)
ghc-proposals/ghc-proposals
Jun 2019 - Dec 2020
Proposed compiler and language changes for GHC and GHC/Haskell
Role in this project:
Back-end Developer & Software Architect
Back-end Developer & Software ArchitectContributions:32 reviews, 46 commits, 1 PR in 1 year 5 months
Contributions summary:Csongor primarily worked on a proposal for the GHC compiler, specifically regarding Unsaturated Type Families. Their contributions involve specifying changes to the kind system, including the introduction of matchability polymorphism. They modified the existing proposal, added explanations and diagrams, and discussed the implications of the changes. This user also contributed to the syntax and inference strategies and addressed potential interactions with existing language features.
language-changesghchaskellcabalcompiler
kcsongor/generic-lens
Sep 2016 - Jun 2022
Generically derive traversals, lenses, and prisms.
Contributions:11 releases, 2 reviews, 277 commits in 5 years 10 months
prismsopticsderivelensesgenerics
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.