PEH Zheng Yan

Experience

Air Asia

Oct 2020 - Present

Working in Air Asia airline technology department, help building internal tooling to support one of the most efficient airline companies across the globe.

Help developing travel pass project for the pandemic period.
System to schedule passengers when flight is canceled.
Integrating services between airports and staff.
Developing new features and bringing web technologies into airport CUSS kiosk system.

Revenue Monster

Jun 2018 - Mar 2020

Help design, build and run internal tools and services. Working on high throughput, payment transaction service.

Report generation and payment settlement reconciliation.
Contactless Car-park ticketing system using car plate recognition, being deployed in 3 shopping centres in Kuala Lumpur, Malaysia.

Unistay (Cofounder, tech lead)

Nov 2015 - May 2017

Unistay is a platform that is dedicated only for students looking for accommodations near their universities, where existing alternative are complicated and time-consuming with information constantly not being up-to-date.

With UniStay, students will be more prepared and are able sort out their accommodation at their home country even before their semester starts.

We started this start-up after winning the Champion / Winner of Startup Weekend KL 2014
Incubated under Malaysia's Largest Telco's Accelerator (Telekom Malaysia)
Incubated under ASEAN Largest Accelerator Programme (MaGIC Accelerator Programme)
Digi Telekom WWWoW Awards (Top 5 in Commerce category)

Personal Projects

Topos compiler (Research project)

https://github.com/topoi-lang/topos/tree/next

A practical functional programming language that aimed to be a dependently typed programming language which operates directly on packed data, providing toolchain for building fast and realiable applications.

Currently working on a rust version of Roslyn's Red-Green Tree, that supports incremental parsing and semantic-based highlighting.
Working on type checker that do meta solving, and try to improve the error reporting user friendliness for complex type system.
Prototyped non-deterministic evaluator, Normalisation-By-Evaluation in Haskell.
Self-learning, learned a lot about function extensions and the type checking method.

Historical Affiliations

I am a first year CS student at University of London.
I am a active speaker in Malaysia Functional Programming Club. A local monthly meetup focusing on Functional programming and workshop.
I am one of the core contributor of ZHaskell, a modern, performant Haskell Engineering Framework aimed for production scenario.
I am also a active open source contributor, including xxhash3-hs, go-leb128, multihash, stumpwm, goloquent and other projects.

Skills

Programming Language: polygot (not limited to any specific language, understand the underlying language implementation), especially experience in Rust, Haskell, Go, Nodejs, Typescript, comfortable with Python, C, F#, OCaml and Elixir.

Keywords and Technologies for recruiters, headhunters and non-technical parties: Android, AWS EC2, AWS S3, Git, BitBucket, CSS, SASS, GPG, Github, Go, HTML, Javascript, Kubernetes, MySQL, Nginx, PHP, PostgreSQL, React, Rust, RESTful API, Linux, Continuous Integration, Microservices, SQLite, Vue.