Pawel Skrobanek
Pawel Skrobanek was born in 1972 in Bardo, Poland. He received an MSc degree in Computer Engineering at Wroclaw University of Technology in 1997. He received Ph.D. degree in 2005. Since 2005 he has worked at the Institute of Computer Engineering, Control and Robotics, Technical University of Wroclaw. His scientific interests concern: time Petri Nets, formal methods in software engineering, safety and security analysis, data warehouse, and safety-critical systems.