Zbigniew Kalbarczyk

Professor Zbigniew Kalbarczyk's research interests include design and validation of reliable and secure computing systems. The research focuses on development of methods and tools for designing and experimental assessment of reliable and secure systems. His projects encompass design and implementation of a software middleware for reliable networked computing (the ARMOR middleware), operating system level transparent error detection and recovery (the Reliability Microkernel, RMK), hardware (processor) level support for reliability and security (the Reliability and Security Engine, RSE) error detection and recovery, formal verification of techniques for detection of accidental errors and malicious attacks (the Symbolic Program-Level Fault Injection and Error Detection Framework, SymPLFIED) and experimental system/application validation using fault/error injection (the NFTAPE fault injection framework).

Education:

• Ph.D. 1992 Bulgarian Academy of Sciences, Bulgaria, Computer Science
• M.S. 1984 Technical University of Sofia, Bulgaria, Electronic Engineering
• M.S. 1981 Technical University of Warsaw, Poland, Mechanical Engineering