PhD Student and Engineer
Nottingham, United Kingdom
- Current
-
- PhD Student at University of Nottingham
- Past
-
- Lecturer at University of Nottingham Ningbo, China
- Software Engineer at Broadcom
- Software Engineer at Alphamosaic
- Software Engineer at BT Exact
- Education
-
- University of Nottingham
- Imperial College London
- University of Cambridge
- Methodist College, Belfast
- Recommended
-
1 person has recommended Liyang - Connections
-
43
connections
- Industry
- Computer Software
- Websites
Liyang HU’s Summary
Served time on firmware development with an emphasis on mobile multimedia.
Investigating the foundational theory underlying programming languages, in particular transactional methods for concurrent programming.
Liyang HU’s Specialties:
programming language theory and practice, multimedia audio/video codecs, amateur electronics
Liyang HU’s Experience
-
PhD Student
University of Nottingham
(Educational Institution; Research industry)
January 2006 — Present (3 years 11 months)
Functional Programming Laboratory
School of Computer Science
Formalisation of concurrent languages and their virtual machines, and compiler correctness thereof, with a particular interest in the implementation of Software Transactional Memory and the use of computer-aided proof systems. -
Lecturer
University of Nottingham Ningbo, China
(Higher Education industry)
February 2007 — June 2007 (5 months)
Wrote material for, and taught Computer Systems Architecture.
-
Software Engineer
Broadcom
(Public Company; 1001-5000 employees; BRCM; Semiconductors industry)
October 2005 — December 2005 (3 months)
Worked on an H.264 video encoder for VideoCore, delivered in December.
-
Software Engineer
Alphamosaic
(Privately Held; 51-200 employees; Semiconductors industry)
July 2004 — September 2004 (3 months)
Revamped media player stream handlers, extended mobile phone display drivers and implemented an audio mixing/resampling subsystem for the VideoCore platform. Received bonus for outstanding contributions.
Note: Alphamosaic was acquired by Broadcom in Q4 2004. -
Software Engineer
BT Exact
(Public Company; 5001-10,000 employees; BT; Information Technology and Services industry)
July 2003 — September 2003 (3 months)
Worked with the Multimedia Streaming Group under the Content and Coding lab. Ported and heavily optimised the lab's H.264 video codec for the TI TMS320C55x DSP on the OMAP platform, enabling full speed video playback on mobile devices.
Liyang HU’s Education
-
University of Nottingham
PhD , Computer Science , 2006 — 2009
Functional Programming Laboratory
- Activities and Societies:
- Dark Celluloid (Alternative Film Society; Committee)
The Silver Screen (Mainstream Film Society)
Caving
-
Imperial College London
MSc , Advanced Computing , 2004 — 2005
-
University of Cambridge
BA , Mathematics, Computer Science , 2000 — 2004
Mathematics: Part Ia, Ib, IIa
Computer Science: Part II(G) -
Methodist College, Belfast
A-Levels , Mathematics, Further Mathematics, Chemistry, Physics, Computing , 1993 — 2000
- Activities and Societies:
- Electronics Club (President), Computer Committee
Additional Information
Liyang HU’s Websites:
Liyang HU’s Interests:
music, coffee, photography, electronics, mathematical approaches to software, culinary arts
Liyang HU’s Groups:
-
Functional Programming -
Haskell Enthusiastics -
Cambridge University Alumni Group -
St Edmund's College, Cambridge
Liyang HU’s Honors:
• Second Place (Team), British Computer Society Programming Competition, 2001.
• Silver Medal, All Ireland Schools' Programming Challenge, 2000.
• Irish Team for the International Olympiad in Informatics, 2000.
• Gold Medal Award, British Physics Challenge, 2000.
• Gold Certificate (×4; ‘Best in School’ ×2), British Mathematics Challenge, 1996-1999.
Liyang HU’s Contact Settings
Interested In:
- career opportunities
- consulting offers
- new ventures
- expertise requests
- getting back in touch
