Archive for January, 2011

Leaps of human civilization

Human civilization has made a number of leaps in development that allowed people to travel longer and longer distances without the need to spend several nights on the way. What few people realize is that a recent invention dramatically increased the length that families with children can travel.
Nintendo DS
On Thursday, I will leave for a 5-month stay at Carnegie Mellon University, and will remember to put two gadgets in the hand luggage for sure!

Open position

A position as assistant/associate professor has just been announced here. It is a general call for computer science, but preference will be given to candidates doing research related to (1) programming, logic and semantics, or (2) computer systems. Candidates in the latter category are potential members of the efficient computation group. If you know of excellent candidates, encourage them to apply!

NP-hardness in first grade

Math education is changing (slowly, but changing). I was pleased to see that my 1st grade daughter is asked to solve (weakly) NP-hard problems at school! Look at the below page, with many instances of the subset sum problem:

Hard problems in first grade

When asking her about the solution strategy it sounded like brute force search. Perhaps the dynamic programming solution will come later. I wonder in what grade they start posing strongly NP-hard problems!? And what this will mean for our teaching 20 years from now.

Visit by Ninh Dang Pham

Today Ninh Dang Pham from Faculty of Computer Science and Engineering, HoChiMinh City University of Technology, Vietnam, will speak on “Mining Patterns in Time Series Data” in room 2A05 from 11-12. All are welcome. Ninh will be visiting our group Monday-Wednesday.

Upcoming PhD defense

Rasmus Resen Amossen will defend his PhD thesis on Friday January 14 in Aud. 2, starting at 1 PM with a 1-hour presentation of his work. A reception will be held after the defense. Hope to see many people there!