Skip to main content

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

NICTA Papers


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