Meet ApplyKite Twin, the application assistant that learns with you
Meet your Twin, it learns with you
Your Twin learns with you
Launch week codes:30% off annual Pro20% off monthly Pro
Ends in00h00m00s
Ends in00h00m00s
Olga Siedlecka-Lamch
Assistant Professor
Częstochowa University of Technology
Research Interests
Explore related searches
About
Olga Siedlecka-Lamch is an Assistant Professor at Czestochowa University of Technology in Poland. Her research primarily focuses on the verification of security protocols, particularly in the context of timed aspects and agent-based formalisms. Recent publications include works on timed interpreted systems and SAT/SMT-based verification techniques.
Articles (2)
Year:
2024
Year:
2021
Collaborators (2)
Mirosław Kurkowski
Associate Professor
Police Academy in Szczytno
POLAND
Andrzej Zbrzezny
Associate Professor
Jan Długosz University
POLAND
Make your next move.
Prepare your application
Review drafts before you send them.