Helge Pfeiffer will present his work on clarifying what the term software is according to various academic and industrial sources. Detailed information below. SPEAKER Helge Pfeiffer, Assistant Professor. TITLE What is Software? An Empirical, Descriptive Study of Artifacts ABSTRACT The term software is ubiquitous, however, it seems as if neither society in general nor the […]
Read MoreRaúl Pardo will present his work on analyzing privacy policies to help users (Data Subjects in the GDPR jargon) provide better informed consent. Detailed information below. SPEAKER Raúl Pardo, Postdoc. TITLE Risk Analysis of Privacy Policies ABSTRACT In this talk, I present an approach to enhance informed consent for the processing of personal data. The […]
Read MoreHolger Stadel Borum will present his work on a visual notation and programming environment for depend types. Detailed information below. SPEAKER Holger Stadel Borum, PhD Fellow. TITLE A Visual Notation and Programming Environment for Dependent Types ABSTRACT We present a visual notation and programming environment for a first order functional language with dependent types. In […]
Read MoreJakob Thorsen Staugaard will present the work he is carrying out as part of his MSc thesis. Detailed information below. SPEAKER Jakob Thorsen Staugaard, MSc student. TITLE Connecting Reality and Code in Object-Oriented Programming by Visualizing Objects at Runtime ABSTRACT Firstly, I would like to present the topic of which my thesis will focus on. […]
Read MoreAdam Alami will present his work on affiliated participation in open source communities. Detailed information below. SPEAKER Adam Alami, PhD Fellow. TITLE Affiliated Participation in Open Source Communitie ABSTRACT Background: The adoption of Free/Libre and Open Source Software (FOSS) by institutions is significantly increasing, and so is the affiliated participation (the participation of industry engineers […]
Read MoreWillard Rafnsson will give an introduction to information-flow security. Detailed information below. SPEAKER Willard Rafnsson, Assistant Professor, ITU TITLE Information-Flow Security: A Brief Introduction ABSTRACT This talk is a brief introduction to my main area of research: information-flow security. I will motivate information-flow security by pointing out shortcomings in state-of-the-art (yet antiquated) defenses: they fail […]
Read MorePowered by "WordPress" Theme: powered by:WordPress Design By "WordPress"