Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Kom med når Danske Gymnasieelevers Sammenslutning (DGS) holder AI-topmøde i samarbejde med Videncenter for Digital Teknologiforståelse.
During the month of June, Dean Niels Chr. Nielsen is attending staff meetings at all of Science and Technology’s departments.
External examiner: Associate professor René Rydhof Hansen, Department of Computer Science, Aalborg University
Internal examiner: Associate professor…
An Introduction to Capacitive Sensing in Human-Computer Interaction
For more than two decades, capacitive sensing has played a prominent role in…
Page 114 of 192