Baber Rehman

Baber Rehman is a researcher affiliated with the PL Research Group at the University of Hong Kong. His work focuses on programming languages and type systems, with a particular emphasis on formal methods and language design. He actively contributes to academic committees, including roles in artifact evaluation and reviewing for premier conferences like SPLASH, ECOOP, and POPL.

Research interests:

• Programming Languages
• Type Systems
• Formal Verification
• Correctness-by-Construction
• Refinement Types
• Intersection/Union Types