Search
Results
-
A Software System for Automating Lab Experiments with Liquid-Handling Robots
(2017)This thesis is concerned with the problem of automating liquid-handling robots in synthetic biology, which is especially relevant to facilitate experiments that are difficult or impossible to perform manually. Research tasks that are not highly standardized are still rarely automated in practice. Two main reasons for this are the substantial investments required to translate molecular biological protocols into robot programs, and the ...Doctoral Thesis -
Void safety
(2017)Null pointer dereferencing is a well-known issue in object-oriented programming, and can be avoided by adding special validity rules to the programming language. However, just introducing a single rule is not enough: the whole language infrastructure has to be considered instead. The resulting guarantees are called void safety. The thesis reviews, in detail, engineering solutions and migration efforts that enabled the transition from ...Doctoral Thesis -
Role-playing games as an educational tool
(2017)The problems in today’s world are numerous, often global, and pose immense challenges to sustainable development. A recent, international response to encounter these problems was the elaboration of the Agenda 2030 for Sustainable Development, i.e. an agreement on 17 Sustainable Development Goals, signed by all members of the United Nations. One of the key enablers within Agenda 2030 is education with a focus on Education for Sustainable ...Bachelor Thesis