Aarhus University logo
Dansk
Department of Computer Science
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.
Abstract In this talk I will give you a whirlwind tour of my research on haptic interaction, from the basics of haptic perception to the exciting…
Abstract: It is no secret that online companies, hospitals, credit-card companies and governments hold massive datasets composed of our personal and…
Scientific and information visualization have long served as powerful vehicles for helping people graphically represent, explore, and understand our…
Page 134 of 192
