About
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.
Find Paweł Głuchowski elsewhere
Related Searches
You Might Also Like
- MMichał LowerWrocław University of Science and Technology · Lecturer
- JJan MagottWrocław University of Science and Technology · Professor
- MMaciej GębalaWrocław University of Science and Technology · Lecturer
- WWojciech BartkowiakWrocław University of Science and Technology · Professor
- UUrszula BazylińskaWrocław University of Science and Technology · Associate Professor
Andrzej KucharskiWrocław University of Science and Technology · Professor