{"id":47,"date":"2023-03-06T16:35:18","date_gmt":"2023-03-06T16:35:18","guid":{"rendered":"https:\/\/kgl.cs.aau.dk\/?page_id=47"},"modified":"2023-03-06T16:35:18","modified_gmt":"2023-03-06T16:35:18","slug":"students","status":"publish","type":"page","link":"https:\/\/kgl.cs.aau.dk\/?page_id=47","title":{"rendered":"Students"},"content":{"rendered":"\n<h5 class=\"wp-block-heading\">Current Ph.D. Students<\/h5>\n\n\n\n<ul class=\"wp-block-list\"><li>Jakob Haahr Taankvist (co-supervisor Manfred Jaeger)<\/li><li>Isabella Kaufmann (co-supervisor Ren\u00e9 Rydhof Hansen)<\/li><li>Mikkel Hansen (co-supervisor Giovanni Bacci)<\/li><li>Frederik Meyer B\u00f8nneland (co-supervisor Jiri Srba)<\/li><li>S\u00f8ren Enevoldsen (co-supervisor Jiri Srba and Arne Skou)<\/li><li>Mathias Claus Jensen.<\/li><li>Jonas Hansen (co-supervisor Giovanni Bacci)<\/li><li>Imran Riaz (co-supervisor Peter Gj\u00f8l Jensen)<\/li><li>Muhammad Naeem (co-supervisor Brian Nielsen)<\/li><\/ul>\n\n\n\n<h5 class=\"wp-block-heading\">Graduated Ph.D. Students<\/h5>\n\n\n\n<ul class=\"wp-block-list\"><li>Anders Mariegaard: Quantitative Systems: Efficient Reasoning Under Uncertainty.<\/li><li>Mathias Ruggaard Pedersen: Behavioural Preorders on Stochastic Systems \u2013 Logical, Topological, and Computational Aspects (co-supervised with Radu Mardare)<\/li><li>Peter Gj\u00f8l Jensen: Efficient Analysis and Synthesis of Complex Quantitative Systems (co-supervised with Jiri Srba)<\/li><li>Simon Borgbjerg Laursen: Synchronization and Control of Quantitative Systems (co-supervised with Jiri Srba)<\/li><li>Anders Engelbredt Dalsgaard: Verification of Safety Critical Systems using Program Analysis and Model Checking, (co-supervised with Ren\u00e9 R Hansen)<\/li><li>Zhengkui Zhang: Time and Cost Optimization of Cyber-Physical Systems by Distributred Reachability Analysis (co-supervised with Brian Nielsen)<\/li><li>Erik Ramsgaard Wognsen: Batteries in Space: Designing Energy-Optimal Satellites with Statistical Model Checking (co-supervised with Ren\u00e9 R Hansen)<\/li><li>Danny Poulsen: Statistical Model Checking of Rich Models and Properties.<\/li><li>Petur Olsen: Model Driven Development of Data Sensitive Systems (co-supervised w Arne Skou).<\/li><li>Line Juhl: Quantities in Games and Modal Transition Systems (co-supervised w Jiri Srba)<\/li><li>Claus Thrane. Quantitative Models and Analysis for Reactive Systems. 2011. (co-supervisor w Uli Fahrenberg)<\/li><li>Mads Christian Olesen: Program analysis as model checking (co-supervised with R\u00e9ne R. Hansen)<\/li><li>Mikael Harkj\u00e6r M\u00f8ller (co-supervised w Jiri Srba): Modal and Component-based System Specifications<\/li><li>Mikkel Larsen Pedersen: Specification Theories for Probabilistic Systems<\/li><li>Marius Mikucionis: Testing Real-Time Systems, 2010 Co-supervisor: Brian Nielsen<\/li><li>Saulius Pusinskas: Model based Testing of Communication Protocols, 2010 Co-supervisor:&nbsp; Arne Skou<\/li><li>Shuhao Li: Games and Scenarios for Real-Time Validation, 2010<br>Co-supervisor: Brian Nielsen<\/li><li>Ulrik Nyman: Distributed and Compositional Analysis and Model Checking, 2008<\/li><li>Jacob Illum Rasmussen: Resource Optimal Scheduling, 2007<\/li><li>Arne Skou: Validation of Concurrent Processes &#8211; with Emphasis on Testing, 1989<\/li><li>Liu Xinxin: Specification and Decomposition in Concurrency, 1992<\/li><li>Klaus Havelund; The Fork Calculus, 1994<\/li><li>Jens Chr. Godskesen: Timed Modal Specifications &#8211; A Theory for Verification of Real-Time Concurrent Systems, 1994<\/li><li>Josva Kleist: Models for Object Orientation<\/li><li>J\u00f8rgen H. Andersen: Parameterized Process Algebras and Logics, 1998<\/li><li>Augusto Burgueno Arjona: Model-Checking via Testing and Parametric Analysis of Timed Systems, 1997<br>supervision as BRICS summer Ph.D. Student<\/li><li>Brahim Mammas: Parameterized Verification, 1998<br>supervision as BRICS summer Ph.D. Student<\/li><li>Kaare Kristoffersen: Compositional Specification and Analysis of Real-Time and Hybrid Systems, 1999<\/li><li>Henrik Ejersbo Jensen: Abstraction Based Verification, 2000<\/li><li>Thomas Hune: Analyzing Real-Time Systems: Theory and Tools, 2001<\/li><li>M. Oliver M\u00f6ller: Validation and Verification, 2002<\/li><li>Gerd Behrmann: Data Structures and Algorithms for the Analysis of Real Time Systems, 2003<\/li><li>Andrzej Warsowski: Automatic Codegeneration from UML models, 2004<br>visiting PhD student from IT-U<\/li><li>Per Madsen: Object Oriented Testing (not completed) Co-supervisor: Kurt N\u00f8mark<\/li><li>Gregorio Diaz: Modelling Real Time Systems , visiting Ph.D. Student.<\/li><li>Martijn Hendriks: Symmetry Reduction for Real Time Systems, visiting from Nijmegen University, Twente.<\/li><li>Johan Ernits: Modelling and Analysing Embedded and Hybrid Systems, visiting PhD student from Tallin, Estonia<\/li><li>Michael Westergaard: From CPN to UPPAAL, visiting PhD student from DAIMI, Aarhus, Denmark<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Current Ph.D. Students Jakob Haahr Taankvist (co-supervisor Manfred Jaeger) Isabella Kaufmann (co-supervisor Ren\u00e9 Rydhof Hansen) Mikkel Hansen (co-supervisor Giovanni Bacci) Frederik Meyer B\u00f8nneland (co-supervisor Jiri Srba) S\u00f8ren Enevoldsen (co-supervisor Jiri Srba and Arne Skou) Mathias Claus Jensen. Jonas Hansen (co-supervisor Giovanni Bacci) Imran Riaz (co-supervisor Peter Gj\u00f8l Jensen) Muhammad Naeem (co-supervisor Brian Nielsen) Graduated Ph.D. &hellip; <a href=\"https:\/\/kgl.cs.aau.dk\/?page_id=47\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Students&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-47","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/47","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=47"}],"version-history":[{"count":1,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/47\/revisions"}],"predecessor-version":[{"id":48,"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=\/wp\/v2\/pages\/47\/revisions\/48"}],"wp:attachment":[{"href":"https:\/\/kgl.cs.aau.dk\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=47"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}