Ihor Kuz - Senior Researcher
Trustworthy Embedded Systems Project
Research Interests
Ihor's research interests include operating systems and distributed systems. With regards to operating systems, he focuses on the design of flexible and modular operating systems. In distributed systems, he is interested in distributed system middleware, supporting services, and management of distributed resources.
NICTA Projects
Ihor is involved in the Security Architecture activity of NICTA's Trustworthy Embedded Systems project. The goal of this part of the project is to develop and formally model classes of software architectures, suitable for use on top of seL4, that will form the basis for formal security/safety guarantees for the whole system. Previous to this Ihor led the CAmkES (component architecture for microkernel-based embedded systems) project as part of NICTA's Embedded Real-time and Operating Systems (ERTOS) research group. The CAmkES project resulted in a framework that enables the component-based design and implementation of modular, microkernel-based operating systems. The CAmkES framework for L4 is available as open source software.
Career Summary
Prior to joining NICTA, Ihor spent time as a research assistant and scientific programmer at the Vrije Universiteit, Amsterdam, designing and implementing the Globe wide-area distributed system. He was also a co-founder of Smarthaven, a startup company that developed intelligent mobile-agent based web search technology.
Qualifications
In 1996, Ihor achieved a Masters degree in Computer Science from the Vrije Universiteit in Amsterdam, the Netherlands. Then, in 2003, he earned a PhD in Computer Science from the TU Delft in the Netherlands.
Affiliations
Ihor is a member of the IEEE Computer Society, the ACM, and the Special Interest Group in Operating Systems (SIGOPS).
Contact Details
| Phone: | +61 2 +61 (0)2 8306 0582 |
|---|---|
| Email: | ihor.kuz@nicta.com.au |
| Web: | http://www.cse.unsw.edu.au/~ikuz |
More contact information is available at the ERTOS Contacts page.
Publications
Best Papers
NICTA Papers
2010
2009
2007
|
 |
Leonid Ryzhyk, Ihor Kuz and Gernot Heiser Formalising device driver interfaces Proceedings of the 4th Workshop on Programming Languages and Operating Systems, Stevenson, Washington, USA, October, 2007 |
|
|
|
Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters Towards trustworthy computing systems: Taking microkernels to the next level ACM Operating Systems Review, 41(4), 3–11, (July, 2007) |
|
|
|
Ihor Kuz and Yan Liu Extending the capabilities of component models for embedded systems Proceedings of the Third International Conference on the Quality of Software-Architectures (QoSA), Boston, MA, USA, July, 2007 |
|
|
|
Leonid Ryzhyk, Timothy Bourke and Ihor Kuz Reliable device drivers require well-defined protocols Proceedings of the 3rd Workshop on Hot Topics in System Dependability, Edinburgh, UK, June, 2007 |
|
|
 |
Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser CAmkES: A component model for secure microkernel-based embedded systems Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80(5), 687–699, (May, 2007) Preprint |
2006
2004
Research Theses Supervised
2010
|
|
|
Leonid Ryzhyk On the construction of reliable device drivers, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2010 |
2008
|
|
|
Daniel Potts Eidolon: Adapting distributed applications to their environment, PhD Thesis, School of Computer Science and Engineering, University of NSW, Sydney 2052, Australia, 2008 |