Baber Rehman
Programming Languages | Type Theory | Functional Programming
[Github] | [LinkedIn] | [brehman (at) cs.hku.hk]

I am a PhD student in the Department of Computer Science at the University of Hong Kong, where I have been studying since September 2018. I am working under the supervision of Dr. Bruno Oliveira, and my research primarily focuses on type systems, with a particular emphasis on the integration of intersection types and union types.

Prior to pursuing my doctoral degree, I gained several years of experience working as a software engineer in a DevOps role. This background has provided me with valuable practical knowledge and insights that I can apply to my current research.

I have a keen interest in exploring the realm of social issues, politics, and religion. In particular, I’m eager to understand the pragmatics and underlying necessity of various political and religious theories. I’m always open to engaging in meaningful discussions on these complex and often nuanced topics. My aim is to gain a deeper, more comprehensive understanding of the rationale and societal implications behind different political and religious perspectives. Abstract of my this research is available here.

Imagine a world where everything is formally verified!


  1. PhD Computer Science (Sep’18 - Aug’23)
    Department of Computer Science,
    The University of Hong Kong.
    Field of study: Programming Languages | Type Theory
    PS: Type systems are cool!

  2. BS Computer Science (Oct’11 - Jun’15)
    PUCIT, University of the Punjab,
    Lahore, Pakistan.


  1. Senior Engineer (Nov’23 - Present)
    Huawei Technologies, Hong Kong Research Center
    Hong Kong.

  2. Resident Tutor (part-time) (Aug’19 - Oct’23)
    New College, JCSV III, HKU
    Hong Kong.

  3. Software Engineer (DevOps) (May’15 - Aug’18)
    CloudPlex PVT LTD,
    Lahore, Pakistan.

  4. Intern (Jul’14 - Sep’14)
    Mentor Graphics,
    Lahore, Pakistan.


  1. Teacher Assistant (Spring’20). Principals of Programming Languages. The University of Hong Kong.
  2. Teacher Assistant (Fall’18). Functional Programming. The University of Hong Kong.
  3. Visiting Lecturer (Oct’15 - Jun’16). PUCIT, University of the Punjab.
  4. Teacher Assistant (Oct’13 - Jun’15). PUCIT, University of the Punjab.

Community Service

Review / Extended Review Committee

Artifact Evaluation Committee



Download PDF.



Unpublished Drafts / Reviews


Baber Rehman
Department of Computer Science
The University of Hong Kong

Office: Room 426 CYC Building
Email: [brehman (at) cs.hku.hk]