General Information

Greetings and Welcome to my homepage. My name is Bożena Woźna-Szcześniak (I got married on 8.08.2009, before I was Bożena Woźna) and I am a Head of the Institute of Mathematics and Computer Science (IMCS) at the Jan Długosz University in Częstochowa and I am an associate professor (reader) in this Institute. Also, I am a member of the VerICS group at Institute of Computer Science, Polish Academy of Sciences, which carries out both pure and applied research in the model checking area of real-time and multi-agent systems.

My research concerns the logic-based specification and verification of probabilistic, real-time and multi-agent systems. In particular I am actively involved in the following topics:

Bozena i Irek w CERNIE