معرفی
Paweł Głuchowski is a researcher at the Department of Computer Engineering within the Faculty of Information and Communication Technology at Wrocław University of Science and Technology. His work focuses on formal verification methods and temporal logic applications in safety-critical systems.
- Specialization: Temporal logic, Deontic logic, Timed automata, Safety analysis of transportation systems
- Affiliation: Wrocław University of Science and Technology
His research primarily addresses safety analysis of transportation systems through formal verification techniques. Key methodologies include applying temporal logic frameworks like CTL/RTCTL and duration calculus to model complex system behaviors with time dependencies.
Recent publications demonstrate his expertise in using tools like NuSMV for airport traffic control verification, fault tree analysis with temporal dependencies, and duration calculus applications. These works span 2007-2016, showing sustained focus on formal methods in safety-critical domains.
Contact details: Office located in building C-3, room 313, with phone available at +47 71 320 2740. His email is pawel.gluchowski@pwr.edu.pl.
Paweł Głuchowski در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- MMichał LowerWrocław University of Science and Technology · مدرس
- JJan MagottWrocław University of Science and Technology · استاد
- MMaciej GębalaWrocław University of Science and Technology · مدرس
- WWojciech BartkowiakWrocław University of Science and Technology · استاد
- UUrszula BazylińskaWrocław University of Science and Technology · دانشیار
- AAdam KiersnowskiWrocław University of Science and Technology · دانشیار