About me

General Information
Education
Professional Qualifications
Employment
Contact Details

Professional Activities

Publications
Research
Grants
Programme Committees
Conferences
Awards

Teaching

For Students

Family

Irek Szcześniak
Halina Szcześniak

Others

Links

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 Vice Head of the Institute of Mathematics and Computer Science (IMCS) at the Jan Długosz University in Częstochowa and I am an assistant professor 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 multiagent systems.

I teach various programming and algorithmic courses at Masters level. My research interests focus on modal (epistemic, deontic, temporal, time) logics, and formal methods, with emphasis on the application of these to the specification and verification of real-time and multi-agent systems.

Bozena i Irek w CERNIE