Nyt om navne

Karina Svanborg er pr. 9. februar ansat på Datalogisk Institut som manager for uddannelser.

Karina fortæller om sig selv:

Jeg er uddannet Cand.it – med en bachelor fra antropologi. Siden jeg afleverede speciale i april sidste år har jeg arbejdet ved idé- og designbureauet Hatch & Bloom i Århus, hvor jeg har arbejdet med brugercentreret design og idéudvikling.
Jeg brænder for at arbejde med mennesker i fokus og for at undersøge og analysere komplekse forhold i organisatoriske sammenhænge – og så brænder jeg for at rejse, udforske ny musik, læse krimier og slå en lige højre til kickboxing!
Jeg er 26 år og bor sammen med min kæreste Kasper.

Freek van Walderveen has arrived to start his PhD studies at MADALGO in the spring 2009. Freek comes from Eindhoven University of Technology were he worked in the algorithms group on space-filling curves.

In his spare time Freek van Walderveen is an active contributor to OpenStreetMap: the collaborative free geodata project.

Christophe Calves arrived on January 19 and will stay here until March 31 as a visiting PhD student.

Christophe says about himself:

I'm a PhD student from London where I'm studying nominal techniques.
It consists in finding efficient algorithms for unification and matching problems with names and bindings. I've been invited by Olivier Danvy as a visiting PhD student for three months. My others interest covers functional programming, continuations, cooking and traveling.

Mathieu Boespflug arrived on January 19 and will stay here until April 3 as a visitng PhD student.

Mathieu Boespflug is working on operational aspects of proof checking of dependent type theories in the presence of rewrite rules. This work is seeing an application in a new checker capable of verifying proofs from a variety of other proof assistants, such as Coq or Isabelle, once translated appropriately. This work draws heavily on a reasoning tool and implementation technique most commonly called normalization by evaluation. A topic of interest is to investigate further extensions of normalization by evaluation to widen its scope of applicability. That is the topic that Mathieu will attempt to pursue over the course of the next 3 months with one of the main architects of the normalization by evaluation, Olivier Danvy.

Miguel Mujica arrived on January 26 and will stay here until April 30 as a visiting PhD student.

Miguel is a mexican PhD student enrolled in Barcelone (UAB). His interests are in optimization of industrial systems with simulation techniques.