• Member of Academia Europaea.
  
• Fellow of the International Artificial Intelligence Industry Alliance (AIIA) .
  
• Member of the advisory committee of the Computing Research Repository (CoRR).
  
• Founder and the first Editor-in-Chief of the ACM Transactions on Computational Logic (TOCL) .
  
• One of the initiators of the Lipski Award.
  (Award named after my colleague and friend, computer scientist Witold Lipski, 1949-1985).
  
• One of the initiators of the Nagroda im. Profesora Teodora Paliczki
  (Award named after Teodor Paliczka, 1937-2009, my teacher of mathematics at my secondary school in Katowice, Poland).
  

[Home]