Kristoffer
Just
Andersen

kja@cs.au.dk
Stud.scient.dat
Office:Turing-214
(+45) 23 98 69 50

About

Undergraduate Computer Scientist since 2010 at the Institute of Computer Science, Aarhus University.

Student Programmer at CASA - Center for Advanced Software Analysis since November, 2011.

A short attention span coupled with an interest in all things programming language related is a dangerous combination. My brain is currently occupied by Coq, Haskell, Scheme and TED talks.

I made this page with the hope that I would start writing more, beginning with aggregating notes and resources I have created as a TA. If someone ever finds them useful, they will pay themselves off in time and effort many times over.

Teaching

I have enjoyed a position as TA in the following courses during my studies. The pages in this list double as message board and aggregator of various resources I have for my students, if any.

Programming Languages
- Spring, 2012
Introduction to Computer Programming
- Spring, 2012
Computer Programming II
- Fall, 2011
Introduction to Computer Programming
- Fall, 2011

Reading List

My reading list is far too long to enumerate here in its entirety, but check out my Delicious Library. I am currently working through The Structure and Interpretation of Computer Programs and The Essentials of Programming Langauges, both of which I am enjoying immensely!

Activities

Student Programmer at CASA
- November, 2011 - Present
Volunteer bartender in the student run friday bar, Fredagscafeen
- November, 2011 - January, 2012
Participant at Nordic Collegiate Programmin Contest 2011
- October, 2011
Invited lightning, inspirational talk for first year students
- September, 2011
Attended and volunteered at goto; Conference
- October, 2010
Participant at UNFs Game Development Camp 2009
- August, 2009

Education