Chi Kam
Research Assistant
Research Interests
Felix's research interests include operating system design, embedded systems in general and formal methods, particularly interactive theorem proving.
Contact Details
More contact information is available at the Contact page.
Projects
Past |
Publications
Best Papers
![]() |
![]() |
Thomas Sewell, Chi Kam and Gernot Heiser Complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April, 2016 Outstanding Paper award |
Trustworthy Systems Group Papers
2016
![]() |
![]() |
Thomas Sewell, Chi Kam and Gernot Heiser Complete, high-assurance determination of loop bounds and infeasible paths for WCET analysis IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Vienna, Austria, April, 2016 Outstanding Paper award |