Jakob Grue Simonsen's professor inaugural lecture - see the pictures
On Thursday 16 June 2016 DIKU's new professor Jakob Grue Simonsen was inaugurated. See pictures and read his presentation, if you missed the ceremony. A video recording of the lecture will be published at a later date.
Theory of Computation - now and forever (PDF) was the title of Jakob Grue Simonsen's inaugural lecture which in addition to theorizing over how to build a computer out of blue crabs or even globes, took the audience on a trip back to the ancestors and founding fathers of computer science, such as Thomas Aquinas, who in the 16th century commented upon Aristoteles' philosophy, Dr. Gottlob Frege, who in the 19th century published his 'Begriffschrift über eine der arithmetischen nachgebildete Formelsprache des reinen Denkens' as well as to Alan Turings 'Computable numbers, with an application to the Entscheidungsproblem' from 1936.
Back in the present time, Jakob, conveyed to the audience that Theory of Computation concerns the mathematics governing computing in this universe, and in other universes you may dream of - why this is sometimes relevant to the audience, why it is often irrelvant, and why the latter is a good thing.
Besides giving an overview of current research at DIKU, particularly about intentional properties - how things are computed - Jakob introduced some recent contributions to intentional theorems, e.g. 'Any non-empty, partically extensional, decidable set is extensionally complete' (Moyen + Simonsen, 2016) and mentioned his collaboration with Jeroen Ketema of Imperial College London about infinite terms and reductions.
A highligh of the lecture was the live presentation of how to solve an infinitely repeting function in the most effient manner that made even the most drowsy persons in the audience wake up.
Jakobs affiliation to the Human-Computer-Interaction DIKU research group gave rise to some discourse such as how to unite the theorist, the computer scientist, the scientist and the humanist in one and the same person. Jakob concluded that his scientific base is still DIKU's HCC (Human Centred Computing)-Section, to whom he credited many of his results.
DIKU congratulates Jakob with his professor title.