Trustworthy Systems

Manmeet Dhaliwal
Masters Student

Research Interests

Manmeet is working on a reference system which would demonstrate high-performance networking on seL4 using LionsOS, suitable for adapting to a variety of network-focussed use cases. Such a practical network router would then have a roadmap that proves its correctness.

Contact Details

Email:m.dhaliwal@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Manmeet Dhaliwal