Radosław Piórkowski

Tame the Infinite - Simplification Problems for Infinite-State Systems (Oswoić nieskończone - problemy upraszczania dla systemów nieskończenie stanowych)

Affiliation

Uniwersytet Warszawski

Field

informatics

Awarding date

Oct. 27, 2022

Supervisor

• prof. dr hab. Sławomir Lasota (Uniwersytet Warszawski)

Assistant supervisor

• dr hab. Wojciech Czerwiński (Uniwersytet Warszawski)

Reviewers

• dr hab. Jakub Michaliszyn (Uniwersytet Wrocławski)
• prof. Stefan Göller (Universität Kassel)

Documents

• Summary in Polish
• Thesis

Reviews

• Review
• Review