Curriculum Vitae Agnieszka Zbrzezny DANE PERSONALNE imię i nazwisko Agnieszka Zbrzezny data urodzenia 22 czerwiec 1985 stan cywilny panna email aga.zbrzezny@gmail.com strona domowa www.ajd.czest.pl/ imi/agnieszka.zbrzezny DOŚWIADCZENIE ZAWODOWE 18.02.2014 nadal Staż naukowy w Instytucie Podstaw Informatyki Polskiej Akademii Nauk w Warszawie 01.10.2009 nadal Akademia im. Jana Długosza, Instytut Matematyki I Informatyki, stanowisko: asystent mianowanie 28.08.2013 30.09.2013 Staż naukowy w Middlesex University w Londynie 01.02.2009 30.09.2009 Fobi Gadzimski Bartosz, stanowisko: programista JAVA umowa zlecenie 25.02.2008 25.05.2008 ISO Software Systems Polska Sp. z o.o., stanowisko: projektant aplikacji umowa o pracę 01.08.2007 16.01.2008 Sygnity S.A. - odział we Wrocławiu, stanowisko: programista aplikacji ASP.NET (referencje) umowa zlecenie 10.2006 04.2007 Akademia im. Jana Długosza, stanowisko: opieka nad stroną Instytutu Filozofii, Socjologii i Psychologii praktyka 17.11.2003 31.12.2003 Akademia im. Jana Długosza, staż tworzenie stron internetowych instytutów NAGRODY 1. Nagroda: Award of Scientific Excellence za artykuł: Artur Męski, Bożena Woźna- Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Two Approaches to Bounded
Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. Materiały międzynarodowego sympozjum: the 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013 ). Advances in Intelligent and Soft-Computing series of Springer, vol. 217. p.483 491. PUBLIKACJE 1. Agnieszka Zbrzezny, Andrzej Zbrzezny. A comparison of SAT-based and SMTbased bounded model checking methods for ECTL* (Extended Abstract). Monografia naukowa: Concurrency, Specification and Programming (CS&P 2014), 245, str. 293-300, Informatik-Berichte, 2014 2. Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. ROBDD-based Bounded Model Checking for DECTL and Simply-timed Systems.. Selected Applications of Real Time Systems, Rozdział 5 w monografii naukowej (anglojęzycznej), str. 51-62, Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego, 2014 3. Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny, Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. LNAI, 8861, str. 107-115., Springer-Verlag, 2014 4. Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. Materiały konferencji: 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013). Tom 8291, LNAI, str. 355-371. Springer- Verlag, 2013. 5. Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems. XX Systemy Czasu Rzeczywistego (SCR 2013). Rozdział 14 w monografii naukowej (anglojęzycznej): Designe, development and implementation of real time systems. str.181-190. Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego. Warszawa, 2013. 6. Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny SAT-based Bounded Model Checking for RTECTL and Simply-timed systems. Materiały międzynarodowych warsztatów: 10th European Workshop on Performance Engineering (EPEW 2013). LNCS, tom 8168, str. 337-349. Springer-Verlag, 2013.
7. Artur Męski, Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. Materiały międzynarodowego sympozjum: the 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013). Advances in Intelligent and Soft-Computing series of Springer, vol. 217. str.483 491. 8. Agnieszka Zbrzezny. Comparing SAT-based bounded model checking RTECTL and ECTL properties. Materiały pokonferencyjne I Konferencji Studiów Doktoranckich IPI PAN 2013.str.140 156. 9. Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny, Verifying RTEC- TLK properties of the Train Controller System praca wydana w materiałach konferencji: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011). LNAI, tom 7026, str. 551 565. Springer-Verlag, 2011. 10. Bożena Woźna-Szcześniak, Agnieszka Zbrzezny, Andrzej Zbrzezny, An improvement of the BMC method for the existential part of RTCTLK praca wydana w Prace Naukowe AJD w Częstochowie, Matematyka XVI, str. 153 162, 2011. KONFERENCJE NAUKOWE 1. 23th International Workshop on Concurrency, Specification and Programming (CS&P 2014), Chemnitz, Niemcy, 29 wrzesień 01 październik 2014. Referat: A comparison of SAT-based and SMT-based bounded model checking methods for ECTL* 2. 2014 Imperial College Computing Student Workshop, Wrzesień 25 26, 2014 Londyn, Wielka Brytania 3. Zastosowania Algebry XVI, Zakopane 2014 4. Międzynarodowa konferencja: 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013), referat: SAT-based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. Grudzień 1-6, Dunedin, Nowa Zelandia 5. The 10th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2013), referat: Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. Salamanca, 22 24 Maj, 2013
6. Zastosowania Algebry XVI Zakopane 2012, referat pt.: Cegar - a method that supports model checking techniques 7. XV międzynarodowa konferencja: Portuguese Conference on Artificial Intelligence (EPIA 2011) 10-13 Październik 2011, Lizbona, Portugalia, referat: The BMC method for the existential part of RTCTLK and interleaved interpreted systems. 8. XVIII CZECH-POLISH-SLOVAK MATHEMATICAL CONFERENCE, 31 May 3 June 2011, Hucisko, Poland, referat pt.: An improvement of the BMC method for the existential part of RTCTLK 9. Zastosowania Algebry XV Zakopane 2011, referat pt.: SAT-based BMC for the existential part of Real-Time CTLK 10. Międzynarodowe Warsztaty: Concurrency Specification and Programming 26 39 Wrzesien 2010, Helenenau, Niemcy 11. Zastosowania Algebry XIV Zakopane 2010, referat pt.: On sequential abstract state machines KONFERENCJE POPULARNONAUKOWE I SZKOLENIA 1. VI edycja barcampu ALEJE.IT 05 wrzesień 2014 2. VI edycja meetingu ALEJE.IT 04 kwiecień 2014, referat: Dlaczego systemy wersjonowania są nie tylko dla programistów - Jest GIT! 3. Dochodowy email marketing w ecommerce, Częstochowa, 28 marzec 2014 4. V edycja barcampu ALEJE.IT 10 styczeń 2014 5. Poranek z email marketingiem, Częstochowa, 23 październik 2013 6. IV edycja barcampu ALEJE.IT październik 2013 7. III edycja barcampu ALEJE.IT czerwiec 2013 8. II edycja barcampu ALEJE.IT marzec 2013 9. I edycja barcampu ALEJE.IT październik 2012 10. Szkolenie: Treści szkolenia w formule on-line w ramach Akademii PARP 13.04.2011
SZKOŁY LETNIE 1. The First New Zealand Agent School (NZAS 13) Dunedin, Nowa Zelandia, Grudzień, 2013 2. II Szkoła Letnia Interdyscyplinarnych Studiów Doktoranckich IPI PAN, Warszawa, czerwiec 2013 3. I Szkoła Letnia Interdyscyplinarnych Studiów Doktoranckich IPI PAN, Warszawa, czerwiec 2012 4. SAT/SMT Summer School 2012, Trento, Włochy 5. Summer School Marktoberdorf 2010 Software and Systems Safety: Specification and Verification ORGANIZACYJNE ALEJE.IT meeting #6 członek komitetu organizacyjnego www.aleje.it ALEJE.IT #6 członek komitetu organizacyjnego www.aleje.it Akademia im. Jana Długosza: Nawiązanie współpracy z firmą 3FX sp.z o.o. w celu utworzenia laboratorium z drukarkami 3D Akademia im. Jana Długosza: Zorganizowanie cyklu wykładów Informatyka w Częstochowie http://www.ajd.czest.pl/~imi/ informatykawczestochowie/, https://www.youtube. com/user/wykladyimiajd ALEJE.IT #5 członek komitetu organizacyjnego www.aleje.it
GRANTY I STYPENDIA Stypendium stażowe Interdyscyplinarnych Studiów Doktoranckich PAN: Technologie informacyjne i ich interdyscyplinarne zastosowania, lipiec 2014 - styczeń 2015. (DSM/WMP/6508/2014, główny wykonawca, 2000 zł, 2014) Grant na udział w The First New Zealand Agent School (NZAS 13) Dunedin, Nowa Zelandia, Grudzień, 2013 Stypendium stażowe na udział w stażu w Middlesex University pod opieką Dra Franco Raimondi 28.08.2013-30.09.2013 (DSM/WMP/15/2013, główny wykonawca, 2000 zł, 2013) Grant na pobyt na Szkole Letniej SAT/SMT Summer School 12-15 czerwiec 2012 Grant Marktoberdorf Summer School na pobyt, udział w Szkole Letniej 1-15 sierpień 2010 Stypendium Interdyscyplinarnych Studiów Doktoranckich PAN: Technologie informacyjne i ich interdyscyplinarne zastosowania, październik 2011 - czerwiec 2014. NCN: Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych (UMO-2011/01/B/ST6/05317, wykonawca, 272500 zł, 2011-2014) (DSM/20/WMP/2012, główny wykonawca, 4000 zł, 2012) (DSM/10/WMP/2011, główny wykonawca, 11200 zł, 2011)
WYKSZTAŁCENIE 2011 2014 Instytut Podstaw Informatyki Polskiej Akademii Nauk w Warszawie, Projekt PO KL Technologie Informacyjne: Badania i Ich Interdyscyplinarne Zastosowania, praca doktorska pt: Selected Methods of Model Checking using SAT and SMT-solvers or OBDD structures 2007 2009 Akademia im. Jana Długosza w Częstochowie, Informatyka spec. oprogramowanie komputerów, praca magisterska pt: System zarządzania bazą danych osobowych na potrzeby Instytutu Matematyki i Informatyki AJD w Częstochowie, Ocena na dyplomie: bdb 2004 2007 Akademia im. Jana Długosza w Częstochowie, Informatyka spec. oprogramowanie komputerów, praca licencjacka pt: Charakterystyka biblioteki wątków pthread w systemie operacyjnym Linux. Ocena na dyplomie: bdb 2000 2004 VII Liceum Ogólnokształcące im. Mikołaja Kopernika w Częstochowie, profil informatyczny Wyrażam zgodę na przetwarzanie moich danych osobowych dla potrzeb niezbędnych do realizacji procesu rekrutacji (zgodnie z Ustawą z dn. 29.08.97 r. o Ochronie Danych Osobowych Dz. Ust. 133 poz. 883).