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