Curriculum Vitae. Agnieszka Zbrzezny.

Transkrypt

1 Curriculum Vitae Agnieszka Zbrzezny DANE PERSONALNE imię i nazwisko Agnieszka Zbrzezny data urodzenia 22 czerwiec 1985 stan cywilny panna aga.zbrzezny@gmail.com strona domowa imi/agnieszka.zbrzezny DOŚWIADCZENIE ZAWODOWE nadal Staż naukowy w Instytucie Podstaw Informatyki Polskiej Akademii Nauk w Warszawie nadal Akademia im. Jana Długosza, Instytut Matematyki I Informatyki, stanowisko: asystent mianowanie Staż naukowy w Middlesex University w Londynie Fobi Gadzimski Bartosz, stanowisko: programista JAVA umowa zlecenie ISO Software Systems Polska Sp. z o.o., stanowisko: projektant aplikacji umowa o pracę Sygnity S.A. - odział we Wrocławiu, stanowisko: programista aplikacji ASP.NET (referencje) umowa zlecenie Akademia im. Jana Długosza, stanowisko: opieka nad stroną Instytutu Filozofii, Socjologii i Psychologii praktyka 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

2 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 p 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 , Informatik-Berichte, 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 , Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego, 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 , Springer-Verlag, 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 Springer- Verlag, 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 Zeszyty Rady Naukowej Polskiego Towarzystwa Naukowego. Warszawa, 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 Springer-Verlag, 2013.

3 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 str Agnieszka Zbrzezny. Comparing SAT-based bounded model checking RTECTL and ECTL properties. Materiały pokonferencyjne I Konferencji Studiów Doktoranckich IPI PAN 2013.str 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 Springer-Verlag, 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 , KONFERENCJE NAUKOWE 1. 23th International Workshop on Concurrency, Specification and Programming (CS&P 2014), Chemnitz, Niemcy, 29 wrzesień 01 październik Referat: A comparison of SAT-based and SMT-based bounded model checking methods for ECTL* Imperial College Computing Student Workshop, Wrzesień 25 26, 2014 Londyn, Wielka Brytania 3. Zastosowania Algebry XVI, Zakopane 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, Maj, 2013

4 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) 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 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ń VI edycja meetingu ALEJE.IT 04 kwiecień 2014, referat: Dlaczego systemy wersjonowania są nie tylko dla programistów - Jest GIT! 3. Dochodowy marketing w ecommerce, Częstochowa, 28 marzec V edycja barcampu ALEJE.IT 10 styczeń Poranek z marketingiem, Częstochowa, 23 październik IV edycja barcampu ALEJE.IT październik III edycja barcampu ALEJE.IT czerwiec II edycja barcampu ALEJE.IT marzec I edycja barcampu ALEJE.IT październik Szkolenie: Treści szkolenia w formule on-line w ramach Akademii PARP

5 SZKOŁY LETNIE 1. The First New Zealand Agent School (NZAS 13) Dunedin, Nowa Zelandia, Grudzień, II Szkoła Letnia Interdyscyplinarnych Studiów Doktoranckich IPI PAN, Warszawa, czerwiec I Szkoła Letnia Interdyscyplinarnych Studiów Doktoranckich IPI PAN, Warszawa, czerwiec 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 ALEJE.IT #6 członek komitetu organizacyjnego 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 informatykawczestochowie/, com/user/wykladyimiajd ALEJE.IT #5 członek komitetu organizacyjnego

6 GRANTY I STYPENDIA Stypendium stażowe Interdyscyplinarnych Studiów Doktoranckich PAN: Technologie informacyjne i ich interdyscyplinarne zastosowania, lipiec styczeń (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 (DSM/WMP/15/2013, główny wykonawca, 2000 zł, 2013) Grant na pobyt na Szkole Letniej SAT/SMT Summer School 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 czerwiec NCN: Opracowanie oraz implementacja metod weryfikacji modelowej dla systemów czasu rzeczywistego i wieloagentowych (UMO-2011/01/B/ST6/05317, wykonawca, zł, ) (DSM/20/WMP/2012, główny wykonawca, 4000 zł, 2012) (DSM/10/WMP/2011, główny wykonawca, zł, 2011)

7 WYKSZTAŁCENIE 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 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 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 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 r. o Ochronie Danych Osobowych Dz. Ust. 133 poz. 883).