Yijun Liu
Senior Product Owner at Baxter Planning
Barcelona, Catalonia, Spain
Summary
🤩
Rockstar🎓
Top SchoolYijun Liu is a Senior Product Owner based in Barcelona with eight years of experience turning research-grade technical insight into customer-facing products. With a background that spans product and project management for payments, speech/AI pipelines, and communication surveillance, he consistently accelerates delivery cycles and improves product quality through process innovation and stakeholder engagement. Academically rooted in programming language theory as a PhD student and a contributor to the notable LiquidHaskell project, he brings deep technical fluency—evidenced by adding function-valued selector refinements—to product decisions. He pairs hands-on engineering understanding from open-source work and teaching assistant roles with practical go-to-market experience launching cross-border e-commerce and payment integrations. Fluent across multicultural teams and channels, Yijun also experiments with content creation and user growth, having built a niche YouTube channel that reached thousands of viewers. This blend of rigorous CS foundations, product leadership, and cross-functional execution makes him adept at shipping complex, ML-enabled and backend-heavy systems.
8 years of coding experience
5 years of employment as a software developer
Master of Science - MS International Development, Master of Science - MS International Development at The University of EdinburghExchange Student Danish Language; Academic English; Danish Culture, Exchange Student Danish Language; Academic English; Danish Culture at Københavns Universitet - University of CopenhagenDouble Bachelor’s Degree in Journalism (hons) and English Studies Journalism (School of International Communication）, Double Bachelor’s Degree in Journalism (hons) and English Studies Journalism (School of International Communication） at Beijing International Studies UniversityMaster's degree Computer and Information Technology, Master's degree Computer and Information Technology at University of Pennsylvania
Chinese, English, Spanish
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (2)
haskell10
refinement-types10
Programming languages (8)
Github contributions (5)
ucsd-progsys/liquidhaskell
Sep 2019 - Nov 2021
Liquid Types For Haskell
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 reviews, 100 commits, 7 PRs in 2 years 2 months
Contributions summary:Yijun contributed to the `liquidhaskell` repository by adding refinements for function-valued selectors in Haskell code. This involved modifying the `DataType.hs`, `Constraint/Generate.hs` and `Bare/Axiom.hs` files to support the new functionality. Additionally, the user merged branches and made changes to tests related to the newly implemented function-valued selector feature.
smthaskellliquidrefinement-typesverification
yiyunliu/sp-eta-postpone
Jan 2025 - Mar 2025
Contributions:205 pushes, 12 branches in 1 month
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.