-
Notifications
You must be signed in to change notification settings - Fork 1
/
resume.html
262 lines (230 loc) · 10.1 KB
/
resume.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>PEH Zheng Yan</title>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-WYN9NX50KS"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag() { dataLayer.push(arguments); }
gtag('js', new Date());
gtag('config', 'G-WYN9NX50KS');
</script>
<link rel="canonical" href="https://zypeh.github.io">
<meta name="description" content="Hi, I'm PEH Zheng Yan. And this is my resume.">
<meta name="og:description" content="Hi, I'm Zheng Yan PEH. And this is my resume.">
<meta property="og:title" content="Zheng Yan PEH (zypeh)">
<meta property="og:site_name" content="zypeh's blog">
<meta property="og:url" content="https://zypeh.github.io">
<meta property="twitter:card" content="summary">
<meta property="twitter:site" content="@ZhengYanPeh">
<meta property="twitter:creator" content="@ZhengYanPeh">
<meta property="og:type" content="website">
<style>
@import url('https://rsms.me/inter/inter.css');
html {
font-family: 'Inter', sans-serif;
}
@supports (font-variation-settings: normal) {
html {
font-family: 'Inter var', sans-serif;
}
}
* {
padding: 0;
margin: 0;
}
body {
font-size: 16px;
color: #1b1b1c;
margin: auto;
max-width: 860px;
padding-top: 20px;
}
h1 {
font-size: 5.625rem;
line-height: 1;
margin-bottom: 0.75rem;
letter-spacing: -0.05em;
padding-left: 10.1px;
}
h2 {
font-size: 1.5rem;
line-height: 1.375rem;
margin-bottom: 12px;
}
h3 {
font-size: 1.125rem;
}
article {
margin-bottom: 2rem;
}
p {
line-height: 20px;
margin-bottom: .6rem;
}
p:last-child {
margin-bottom: 0;
}
ul {
padding-left: 1.25rem;
margin-top: 10px;
list-style-type: square;
}
li {
margin-bottom: .3rem;
line-height: 1.3;
}
header {
display: flex;
justify-content: left;
}
header p {
padding: 0 1rem;
}
hr {
margin: .72rem 0 2rem 0;
background: black;
height: 2px;
border: none;
}
time {
font-weight: 600;
}
#me {
margin: auto;
display: block;
/* text-align: center; */
}
.title {
display: flex;
justify-content: space-between;
align-items: center;
margin-bottom: .5rem;
}
section:not(:first-child) {
margin-top: 1rem;
}
#personal-projects h3 {
margin-bottom: .5rem;
}
</style>
</head>
<body>
<section id="me" itemscope itemtype="https://schema.org/Person">
<h1 itemprop="name">PEH Zheng Yan</h1>
<meta itemprop="jobTitle" content="software engineer">
<header>
<p itemprop="address">Kuala Lumpur, Malaysia</p>·
<p itemprop="email">[email protected]</p>·
<p itemprop="url">zypeh.github.io</p>
</header>
</section>
<hr />
<section id="experience">
<div style="display: flex; justify-content: space-between; align-items: baseline;">
<h2>Experience</h2>
<div style="flex-basis: 70%; font-size: 90%;">
<article>
<div class="title">
<h3>Air Asia</h3><time>Oct 2020 - Present</time>
</div>
<div>
<p>Working in Air Asia airline technology department, help building internal tooling to support one of the most efficient airline companies across the globe.</p>
<ul>
<li>Help developing travel pass project for the pandemic period.</li>
<li>System to schedule passengers when flight is canceled.</li>
<li>Integrating services between airports and staff.</li>
<li>Developing new features and bringing web technologies into airport CUSS kiosk system.</li>
</ul>
</div>
</article>
<article>
<div class="title">
<h3>Revenue Monster</h3><time>Jun 2018 - Mar 2020</time>
</div>
<div>
<p>Help design, build and run internal tools and services. Working on high throughput, payment
transaction service.</p>
<ul>
<li>Report generation and payment settlement reconciliation.</li>
<li>Contactless Car-park ticketing system using car plate recognition, being deployed in 3
shopping centres in Kuala Lumpur, Malaysia.</li>
</ul>
</div>
</article>
<article>
<div class="title">
<h3>Unistay (Cofounder, tech lead)</h3><time>Nov 2015 - May 2017</time>
</div>
<div>
<p>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.</p>
<p>With UniStay, students will be more prepared and are able sort out their accommodation at
their home country even before their semester starts.</p>
<ul>
<li>We started this start-up after winning the Champion / Winner of Startup Weekend KL 2014</li>
<li>Incubated under Malaysia's Largest Telco's Accelerator (Telekom Malaysia)</li>
<li>Incubated under ASEAN Largest Accelerator Programme (MaGIC Accelerator Programme)
</li>
<li>Digi Telekom WWWoW Awards (Top 5 in Commerce category)</li>
</ul>
</div>
</article>
</div>
</div>
</section>
<!-- personal projects -->
<section id="personal-projects">
<h2>Personal Projects</h2>
<div class="title">
<article itemscope itemtype="https://schema.org/CreativeWork">
<div style="display: flex; justify-content: space-between">
<h3 itemprop="name">Topos compiler (Research project) </h3>
<p style="opacity: .8"><a href="https://github.com/topoi-lang/topos/tree/next">https://github.com/topoi-lang/topos/tree/next</a></p>
</div>
<meta itemprops="creator" content="Zheng Yan PEH">
<meta itemprop="url" content="https://github.com/topoi-lang/topos">
<p itemprop="about">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.</p>
<ul style="margin-left: 1em">
<li><p>Currently working on a rust version of <a href="https://ericlippert.com/2012/06/08/red-green-trees/">Roslyn's Red-Green Tree</a>, that supports incremental parsing and semantic-based highlighting.</p></li>
<li><p>Working on type checker that do meta solving, and try to improve the error reporting user friendliness for complex type system.</p></li>
<li><p>Prototyped non-deterministic evaluator, Normalisation-By-Evaluation in Haskell.</p></li>
<li><p>Self-learning, learned a lot about function extensions and the type checking method.</p></li>
</ul>
</article>
</div>
</section>
<!-- misc -->
<section id="historical-affiliations">
<h2>Historical Affiliations</h2>
<article>
<ul>
<li>I am a first year CS student at University of London.</li>
<li>I am a active speaker in Malaysia Functional Programming Club. A local monthly meetup focusing on
Functional programming and workshop.</li>
<li>I am one of the core contributor of <b>ZHaskell</b>, a modern, performant Haskell Engineering Framework aimed for production scenario.</li>
<li>I am also a active open source contributor, including <b>xxhash3-hs, go-leb128, multihash, stumpwm, goloquent and other projects.</b></li>
</ul>
</article>
</section>
<section id="skills">
<h2>Skills</h2>
<article>
<p><b>Programming Language: polygot</b> (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.
</p>
<p><b>Keywords and Technologies for recruiters, headhunters and non-technical parties:</b>
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.
</p>
</article>
</section>
</body>
</html>