Honors Program - MSc in Computer Science and Engineering - DTU

Highlights

Introduction

Elite students on the Honors Program must have demonstrated significant levels of ambition and competence as bachelor students and follow a particularly challenging individual study plan on the MSc in Computer Science and Engineering program at DTU Compute.

Honors Program: Admission & Performance Requirements

Further Information: MSc in Computer Science and Engineering

Portraits

Hjalte Wedel Vildhøj completed the Honors Program in August 2011 with associate professor Inge Li Gørtz as personal tutor. Through the program, Hjalte became actively involved in algorithmic research and published his first paper. His thesis, entitled "String Indexing for Patterns with Wildcards", considers the problem of indexing a text string to report the occurrences of a query pattern containing wildcards. Concurrent with his studies, Hjalte has worked as a teaching assistant in numerous courses. He participated in the International Summer School on Geometric Data Structures, Center for Massive Data Algorithmics (MADALGO), Aarhus University, 2010, and gave a paper presentation at the 17th International Symposium on String Processing and Information Retrieval (SPIRE), Los Cabos, Mexico, 2010. Hjalte has received a PhD scholarship at DTU Compute.

Søren Juhl Vind completed the Honors Program in January 2012 with associate professor Philip Bille as personal tutor. His thesis, entitled "String Indexing for Patterns with Wildcards", considers the problem of indexing a text string to report the occurrences of a query pattern containing wildcards, and is expected to result in a published paper. Concurrent with his studies, Søren has worked part-time as Systems Administrator in a small Danish IT company, and as a teaching assistant in several courses at DTU. He spent a semester as an exchange student at California Institute of Technology, Pasadena, California, USA, 2009, participated in the International Summer School on Geometric Data Structures, Center for Massive Data Algorithmics (MADALGO), Aarhus University, 2010 and in the Erasmus Intensive Programme in Developing Open Source System Expertise in Europe (DOSSEE), Alcalá de Henares, Spain, 2011. Søren has worked as a software engineer at Kapow Software and then received a PhD scholarship at DTU Compute.

Przemyslaw Daca completed the Honors Program in May 2012 with professor Flemming Nielson as personal tutor. In the program, he focused on formal verification - techniques for proving that complex systems, such as computer programs, posses certain properties. He started with a project on modelling and verification of asynchronous electronic circuits. He spent one semester as an exchange student at the Technical University of Vienna. In the summer of 2011, he worked as a research intern in the group of professor Dirk Beyer at the University of Passau, Germany, on a project concerning optimizing theorem prover queries in verification of concurrent software. Przemyslaw's thesis is entitled "Efficient Model Checking of Concurrent Systems" and the supervisor is professor Hanne Riis Nielson. In the thesis the rely-guarantee method for proving safety of concurrent programs is combined with techniques that have been successfully used for verification of sequential programs, e.g. lazy abstraction and Craig's interpolation. In June 2012 Przemyslaw became an unaffiliated PhD candidate at the Institute of Science and Technology Austria.

Vaidas Karosas completed the Honors Program in June 2012 with associate professor Ekkart Kindler as personal tutor. The focus of his program was on model-based testing - an approach to testing where executable test cases are generated from a test model, which reflects the requirements for the system under test. The interest in this field was, actually, triggered by Vaidas' part-time work for an international company as a tester of an enterprise resource planning system. With a special course, "Model-based testing: overview of current research", he started investigating the field and got an overview of interesting research topics in the area. From there, in a second special course "A framework for automatic test generation from behaviour models", he started contributing own ideas and research and participated in the conference "Model-based Testing User Conference" (Berlin, October 2011). With his thesis "Debugging in model-based testing: finding the origin of test failures", he contributed concepts and extensions to an existing testing tool which allow testers to identify the actual source of a test failure. Vaidas plans to put the skills and knowledge gained during the studies to use in the industry.

Ximeng Li completed the Honors Program in July 2012 with professor Flemming Nielson as personal tutor. During his study, he focused on the static analysis and model checking of concurrent programs. He developed static analyses to check typical properties of concern for mutual exclusion algorithms, establishing correctness of the methods using Abstract Interpretation. He participated in two workshops of MT-LAB, a VKR Center of Excellence, held at the Technical University of Denmark and Aalborg University, during one of which the work was presented. In his thesis he looked into complementary methods developed in the software model checking community and developed combined methods of automatic abstraction and refinement with reduction, in order to deal with user assertions in concurrent programs including realizations of mutual exclusion algorithms in C code. Ximeng has received a PhD scholarship at DTU Compute.

Piotr Borowian completed the Honors Program in August 2012 with associate professor Ekkart Kindler as personal tutor. In the program, he focused on how programming language theory and state-of-the-art technologies for software engineering can be applied to solve practical problems from the IT industry. During his part time job as a software developer at Deltek, Piotr has encountered a number of such scientifically interesting problems that he decided to tackle. In his special course, "Debugging in domain specific languages", he developed a debugger, currently used in production, for one of the domain specific languages at Deltek. Further, he took up the challenge of migrating this domain specific language to a new domain specific language that he was to design. To acquire the necessary background, Piotr took a special course "Concepts and state-of-the-art technologies in compiler construction". Then, in his master's thesis entitled "Redesigning the language for business logic in the Maconomy ERP system and automatic translation of existing code", he developed a proof-of-concept translator from the domain specific language used at Deltek into a new one that Piotr designed and implemented. It gave the company a solid foundation, both conceptual and technological, for the migration to take place. In addition to that, in his thesis Piotr contributed a generic architecture of an extensible source to source translator that solves the AST typing problem. Driven by his interest in domain specific languages and model-based software engineering, he participated in the 8th European Conference on Modelling Foundations and Application (Lyngby, July 2012). Piotr has been hired as a full time software developer at Deltek and will continue the work he begun in thesis.

Jacobo Rouces completed the Honors Program in August 2012 with professor Jørgen Fischer Nilsson as personal tutor. Jacobo focused on covering both symbolic and statistical methods for AI and data mining, with the objective of creating solutions that combine both the reasoning power of the former and the flexibility of the latter. In his thesis, entitled "Statistical Text Analysis Using English Dependency Structure" and supervised by professor Lars Kai Hansen, he designed a normalized representation of the semantics from any text, obtained from the syntactic relations between terms. This representation was used for two purposes: automatic thesaurus generation, using a similarity measure over terms trained over the Simple English Wikipedia, and information retrieval, using a similarity measure over documents. Jacobo worked as a teaching assistant in the course "Introduction to Artificial Intelligence" and he participated in the elaboration of new course material. He took the PhD summer course "Matrix Methods in Data Mining and Pattern Recognition" and attended the IBM Best Student Recognition Event 2010. Besides natural language processing and information retrieval, he is also interested in computer vision and processing of symbolic music. Jacobo Rouces has started as a research assistant at Aalborg University Esbjerg.

Andrei Lissovoi completed the Honors Program in September 2012 with associate professor Carsten Witt as personal tutor. During his study, he focused on algorithms and the application of logic in computer science, and explored nature-inspired algorithms through special courses. He presented the topics considered in the "When is Combinatorial Optimization Easy for Evolutionary Algorithms?" special course in a mini-tutorial at the 5th Workshop on Theory of Randomized Search Heuristics (ThRaSH), Copenhagen, 2011. Concurrent with his studies, Andrei has worked as a teaching assistant in several courses. In his thesis, "Analysis of Ant Colony Optimization for Dynamic Shortest Path problems," he examined the conditions under which an ACO-based algorithm is able to use pheromone memory to reliably keep track of the shortest paths in a graph when the fitness function changes regularly. Andrei has received a PhD scholarship at DTU Compute.

Niklas Christoffer Petersen completed the Honors Program in October 2012 with associate professor Jørgen Villadsen as personal tutor. Niklas has focused his master study on reasoning of natural language and multi-agent systems, both using formal logical approaches. In his thesis, entitled "A Logical Approach to Sentiment Analysis", he combines machine learning and formal logical methods for information retrieval of sentiment in natural language texts. In August 2012 he attended the 24th European Summer School in Logic, Language and Information in Opole, Poland, where he participated in workshops. Besides natural language processing and information retrieval, Niklas also has a business oriented mind, and has been in charge of his own IT consulting firm since 2008. Niklas has been hired by Trafikselskabet Movia and has received an Industrial PhD scholarship at DTU Management Engineering.

Madava Dilshan Vithanage completed the Honors Program in December 2012 with associate professor Nicola Dragoni as personal tutor. His program had a broad coverage with courses from both the Department of Informatics and Mathematical Modelling and the Department of Electrical Engineering. The main focus was within Energy Harvesting Wireless Sensor Networks, which culminated in the thesis, entitled "Asynchronous Media Access Control for Energy Harvesting Wireless Sensor Networks" which takes a pragmatic approach to investigate the feasibility of thermal energy harvesting from radiators in buildings using state-of-the-art MAC schemes. It resulted in a submission of a paper titled "Medium Access Control for Thermal Energy Harvesting Advanced Metering Infrastructures" to EUROCON 2013, while another paper titled "A Survey of Receiver-Initiated MAC Protocols for Wireless Sensor Networks" is expected to be completed in January 2013. During his studies at DTU, Madava has also worked part-time as an Embedded Systems Engineer at a privately owned Danish Metering Company, Brunata A/S. After graduation, Madava was employed as a RF Systems Designer for Z-Wave at Sigma Designs Technology Denmark ApS.

Rasmus Bo Sørensen completed the Honors Program in January 2013 with professor Jens Sparsø as personal tutor. During his studies Rasmus has worked on several aspects of time-predictable Network-on-Chip architectures, including static traffic scheduling and synchronous and asynchronous hardware implementations. Rasmus published his first paper "A Light-Weight Statically Scheduled Network-on-Chip", at the 30th IEEE NorChip Conference in Copenhagen, November 2012. His thesis, entitled "Programming of the T-CREST platform for real-time systems", considers the programming of the initial T-CREST platform; this work relates to the T-CREST research project supported by the European Union's 7th Framework Programme. In the fall semester 2010, he studied at ETH Zürich. Rasmus has worked as a teaching assistant in six different courses. He participated in the NaNoC summer school in Munich, June 2012. Rasmus has received a PhD scholarship at DTU Compute.

Mikko Berggren Ettienne completed the Honors Program in March 2013 with associate professor Jørgen Villadsen as personal tutor. During his studies he focused on algorithms, logic for computer science and artificial intelligence. His thesis, entitled "Increasing the Efficiency and Feasibility of Automated Planning through the Specification of Domain-dependent Heuristic" and with associate professor Thomas Bolander as supervisor, considers the problem of constructing precise yet tractable heuristic estimators for planning problems in general. Concurrent with his studies, Mikko has worked as a teaching assistant, part-time as Systems Administrator in a larger company and is co-owner of an IT development company. In 2011 he participated in the Erasmus Intensive Programme in Developing Open Source System Expertise in Europe (DOSSEE), Alcalá de Henares, Spain. Mikko participated in the Multi-Agent Programming Contest as a member of the DTU team in 2010, 2011 and 2012 which also led to his first publications "Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach" and "Reimplementing a Multi-Agent System in Python" (both in Springer Lecture Notes in Computer Science). Mikko has worked as a software developer at Issuu and then received a PhD scholarship at DTU Compute.

Steen Vester completed the Honors Program in April 2013 with associate professor Valentin Goranko as personal tutor. During the program, Steen focused primarily on applications of temporal logics, model-checking and game theory in computer science. He also followed the one-year program "Parisian Master of Research in Computer Science" (MPRI) where he was inscribed at École Normale Supérieure de Cachan. During this period he did a 7-month research internship at Laboratoire Spécification et Vérification in Cachan where he worked with supervisors Nicolas Markey and Patricia Bouyer-Decitre on symmetric Nash equilibria in concurrent games with infinite duration. His thesis "Game-Theoretic and Computational Aspects of Concurrent Game Models" focuses on complexity and algorithms for model-checking the Alternating-time Temporal Logics ATL and ATL* interpreted over concurrent game structures with incomplete information. As a part of the DTU teams "Jason-DTU" and "Python-DTU" he participated successfully in the Multi-Agent Programming Contest in 2010, 2011 and 2012. He also co-wrote articles about the strategies employed in the competition which were published in Annals of Mathematics and Artificial Intelligence and Springer Lecture Notes in Computer Science. In addition, Steen worked as a teaching assistant in several courses. Steen has received a PhD scholarship at DTU Compute.

Mark Ruvald Pedersen completed the Honors Program in July 2013 with professor Jan Madsen as personal tutor. Mark has traversed hw/sw-stack; integrated analog, digital, computer arithmetic, computer architecture, algorithms, compilers, OS, program analysis, language design. Later work focused on algorithms for analysis, scheduling and compilation techniques. He participated in European workshop for Metaheuristics, EU/ME, presenting a static scheduler for a NoC based on GRASP and ALNS techniques. A paper on this is currently being finalized. Based on work stemming from his BSc project, a full paper entitled "Optimal Register Allocation by Augmented Left-Edge Algorithm on Arbitrary Control-Flow Structures" was accepted and presented at Norchip'12. Concurrent with studies, Mark was employed by DTU as student programmer working on a GUI for European project ForSyDe. Mark was interning at The Video and Imaging Engineering Design (VIED) group (formerly known as Silicon Hive) of Intel Mobile and Communications Group (MCG) in Eindhoven for a stay of 2+6 months under supervision of Menno Lindwer. Mark wrote his thesis during the latter 6 months at Intel, creating a programming model and language for capturing dependencies in a whole application. From this, communication (DMA transfers, synchronization) is synthesized for heterogeneous VLIW-SIMD multi-core. This has links to European project ASAM, and as such he participated in several ASAM meetings at TU/e. The invited paper "High-performance Imaging Subsystems and Their Integration in Mobile Devices" co-authored with Menno Lindwer, was accepted for DATE'13. Mark has been hired as a firmware developer at Oticon.

John Bruntse Larsen completed the Honors Program in July 2013 with associate professor Jørgen Villadsen as personal tutor. In the program he studied algorithms, logic for computer science and artificial intelligence. In 2011 he authored his first publication "Inconsistency Handling in Multi-Agent Systems" which was published in the proceedings of Algolog Multi-Agent Programming Seminar - AMAPS-2011. In 2012 he attended the international Modality and Modalities event at University of Copenhagen. He also participated in the multidisciplinary student event "Grøn Dyst" at DTU as a member of the project "Intelligent Surveillance with Autonomous Underwater Vehicles" which led to a co-authored paper of the same name for AMAPS-2012. During his studies he worked as a teaching assistant for an introductory course in artificial intelligence. John studied a year at Korea Advanced Institute of Science and Technology (KAIST), focusing at information retrieval and the semantic web at the Semantic Web Research Center where he co-authored the paper "Korean Linked Data on the Web: Text to RDF" (published in Springer Lecture Notes in Computer Science). He attended the International Asian Summer School on Linked Data 2012 and the symposium "The Creative Web: Computational Creativity as a Web-Service". His thesis, entitled "Content-based Recommender Systems" and with professor Jørgen Fischer Nilsson as supervisor, considers the problem of accurately profiling products for a content-based recommender system. John has been hired as a software developer at PDC A/S and has received an Industrial PhD scholarship at DTU Compute.

Han Yue completed the Honors Program in August 2013 with professor Flemming Nielson as personal tutor. Han has focused his master study on using and improving PRISM to analyze real life systems. In a project, "Model Checking Real Life", conducted during the spring of 2012, a PRISM DTMC model of a hypothetical ambulance system was developed and studied. In another project, "Modifying PRISM", conducted during the autumn of 2012, PRISM was extended with probability reachability path reward formulae for DTMCs. In his thesis, entitled "Extending Stochastic Model Checking with Path Rewards", PRISM has been further extended with probability instantaneous, cumulative and reachability path reward formulae for both DTMCs and MDPs. Concurrent with his studies, Han participated in Erasmus Intensive Programme in Developing Open Source System Expertise in Europe (DOSSEE) organized 12-23 March 2012 at FH JOANNEUM, Austria and worked part-time at Microsoft Development Center Copenhagen (MDCC) as a student worker Software Engineer. Han has received an offer of an entry level Financial Software Developer position at Bloomberg London.

Nicklas Bo Jensen completed the Honors Program in August 2013 with associate professor Sven Karlsson as personal tutor. In the program, Nicklas became actively involved in compiler research and published his first paper. His thesis, entitled "A Compilation Framework for Exposing Code Analysis", considers the problem of creating a new type of interactive compiler, allowing programmers to actively work with the performance of their application by exposing code analysis. Concurrent with his studies, Nicklas has worked as a student programmer in the European research project Smart Multicore Embedded Systems. He has attended multiple conferences and presented at the 5th Workshop on Programmability Issues for Heterogeneous Multicores, Paris, 2012. Nicklas has received a PhD scholarship at DTU Compute.

Thor Helms completed the Honors Program in October 2013 with associate professor Jørgen Villadsen as personal tutor. In the program he studied logic and algorithms. He participated in the multidisciplinary student event "Grøn Dyst" at DTU as a member of the project "Intelligent Surveillance with Autonomous Underwater Vehicles" which led to a co-authored paper of the same name for AMAPS-2012 (Algolog Multi-Agent Programming Seminar). His thesis, entitled "A Voxel Based Platform for Game Development" and with associate professor Michael Reichhardt Hansen as supervisor, considers what a (computer) game is, and how to create games that use voxel based graphics. Thor hopes to start a business based on the work he did in his thesis.

Andreas Hindborg completed the Honors Program in October 2013 with associate professor Sven Karlsson as personal tutor. During his studies, Andreas focused on computer architecture, compiler technology, dynamic binary translation and highly parallel systems. In his thesis, titled "Accelerating Instruction Set Emulation using Reconfigurable Hardware and Trace Based Optimization", Andreas details a novel method for accelerating the execution of certain cases of emulation problems. In the summer of 2011, Andreas visited ARM Ltd. in Cambridge, where he implemented an emulation layer for the NEON floating point extension in the Linux kernel. Concurrent with his studies, Andreas worked as a Software Engineer at the e-learning company EduLab ApS, and later as an Engineer in his own company, Prototype ApS, which is a private contractor with experience in ultra-fine data collection systems targeting the neuroscience research sector. Andreas has received a PhD scholarship at DTU Compute.

Jens Peter Träff completed the Honors Program in March 2014 with associate professor Jørgen Villadsen as personal tutor. In the program he studied algorithms as well as logic for computer science and artificial intelligence. He particularly ventured into the area of nature-inspired algorithms. He participated in the multidisciplinary student event "Grøn Dyst" as a member of the project "Intelligent Surveillance with Automated Underwater Vehicles" which led to a co-authored paper of the same name for AMAPS2012. In other projects he experimentally verified and expanded upon the application of recombination presented in recent research and he considered methods for maintaining diversity in genetic algorithms. In 2013, he participated in the workshop on Theory of Randomised Search Heuristics, in Aberystwyth, Wales. He studied at the University of Connecticut too. His thesis, entitled "Comparison of Crossover and Diversity-Maintaining Operators in Randomized Search", with associate professor Carsten Witt as supervisor, considers the application of crossover operators on the Traveling Salesman Problem. He worked as a teaching assistant in the "Theory of Science" course. Jens Peter has been hired as a software developer at 3Shape.

Anders Roy Christiansen completed the Honors Program in June 2014 with associate professors Philip Bille and Inge Li Gørtz as personal tutors. During the program, Anders' focus has been on the field of algorithms. He has made a special project on "Algorithms for Regular Expression Matching" and his master thesis "Tree Compression and DAGs" considers the topic of compressing trees - just like strings or arbitrary files can be compressed. The latter will hopefully result in a published article. He has worked as a teaching assistant in a number of courses at DTU. His bachelor project "Programming Contest" resulted in Anders being one of the hosts of DTU Warmup in 2012 and 2013 - a competition to prepare to "DM i Programmering" wherein he has also participated himself. Furthermore it has evolved into a teaching tool, CodeJudge, used in a number of introductory programming and algorithmic classes at DTU for automatic code evaluation. He was abroad as an exchange student at the University of Illinois at Urbana-Champaign, Illinois, USA, for one semester in the fall 2013. He participated in the conference Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), Copenhagen, Denmark, 2014. Anders has received a PhD scholarship at DTU Compute.

Søren Bardrum Olofsson completed the Honors Program in August 2014 with associate professor Christian Damsgaard Jensen as personal tutor. During his studies, he has focused on software engineering and distributed systems for intelligent home control. In particular, he has focused on the development of fundamental infrastructure for such systems through the development of two different event distribution frameworks and an encapsulation layer that provides a single application programming interface (API) for two very different control systems produced by Schneider Electric, Intelligent Home Control (IHC) and Programmable Logic Controller (PLC). This work has contributed to the fields of pervasive computing and home automation through the promotion of decoupled communication infrastructures. The quality of his work has been proven by practice through DTU's participation in the unofficial world championship in intelligent plus energy buildings - Solar Decathlon Europe. He has participated as a member of the DTU team in the Solar Decathlon Europe (SDE) competition in Madrid in 2012 and again in Versailles in 2014. He received a DTU Blue Dot Award for his extraordinary contributions to the DTU team during the SDE 2012 competition. His thesis, entitled "Building a Peer-to-peer system for Home Control", was written as part of the SDE 2014 contest and considers the problem of creating a scalable distributed system that enables an integration of home components. He also has a business oriented mind, and has managed his own IT consulting firm since 2011. In 2013, he participated in BCG's Traction Europe workshop, Paris, McKinsey's Horizon workshop, Stockholm, and Bain & Company's IT business strategy workshop, Copenhagen. Alongside his studies, he has worked as a teaching assistant in "Distributed Systems" and "Functional Programming" and part-time as a software developer in a large software company. Søren has been hired as IT Consultant in Netcompany IT & Business Consulting.

Ioannis Kotleas completed the Honors Program in August 2014 with professor Jens Sparsø as personal tutor. During his studies, Ioannis focused on digital systems design, asynchronous circuits design, computer architecture, networks-on-chip and embedded systems. In his thesis, titled "Mode Changes in Network-on-Chip based Multiprocessor Platforms", Ioannis added support for mode changes to the Time-Division-Multiplexed Network-on-Chip that is used in the T-CREST time predictable Multi-Processor-System-on-Chip. In the spring of 2014, Ioannis attended the 20th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'14) in Potsdam, Germany. Concurrent with his studies, Ioannis worked as a teaching assistant in "Design of Digital Systems" and as a programmer for the T-CREST project where he did the FPGA prototyping of the self-timed NoC of the T-CREST multicore platform. Moreover, Ioannis is first author of the article titled "A Loosely Synchronizing Asynchronous Router for TDM-Scheduled NOCs" that will be presented at the 8th ACM/IEEE International Symposium on Networks-on-Chip (NOCS'14). Additionally, Ioannis did a special course on Hsiao error correction codes in collaboration with Vitesse Semiconductor Corporation and the product of this work is used in their next generation Ethernet chips. Ioannis aspires to work for the R&D sector of the semiconductor industry.

Christian Gram Kalhauge completed the Honors Program in February 2015 with associate professor Christian W. Probst as personal tutor. During his study, he focused on concurrent languages and the problematics associated with them. He has been a graduate visiting researcher at UCLA Computer Science for 5 months, under Jens Palsberg, where he assisted in ongoing research in data-race detectors and helped developing test suites for parallel Java programs. The visit culminated in the subject of his thesis, "Finding concurrency bugs in Java programs". The thesis improved upon the dynamic analysis coverage of parallel programs, using a novel technique called hyperconcolic. He has attended two workshops; the Southern California Programming Languages and Systems Workshop (SoCal PLS '14), and the Danish Static Analysis Symposium (DANSAS '12). Besides this he assisted in the PAPP project as a student helper, where he helped maintaining and updating the build images. Christian has received a PhD scholarship at UCLA.

Magdalena Anna Furman completed the Honors Program in February 2015 with associate professor Sune Lehmann Jørgensen as personal tutor and with associate professor Jakob Eg Larsen as co-supervisor on the thesis. During her studies she focused on software engineering and machine learning. Her thesis, entitled "Detecting Mode-of-Transportation based on Noisy Smartphone Sensor Data", focuses on using Machine Learning to extract the transportation-mode (walking, biking, driving a car, on a bus, on a train, etc.) from Wi-Fi and GPS data. In the summer of 2014, Magdalena worked as a summer student at CERN in Geneva. She became a member of one of the groups at Engineering Department working on the upgrade of laser and electron beam welding database. Her work is currently used by the welding machines operators. In addition, she attended a number of lectures, which allowed her to broaden her knowledge in particle physics. Concurrent with her studies, Magdalena has worked part-time as Software Development Engineer in a Danish company called Nordic IT. She worked on an information extraction tool from semi-structured e-mails containing ship positions using Machine Learning techniques. Magdalena has been hired as a full-time Software Development Engineer at Nordic IT.

Tobias Bertelsen completed the Honors Program in September 2015 with associate professors Philip Bille and Inge Li Gørtz as personal tutors. He focused on using advanced algorithms to solve difficult real-world problems. This included studies in distributed algorithms and data analysis as well as business and management. In his thesis "PECA: Proxy-based Efficient Clustering Algorithm; Enabling Bioinformatic Data Treatment in the Cloud" he collaborated with bioinformaticians at the University of Copenhagen and developed a new, highly parallelizable algorithm for gene analysis. Tobias studied a semester at the National University of Singapore in the spring 2014. While in Singapore he helped organized and participated in the 19th International Conference on Database Systems for Advanced Applications (DASFAA 2014), in Bali, Indonesia. Alongside his studies Tobias was responsible for organizing the DSE fair and worked part time at Deltek Inc. In the summer of 2014 he did an internship at Google in London, where he helped develop algorithms for automatic diagnostics of ad-serving problems. Tobias has been hired as a software engineer for Google in Zürich.

Andreas Viktor Hess completed the Honors Program in September 2015 with associate professor Jørgen Villadsen as personal tutor. Andreas has focused his master study on logic programming, intelligent agents, and multi-agent systems. In his thesis, entitled "Multi-Agent Systems and Logic Programming", he designed and implemented a framework for programming multi-agent systems in Visual Prolog in cooperation with PDC A/S. Andreas participated in the Multi-Agent Programming Contest as a member of the DTU team in 2013 and 2014. He also co-wrote articles about the strategies employed in the competition which were published in Springer Lecture Notes in Computer Science. In the fall semester 2014, he studied at TU Delft, The Netherlands. In June 2015 he attended the 29th International Symposium Logica, Hejnice Monastery, Czech Republic. Andreas has worked as a teaching assistant in a functional programming course at DTU. Andreas has received a PhD scholarship at DTU Compute.

Anders Schlichtkrull completed the Honors Program in September 2015 with associate professor Jørgen Villadsen as personal tutor. Anders has focused his master study on formalizing logical systems using the proof assistant Isabelle. In his thesis, entitled "Formalization of Resolution Calculus in Isabelle", he proved key properties about a logical inference system and checked his proofs in the Isabelle proof assistant. In the fall semester 2014, he studied at Technische Universität München (TUM). He also participated in the multidisciplinary student event "Grøn Dyst" at DTU and is co-author of the paper "NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle" published in Proceedings of 4th International Conference on Tools for Teaching Logic. In June 2015, he presented a student poster about metalogic at the 29th International Symposium Logica, Hejnice Monastery, Czech Republic. Anders has worked as a teaching assistant in both "Software Engineering 1" and "Logical Systems and Logic Programming". Anders has received a PhD scholarship at DTU Compute.

Alexander Birch Jensen completed the Honors Program in August 2016 with associate professor Jørgen Villadsen as personal tutor. In the program he studied logic for computer science. He is a co-author of several publications in the research area and attended the International Conference on Tools for Teaching Logic, Rennes, France, in 2015. In his thesis, entitled "Development and Verification of a Proof Assistant", he proved key properties about a logical inference system and checked his proofs in the Isabelle proof assistant. He has worked as a teaching assistant in several courses at DTU and studied at Technische Universität Wien in the fall semester 2015. Alexander worked at DTU Compute for 2 months as IT officer and 3 months as research assistant and has been hired as a software developer at PDC A/S.

Jesper Puge Nielsen completed the Honors Program in February 2017 with associate professor Sven Karlsson as personal tutor. Jesper focused his studies on computer architecture, system programming, parallel lock-free data structures, data coherence and heterogeneous systems. His thesis, titled "Programming Models for GPUs in Heterogeneous Systems", explores how ordinary C-programs can be compiled for graphics processing units in heterogeneous systems, using a novel system call offloading scheme. Jesper presented his work on lock-free virtual memory managements systems at the Eight Swedish Workshop on Multi-Core Computing, Copenhagen 2015, and his work on a new high-performance parallel hash table as a poster at Principles and Practice of Parallel Programming, Barcelona 2016. Jesper presented an extensive performance evaluation of his and other parallel hash tables at the Ninth Nordic Workshop on Multi-Core Computing, Trondheim 2016. As part of his studies, Jesper spent three months as a summer intern at Lawrence Livermore National Laboratory, California, in the summer of 2015, where he worked on scalable data analytics in exa-scale debugging tools for high performance computing systems.

Michael Lander Raagaard completed the Honors Program in February 2017 with professor Paul Pop as personal tutor. During his studies, he focused on optimization algorithms and has applied them to the areas of microfluidic lab-on-a-chip synthesis and safety-critical networks configuration. In his thesis, entitled "Algorithms for the Optimization of Safety-Critical Networks", he designed and implemented scheduling algorithms for safety-critical real-time applications. The thesis is expected to result in a published paper. In October 2016, he attended the Embedded Systems Week (ESWEEK 2016), in Pittsburgh, Pennsylvania. Michael studied a semester at the Technical University of Munich (TUM) in the spring semester 2016, during which he collaborated with the Institute for Electronic Design Automation at TUM on biochip-related research. Concurrent with his studies, he has worked part-time as a Software Engineer in a Danish company developing traverse systems for the automotive industry, and was employed by DTU as a research assistant in the EMC2 EU project. Michael has received a PhD scholarship at DTU Compute.

Jesper Lønbæk completed the Honors Program in March 2017 with professor Jens Sparsø as personal tutor. During his studies Jesper worked on several aspects of time-predictable Network-on-Chip architectures, with a focus on asynchronous hardware implementations. Jesper spend two semesters at KAIST (Korea Advanced Institute of Science and Technology), as a part of the dual-degree program. He participated in the ACM/IEEE International Symposium on Computer Architecture (ISCA) in Seoul, June 2016. His thesis, entitled "An Asynchronous Time-Division-Multiplexed Shared-Memory Network-on-Chip", considers the sharing of a DRAM in a hard real-time multi-processor system and with a globally-asynchronous, locally-synchronous timing organization; this work relates to the T-CREST research project.

Rasmus Thomas Tjalk-Bøggild completed the Honors Program in June 2017 with associate professor Christian W. Probst as personal tutor. During his studies he focused on compilation of dynamic languages and the performance, correctness and security problems associated with this class of languages. Rasmus stayed with the Secure Systems Lab at University of California, Irvine, USA, for three months during the summer of 2016. He presented the paper, "An Operational Semantic for Javascript DOM" at the 28th Nordic Workshop on Programming Theory (NWPT'16). His thesis, "Processor Emulation in WebAssembly", focused on how to take advantage of the compilation framework available in modern browsers to execute legacy applications. Rasmus has been a teaching assistant for the course "Compiler Construction" at DTU. During his studies, Rasmus also secured his first patent (DK 178729): "A position determination device for determining and registering an injection location". Rasmus is a co-founder of Nordic Healthcare Technology Aps, which develops a device based on this invention, to help diabetes patients automatically keep track of their daily insulin injections. Nordic Healthcare Technology has been invited to the 2017 Danish Tech Challenge to accelerate the product and business development.

Mathias Nygaard Justesen completed the Honors Program in June 2017 with associate professor Michael Reichhardt Hansen as personal tutor. Mathias has focused on verification and automated planning in his studies. He presented his work on formal verification using parity games at the 27th Nordic Workshop on Programming Theory (NWPT 2015) in Reyjavik. In the PhD course "Advanced Analysis Techniques", Mathias used a QuickCheck framework for finding discrepancies between OCaml's native compiler and its bytecode compiler. This work has resulted in the paper "Effect-Driven QuickChecking of Compilers" of which he is a co-author. The paper has been accepted for the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017). Mathias studied at Rensselar Polytechnic Institute in the fall semester 2016. In his thesis, entitled "Complexity in Epistemic Planning" with associate professor Thomas Bolander as supervisor, Mathias has proved new results on the computational complexity of planning based on dynamic epistemic logic. While working on the thesis, Mathias attended a Dagstuhl seminar on epistemic planning. During his studies, Mathias has worked as a teaching assistant in several courses and as a software engineer for the startup company Flow Robotics for which he has been hired to work full time.

Director of Studies

Jørgen Villadsen
DTU Compute


cse.compute.dtu.dk/honors_program 2017-09-17