![This is the logo of the PhD school. There is a text with [TextACPS] and on the left a symbol depicting a list of nodes.](https://www.tuwien.at/doc/trustacps/wp-content/uploads/2024/01/logotrustacps.png)
TrustACPS Doctoral College
We are thrilled to announce that Robin Coutelier, a PhD student in the TrustACPS program at TU Wien, has been awarded the prestigious Paul Gochet Prize by the University of Liège for his outstanding master’s thesis on “Chronological vs. Non-Chronological Backtracking in SMT.” This honor is not only a recognition of Robin’s exceptional research in the field of automated reasoning and formal methods, but also an important achievement for our doctoral program. The funding, provided by the Fondation Paul Gochet, will support Robin’s ongoing collaboration with researchers at his alma mater, further strengthening the ties between our program and the University of Liège. We are incredibly excited and proud of Robin for this well-deserved recognition and look forward to his continued contributions to the field.
About Cookies
Our website uses cookies to ensure you get the best experience on our website, for analytical purposes, to provide social media features, and for targeted advertising. This it is necessary in order to pass information on to respective service providers. If you would like additional information about cookies on this website, please see our Data Protection Declaration.
-
These cookies are required to help our website run smoothly.
Name Purpose Lifetime Type Provider wordpress_test_cookie Testing-Cookie to check whether cookies are allowed. 1 Year HTTP Homepage TUW PHPSESSID Used by WordPress to retain the state of your current user session for all page requests. Session HTTP Homepage TUW wordpress_logged_in_{hash} Used by Wordpress to keep users logged in. {hash} represents an unique user token. 1 Year HTTP Homepage TUW wp-settings-time-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW wordpress_sec_{hash} This cookie is used to store your authentication details. Its use is limited to the admin console area. {hash} represents an unique user token. 1 Year HTTP Homepage TUW wp-settings-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW wp-wpml_current_language Stores the current language. This cookie is enabled by default on sites that use the Language filtering for AJAX operations feature. 1 Day HTTP Homepage TUW wp-wpml_current_admin_language_{hash} Stores the current WordPress administration area language. {hash} represents an unique user token. 1 Day HTTP Homepage TUW CookieConsent_374094 Saves your settings for the use of cookies on this website. 1 Year HTML Homepage TUW -
These cookies help us to continuously improve our services and adapt our website to your needs. We statistically evaluate the pseudonymized data collected from our website.
Name Purpose Lifetime Type Provider _pk_id.136.56ce Used to store a few details about the user such as the unique visitor ID. 13 months HTML Matomo TUW _pk_ref Is used to store the information of the users home website. 6 months HTML Matomo TUW _pk_ses.136.56ce Is needed to store temporary data of the visit. 30 minutes HTML Matomo TUW