Background
Wozna, Bozena was born on October 16, 1973 in Krzepice, Poland. Daughter of Aleksandra Wozna and Henryk Wozny.
- Photos
- Works
- Photos
- Works
Bozena Wozna
Edit Profileeducator mathematician computer scientist
Bozena Wozna, Polish mathematician, computer scientist, educator. Achievements include research in bounded model checking for branching time logics and real time sys; research in bounded model checking for multi agent sys; research in a logic for knowledge, correctness, and real time; research in a complete and decidable security-specialised logic and its application to the TESLA protocol.
Education
Master of Science, University Opole, Opole, 1997. Doctor of Philosophy (honorary), Institute of Computer Science Polish Academy of Science, Warsaw, Poland, 2000.
Career
Scientific assistant Institute of Mathematics and Computer Science, Jan Dlugosz University Czestochowa, Poland, 1997—2003, lecturer, 2003—2004. Research fellow Department Computer Science, King's College London, 2004, Department Computer Science and Electronical Engineering, University College London, since 2004. Research fellow of the research project northern 8t11c 01419 Institute of Computer Science of the Polish Academy of Sciences, Warsaw, 2000—2003.
Achievements
Membership
Member of Polish Association for Logic and Philosophy Science.
Interests
Connections
-
Born
-
Nationality
Polish -
Ethnicity
-
Religion
Roman Catholic
Education
-
1997
-
Career
-
1997 - 2003
-
2004
Awards
-
Grantee research project No 4T11 C 01 724, State Committee for Science Research, Poland, 2003-2004, International Travel Grant, Royal Academy Engineering, 2005, 2006.Grantee research project No 4T11 C 01 724, State Committee for Science Research, Poland, 2003-2004, International Travel Grant, Royal Academy Engineering, 2005, 2006.