Scholar
Igor Walukiewicz
Google Scholar ID: sq7cNakAAAAJ
CNRS, LaBRI, Bordeaux University
Citations & Impact
Citations
1,338
H-index
20
i10-index
38
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Member of the editorial board for the journal 'Fundamenta Informaticae'; participant in the Ticktac project (funded by ANR), which focuses on developing efficient techniques and tools for the verification and synthesis of real-time systems; developed the TChecker model-checking tool.
Research Experience
- Has presented or been involved in organizing several international conferences, such as CONCUR 2023 (Antwerp, Belgium), LICS 2023 (Boston, USA), etc.
Background
- Research interests include concurrency theory and the application of logic in computer science.
Miscellany
- Affiliated with LaBRI (Laboratoire Bordelais de Recherche en Informatique) and is a member of IFIP WG 2.2.
Co-authors