Skip to main content

Chi Kam

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.

Photo of Chi Kam

Projects

Past

NICTA Papers

2016

Abstract PDF 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

Served by Apache on Linux on seL4.