Igor Walukiewicz

Igor Walukiewicz is a Researcher at the Laboratoire Bordelais de Recherche en Informatique (LaBRI), affiliated with Université de Bordeaux, France. His work focuses on Concurrency Theory, Model Checking, Timed Automata, Higher-Order Model Checking, and Automata Theory.

His recent research explores parametric systems, timed automata, and higher-order concurrency. Articles highlight advancements in verification techniques, synthesis of distributed algorithms, and partial-order reduction methods. Key subfields include deadlock avoidance, active learning, and logical frameworks for timed systems.

He has secured significant ANR grants such as FREDDA (FoRmal Methods for Distributed Algorithms) and Ticktac (Verification of Real-Time Systems). He contributes to tools like TChecker, a model-checking tool for real-timed systems developed at LaBRI.

Walukiewicz participates in editorial and organizational roles, including the Fundamenta Informaticae editorial board and HIGHLIGHTS conference steering committee. He has presented at major venues like LICS, CONCUR, and ICALP.