Liyang HU
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolLiyang HU is a seasoned software engineer based in London with 16 years of experience specializing in Haskell and functional programming, focused on crafting correct, robust systems through well-chosen abstractions. His background spans academia (a PhD in Computer Science from Nottingham) and industry, from high-frequency market-making and trading systems to embedded multimedia and video codec optimization for constrained hardware. He has made notable open-source contributions to the influential lens library, enhancing optics and profunctor/contravariant utilities used across the Haskell ecosystem. Comfortable both building low-latency trading backends and proving compiler/correctness properties, he thrives in small, tightly knit teams tackling challenging problems. An uncommon combination of formal methods experience and production trading/embedded systems work gives him a rare ability to reason rigorously about performance-sensitive, concurrent software.
16 years of coding experience
3 years of employment as a software developer
PhD Computer Science, PhD Computer Science at University of NottinghamMSc Advanced Computing, MSc Advanced Computing at Imperial College LondonBA Mathematics Computer Science, BA Mathematics Computer Science at University of CambridgeA-Levels Mathematics Further Mathematics Chemistry Physics Computing, A-Levels Mathematics Further Mathematics Chemistry Physics Computing at Methodist College, Belfast
English, Japanese, Chinese
Stackoverflow
550reputation
3kreached
7answers
0questions
Github Skills (11)
functional-programming10
lenses10
haskell10
applicative6
attoparsec6
dynamic-linking6
deriving6
inline6
parsing6
ghc6
template-haskell6
Programming languages (8)
Github contributions (5)
ekmett/lens
Nov 2012 - Nov 2013
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Role in this project:
Back-end Developer
Back-end DeveloperContributions:17 commits in 1 year
Contributions summary:Liyang contributed to the `lens` library by introducing new functionalities related to functional programming and optics. They implemented features such as `_fmap` to lift `SimpleIso` and various `Profunctor` and `Contravariant` related functionalities. Furthermore, they addressed issues and refined existing components, including adding `contramapping` and `dimapping` to the `Control.Lens.Iso` module and other related code modifications. Their contributions centered on enhancing the library's capabilities in areas of functional programming and data transformation.
foldshaskellchatlensesjoin
tsurucapital/enummapset-th
Oct 2012 - Aug 2016
TH-generated EnumSet/EnumMap wrappers around IntSet/IntMap.
Contributions:20 commits, 1 PR, 11 pushes in 3 years 10 months
enumsetenummapwrappers
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.