I’m a Ph.D. student in the Computer Science department at Yale University.

I’m one of the members of the Efficient Computing Group working with Professor Lin Zhong. My current research involves improving operating system design so that ensuring OS invariants (traditionally a burden for users and developers) can be transferred to static compile-time checks, particularly in the networking subsystem. I’m also interested in advances in programming languages as well as rethinking OS design for modern, heterogeneous architectures.


Email: ramla.ijaz@yale.edu


Google Scholar