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

More contact information is available at the Contact page.