Olga Siedlecka-Lamch - o mnie zawodowo

Wykształcenie:

1 września 2012 r. do 28 lutego 2013 r.

Stypendystka Instytutu Podstaw Informatyki PAN w Programie Stypendialnym dla Postdoków realizowanego w ramach projektu „Technologie Informacyjne: Badania i ich Interdyscyplinarne zastosowania”

25 wrzesnia 2008 r.

Uzyskanie stopnia doktora w dziedzinie nauk technicznych w dyscyplinie informatyka. Tytuł rozprawy: 'Metody minimalizacji automatów kwantowych', promotor - prof. dr hab. Sergii Kryvyi.

2003 - 2008

Studia doktoranckie na Wydziale Inżynierii Mechanicznej i Informatyki Politechniki Częstochowskiej.

2001

Studia w ramach programu Socrates - Erasmus: Uniwersytet Mannheim, w Niemczech.

1998 - 2003

Studia magisterskie: Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki, kierunek: informatyka, specjalność: inżynieria oprogramowania i systemy informatyczne. Tytuł pracy magisterskiej: "Dedukcyjne bazy danych", promotor: prof. Sergii Kryvyi.

Badania naukowe:

Modelowanie formalne
Metody i algorytmy dla automatów probabilistycznych i kwantowych
Algorytmy kwantowe
Binarne drzewa decyzyjne

Publikacje:

Zbrzezny A. M., Siedlecka-Lamch O., Szymoniak S., Zbrzezny A., Kurkowski M., Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols, Applied Sciences, 2024, 14(22), 10333, 2024
Siedlecka-Lamch O., Blockchain-Enabled Data Model for Medical Diagnoses: Supporting Physician Collaboration, Proceedings of the INFORMATICS 2024, IEEE 17th International Scientiﬁc Conference on Informatics, pages 354 - 359, 2024
Siedlecka-Lamch O.,Legal and technical considerations for medical data in hybrid database system , Smart Ethics in the Digital World: Proceedings of the ETHICOMP 2024. 21th International Conference on the Ethical and Social Impacts of ICT, Editors: Mario Arias Oliva, Jorge Pelegrín Borondo, Kiyoshi Murata, Ana María Lara Palma, Manuel Ollé Sesé, Universidad de La Rioja, pages 213-216, 2024.
Siedlecka-Lamch O., Szymoniak S., Securing Healthcare Databases: a Comprehensive Policy-Based Framework Integrating Relational and Blockchain Technologies, The Leading Role of Smart Ethics in the Digital World , Universidad de La Rioja, pages 31-40, 2024.
Siedlecka-Lamch O., Szymoniak S., Enhancing security governance in medical databases: A policy-based approach with hybrid relational-blockchain model, Smart Ethics in the Digital World: Proceedings of the ETHICOMP 2024. 21th International Conference on the Ethical and Social Impacts of ICT, Editors: Mario Arias Oliva, Jorge Pelegrín Borondo, Kiyoshi Murata, Ana María Lara Palma, Manuel Ollé Sesé, Universidad de La Rioja, pages 217-220, 2024.
Siedlecka-Lamch O., Secure Medical Data Storage with Blockchain Technology, Procedia Computer Science, Volume 225, ISSN 1877-0509, Pages 961-968, 2023.
Siedlecka-Lamch O., Szymoniak S., Blockchain Technology in Medical Data Processing: A Study on Its Applications and Potential Benefits. Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 664-671, 2023 , Prague, Czech Republic.
Sławczyk S., Siedlecka-Lamch O., How to improve blockchain for blogosphere?, in Proc.: IEEE 16th International Scientific Conference on Informatics, Poprad, Slovakia, November 23-25, IEEE, 273-279, 2022
Siedlecka-Lamch O., Szymoniak S., Probabilistic Analysis of Security Protocols Using Probabilistic Timed Automata, Proceedings of the ETHICOMP 2022, Turku, Finland, pages 418-434, 2022.
Szymoniak S., Siedlecka-Lamch O., Securing Meetings in D2D IoT Systems, Proceedings of the ETHICOMP 2022, Turku, Finland, pages 30-41, 2022.
M. Bartłomiejczyk, I. E. Fray, M. Kurkowski, S. Szymoniak and O. Siedlecka-Lamch, "User Authentication Protocol Based on the Location Factor for a Mobile Environment," in IEEE Access, vol. 10, pp. 16439-16455, 2022
Szymoniak, S.; Siedlecka-Lamch, O.; Zbrzezny, A.M.; Zbrzezny, A.; Kurkowski, M. SAT and SMT-Based Verification of Security Protocols Including Time Aspects. Sensors 2021, 21, 3055
Siedlecka-Lamch O., Probabilistic and timed analysis of security protocols, In proceeding of the 13th International Conference on Computational Intelligence in Security for Information Systems CISIS 2020, 16-18 September 2020, Burgos, Spain; paper 24, 2021
Siedlecka-Lamch O., Szymoniak S., Kurkowski M. and El Fray I., Towards Most Efficient Method for Untimed Security Protocols Verification,In proceeding of the Pacific Asia Conference on Information Systems PACIS 2020, 22-24 June 2020, Dubai, UAE; paper 189, 2020
Zbrzezny A. M., Zbrzezny A., Szymoniak S., Siedlecka-Lamch O., and Kurkowski M., VerSecTis - An Agent based Model Checker for Security Protocols, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020), May 9–13, 2020, Auckland, New Zealand, p. 2123-2125, 2020
Zbrzezny A. M., Siedlecka-Lamch O., Szymoniak S., Kurkowski M.,SMT solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols, In Proc.: 20th International Conference on Parallel and Distributed Computing, Applications and Technologies PDCAT 2019, Gold Coast, Australia 5-7 December 2019, IEEE Computer Society, 323-330, 2020
Lazarska M., Siedlecka-Lamch O., Comparative study of relational and graph databases, in Proc. IEEE 15th International Scientific Conference on Informatics, IEEE, 234-241, 2019
Siedlecka-Lamch O., Szymoniak S., Kurkowski M., A Fast Method for Security Protocols Verification, in Proc.: Computer Information Systems and Industrial Management, Lecture Notes in Computer Science, Springer Nature, vol. 11703, 523–534, 2019
Szymoniak S., Siedlecka-Lamch O., Kurkowski M. Network’s Delays in Timed Analysis of Security Protocols. In: Information Systems Architecture and Technology: Proceedings of 39th International Conference on Information Systems Architecture and Technology – ISAT 2018, Advances in Intelligent Systems and Computing, vol 852. Springer, Cham, 19 - 29, 2018 (Web Of Science, Scopus)
Szymoniak S., Siedlecka-Lamch O., Kurkowski M., On Some Time Aspects in Security Protocols Analysis, in Proc.: International Conference on Computer Networks , Gliwice, Poland, Communications in Computer and Information Science book series, volume 860, 344-356, Springer, 2018 (Web of Science, Scopus)
Szymoniak S., Siedlecka-Lamch O., Kurkowski M., SAT-based Verification of NSPK Protocol Including Delays in the Netowrk, in Proc.: IEEE 14th International Scientific Conference on Informatics, Poprad, Slovakia, November 14-16, IEEE, 388-393, 2017 (Web of Science, Scopus)
Siedlecka-Lamch O.,Use of Probabilistic Timed Automata for Security Protocols Modeling, in: Studia Informatica, Volume 38, 191 - 201, 2017 (List B)
Szymoniak S., Siedlecka-Lamch O., Kurkowski M., Timed Analysis of Security Protocols, in Proc.: 37th International Conference ISAT 2016, Karpacz, Poland, September 18-20, Advances in Intelligent Systems and Computing, volume 522, 53--63, Springer, 2017 (Web of Science, Scopus)
Kurkowski M., Kozakiewicz A., Siedlecka-Lamch O., Some Remarks on Security Protocols Verification Tool, in Proc.: 37th International Conference ISAT 2016, Karpacz, Poland, September 18-20, Advances in Intelligent Systems and Computing, volume 522, 65--75, Springer, 2017 (Web of Science, Scopus)
Siedlecka-Lamch O.,Probabilistic Analysis of the Security Protocols Executions, in: Studia i Materiały, Volume 11, 43 - 51, 2016 (List B, Scopus)
Siedlecka-Lamch O., Kurkowski M., Piatkowski J., Probabilistic Model Checking of Security Protocols without Perfect Cryptography Assumption, in Proc.: 23rd International Conference, Computer Networks 2016, Brunow, Poland, June 14-17, Communications in Computer and Information Science, Volume 608, 107-117, Springer, 2016 (Web of Science, Scopus)
Siedlecka-Lamch O., Kurkowski M., Piatkowski J., Using probabilistic automata for security protocols verification, Journal of Applied Mathematics and Computational Mechanics, volume 15, issue 2, 125-131, 2016 (List B, Web of Science)
Siedlecka-Lamch O., Kurkowski M., El Fray I., Pejas J., Verification of Mutual Authentication Protocol for MobInfoSec System, in Proceedings of 14th International Conference CISIM 2015, Warsaw, Poland, Lecture Notes in Computer Science vol. 9339, 461-474, 2015 (Web of Science, Scopus)
Siedlecka-Lamch O., Kurkowski M., Szymoniak S., Piech H., Parallel Bounded Model Checking of Security Protocols, in Proc. of PPAM'13, vol. 8384 of LNCS, Springer Verlag, 2014 (Web of Science, Scopus)
Kurkowski M., Siedlecka-Lamch O., Dudek P., Using Backward Induction Techniques in (Timed) Security Protocols Verification, in Proceedings of 12th International Conference CISIM 2013, Krakow, Poland, Lecture Notes in Computer Science vol. 8104, 265 - 276, 2013 BibTex
Siedlecka-Lamch O., Kurkowski M., Piech H., A New Effective Approach for Modelling and Verification of Security Protocols, in Proceedings of 21th international Workshop on Concurrency, Specification and Programming (CS&P 2012) Humboldt University Press, Berlin, Germany, 191-202, 2012 , (Scopus)BibTex
Piech H., Siedlecka-Lamch O., Parallel Quantum Algorithm for Finding the Consistency of Saaty's Matrices, Parallel Processing and Applied Mathematics 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, Revised Selected Papers, Part I, Lecture Notes in Computer Science vol. 7203, 102-111, 2011BibTex
Piech H., Siedlecka-Lamch O., Interval Probabilities of State Transitions in Probabilistic Automata, Artificial Intelligence and Soft Computing, 11th International Conference, ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012 Proceedings, Part II, Lecture Notes in Artificial Intelligence vol. 7268, 688 - 696. BibTex
Siedlecka-Lamch O., A Bisimulation Relation for Selected Types of Probabilistic and Quantum Automata, Prace Naukowe Akademii im. Jana Dlugosza w Czestochowie, Matematyka, 2011, nr 16, 135 - 140. BibTex
Siedlecka-Lamch O., A Minimization Algorithm of 1-way Quantum Finite Automata, Metody Informatyki Stosowanej nr 4/2010 (25), str. 73-79 BibTex
Siedlecka O., Minimization of reactive probabilistic automata, International Book Series "Information Science and Computing" - Algorithmic and Mathematical Foundations of the Artificial Intelligence, Sofia: ITNEA, 2008, no 1, 75-80 BibTex
Siedlecka O., Algorytm minimalizacji jednokierunkowego, skończonego automatu kwantowego, FCCS 2008, 4th Polish and International PD Forum-Conference on Computer Science,2008, nosnik CD-ROM BibTex
Kryvyi S., Matveyeva L., Lukianova E., Siedlecka O., Ontology View on Automata Theory, International Journal Information Theories and Applications, 2008, vol. 15, no 4, P. 337-344. BibTex
Kryvyi S., Matveyeva L., Lukianova E., Siedlecka O., Ontologiczne spojrzenie na teorię automatów, 13-th International Conference KDS-2007 (Knowledge-Dialog-Solution), Proceedings, vol. 2, ITHEA, Varna, 2007, P. 427-436. BibTex
Siedlecka O., A Brief Overview of Quantum Computing Theory. Computing, Multimedia and Intelligent Techniques. January 2006, vol. 2, no 1, 35 - 45. BibTex

Projekty

Praktyczne zastosowania automatów kwantowych, probabilistycznych oraz binarnych drzew decyzyjnych kierownictwo dr inż. Olga Siedlecka - Lamch- BS/MN-1-112-301/2012/P
Projektowanie i budowa inżynierskich systemów symulacyjnych – kierownictwo prof. dr hab. inż. Norbert Sczygiol – BSPB-1-112-3020/11/P
Projektowanie i budowa inżynierskich systemów symulacyjnych – kierownictwo prof. dr hab. inż. Norbert Sczygiol – BS-1-112-301/2004/P
Modelowanie i symulacje procesów technicznych, technologicznych i ekonomicznych – kierownictwo dr hab. inż. Henryk Piech, prof. Pcz – BSBP-1-112-3010/11/P
Analiza algorytmów kryptograficznych i ich zastosowanie w informatyce – kierownictwo dr Artur Jakubski – BW-1-112-205/2009/S
Metody obliczeń kwantowych i ich zastosowanie w zagadnieniach informatycznych – kierownictwo mgr inż. Olga Siedlecka - BW-1-112-203/2004/P

Nagrody, stypendia, wyróżnienia:

2022 zespołowa Nagroda Rektora Politechniki Częstochowskiej za osiągnięcia publikacyjne
2020 - 2024 Członek Senatu Politechniki Częstochowskiej
2018 - 2020 członek Rady Wydziału Inżynierii Mechanicznej i Inofrmatyki Politechniki Częstochowskiej
2014 Nagroda Rektora Politechniki Częstochowskiej za wdroóżenie i propagowanie nowoszesnych metod nauczania
2012 Stypendystka Instytutu Podstaw Informatyki Państwowej Akademii Nauk w ramach projektu „Technologie informacyjne: badania i ich interdyscyplinarne zastosowania”
2011 Nagroda Rektora Politechniki Częstochowskiej za wdroóżenie i propagowanie nowoszesnych metod nauczania
2009 Nagroda Rektora Politechniki Częstochowskiej za wyróżnioną rozprawę doktorską
2002/2003 stypendium Ministra Edukacji Narodowej i Sportu za szczególne osiągnięcia w nauce;
2001/2002 stypendium Ministra Edukacji Narodowej i Sportu za szczególne osiągnięcia w nauce;
1997/1998 stypendium Prezesa Rady Ministrów dla najlepszych uczniów szkół średnich w Polsce.

Języki:

angielski
niemiecki
rosyjski

Inne:

Cykliczne szkolenie i materiały w ramach Sekurak Academy lata 2024-2025
Szkolenie "Oracle: Analiza danych z elementami optymalizacji" JSystem - 23.09.2024 - 25.09.2024
Szkolenie "Narzędziownik AI" - Securitum - 14, 24.V; 4.VI.2024r.
"Warsztaty ksztaltujące świadomość niepełnosprawności" - 29.06.2023 r.
Szkolenie "SQL i PL/SQL dla zaawansowanych" - JSystem - 15-19 czerwca 2023
Szkolenie "Pierwsza pomoc z uwzględnieniem osób z niepełnosparwnościami" - Akademia pPierwszej Pomocy Wrocław - 7 marca 2023
Szkolenie "Jak ransomware dostaje się do firm?" - Securitum - 15 czerwca 2022
Szkolenie z dostosowania materiałów dydaktycznych do potrzeb osób z niepełnosprawnością - 2021
Szkolenie: Podstawy nauczania na odleglosc - projektowanie i prowadzenie kursow - 2009
IX Szkola PLOUG, Lodz, luty 2009 "Oracle Database - Rozszerzenie proceduralne PL/SQL"
VI Szkola PLOUG, Poznan, luty 2008 "Oracle Database 11g: podstawy administracji"
IV Szkola PLOUG, Poznan, luty 2005 "Hurtownie danych: od koncepcji do wdrozenia"
III Szkola PLOUG, Poznan, luty 2004 "Projektowanie aplikacji dla platformy J2EE"
II miejsce w regatach o Puchar Yacht Clubu Kolejarz w klasie Omega - 2004
III miejsce w regatacho Mistrzostwo Czestochowskiego Okregowego Zwiazku Zeglarskiego w klasie Omega 2004