About

Wenjia YE
Programming Languages Research @ HKU
Email : yewenjia@hku.hk

I am a PhD student at the Department of Computer Science, The University of Hong Kong. I am working under the supervision of Dr. Bruno Oliveira. My research focuses on Programming Language, Type System, Gradual Tying, Compilers and Program Analysis.

Academics

PhD Student (Jul. 2020 - present)
Department of Computer Science,
The University of Hong Kong.
Field of study: Programming Language

Research

Machine Learning: Regressive Prediction
To predict using Gaussian

Online Information Convey System on Amyotrophic Lateral Sclerosis (ALS)
By detecting patients’ blinking to convey information such as opening a door, a light or typing words in a screen

Rapid Ticketing and Verification System for Subway Transportation
Mobile software development and encryption application

Work

Research Assistant @The Universtity of Hong Kong (Dec. 2019 - Jun. 2020)
Functional Programming Language, Type System
Hong Kong, China.

Intern @Tsinghua University NetMan Lab (May. 2019 - August. 2019)
Machine Learning
Beijing, China.

Intern @National Key Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences (Feb. 2019 - May. 2019)
Natural Language Processing
Beijing, China.

Awards

ACM @CCPC/ICPC University Programming Design Competition at Hangzhou (Bronze prize in Nov. 2016)
ACM @CCPC/ICPC University Programming Design Competition at Qinhuangdao (Excellent prize in Jun. 2017)
ACM @CCPC/ICPC Fujian Province University Programming Design Competition (three Silver Prizes in 2016, 2017, 2018)
ACM @National software and IT competition for the professional–individual (the third prize in Apr. 2017)
Language @National English Contest for College Students (The second prize in 2017 and 2018)
Software Development @2017 National software and IT competition for the professional-entrepreneurial team competition (The second prize in the subway transportation project; excellent prize in Power app project)
Software Development @2016 the first China’s Innovation and entrepreneurship achievements fair (the best creative award)
Software Development @2016 the third China’s next-generation internet technological innovation competition (the third prize)
Software Development @2017 the second China’s intelligent interconnection innovation competition—Southern China division (winning prize)
Internet security @2017 Fujian Province Cyberspace security competition (the third prize in 2016 and 2017)
Scholarships & Honors @National Scholarship (2018)
Scholarships & Honors @National Encouragement Scholarship (Academic year of 2015-2016 and 2016-2017)
Scholarships & Honors @ABB Scholarship (Academic year of 2016-2017)
Scholarships & Honors @Wang Shujing & Wang Wendou Scholarship (2016 and 2017)
Scholarships & Honors @National Excellent Representative of National Scholarship Awarders (0.2%) (2019)
Scholarships & Honors @Excellent Undergraduate Student (2019)

Skill

Main Qualification Certificates
IBM Software Engineer

Main Qualification Certificates
Software Testing Engineer

Main Qualification Certificates
C Language-Intermediate

Main Qualification Certificates
C Language-Intermediate

SoftWare Copyright
Software Copyright based on encrypted QR code ticketing system

CV

Download PDF.

Volunteer

Volunteer Translator @2017 BRICS Summit : Excellent Volunteer

Contact

Wenjia YE
Research Postgraduate Student
Department of Computer Science
The University of Hong Kong

Office: Room 426 CYC Building
Email: [yewenjia@cs.hku.hk]