IDA Anders H

Anders Haraldsson

Biträdande professor i datalogi. Pension från september 2012.
Associate professor in Computer Science. Retired since September 2012.

Department of Computer and Information Science
Linköping University, Sweden

Member of the AIICS-division.


Office

Room E 228:162 (Ground floor, Bottenvåning) Building E, reachable from entrance 29

Phone: +46 13 281403 (or in Sweden 013 281403)
Mobil phone: +46 70 5147709 (or in Sweden 070 5147709)
Fax: +46 13 285868

Email: aha@ida.liu.se (also andha@ida.liu.se and Anders.Haraldsson@liu.se)
IDA's home page for Anders Haraldsson

Address

Institutionen för datavetenskap / Department of Computer and Information Science
Linköpings universitet
S-581 83 Linköping, SWEDEN

Home Address

Westmansgatan 4
S-582 46 Linköping, SWEDEN

Phone: +46 13 147709 
Mobil phone: +46 70 5147709 (or in Sweden 070 5147709)


More information can be found in:

Curriculum-vitae (pdf-file).


Linköping university

2012-2013: Ordförande för utvärderare av Data/IT/Medie-klustret inför Högskoileverkets utvärdering av teknik/naturvetenskapliga examina 2012-2013. Reviewer for Högskoleverkets (National Agency for Higher Education) reviewing enginnering and natural science exams.

2009-2011: Member of "Anställningsnämnden för LiTH" (Appointment Board for Institutie of Technology)

2007-2008: Head of "Programnämnden för data- och medieteknik". Programboard for Computer and Media Technology.

2000-2006: Head of "Linjenämnden för datateknik". Program board for: Computer Science (C), Computer Science and Engineering (D) and Information Technology (IT) programmes at Linköping Institute of Technology

1990-1999 Head (prefekt) of Department of Computer and Information Science at Linköpings Universitet.

1982-1989 Director of undergraduate education (studierektor) at Department of Computer and Information Science


Phd-thesis

1977 - Haraldsson - A program manipulation system based on partial evaluation

Some activities during 2000 - 2012

Seminar SAS-divison, IDA on Research in Partial Evaluation. A number of tracks: Slides from the seminar

Nätverksträff D och IT Lund 13-14 June 2011. Inledande programmering i Lisp/Scheme vid LiU.

Från ord till handling (2011) Reference group for a project to get practical exemples (cases) to achieve equalty between male and female carriers at technical universities. KTH.

Memeber of PPG-group (2009-2012) for the program Inovativ programmering.

Arbetsförmedlingens branchdag. (mars 2009) Invited talk (in Swedish).

Stearing group VÄLJ-IT (2007-2008). Home page VÄLJ-IT. Discussion classification of Swedish IT-programs. ACM's classification Computing Curricula.

Software Renaissance group, (2001-2007) Our mission is to design and implement a computer environment that better fit the needs of developers and users, in particular through unifying parts separated in the fragmented computer areas of today. We aim for this goal from many different directions. A few concrete examples of projects are:

Reviewer for Högskoleverkets (National Agency for Higher Education) reviewing of Prövning av masterexamensrätt (2007-2009) at the Swedish Universities and Colleges in Halmstad, Skövde, Jönköping and Borås. The final report is available (in Swedish) from Högskoleverket.

Steering committee (2003-2004) for a VIQ/Teknikföretagen-project "Concept for education in Software Engineering" (Koncept för utbildning i Industriell Programvaruutveckling). Report from the project. Invited talk.Teknikföretagen, Seminarium i Industriell Programvaruutveckling, Linköping 25 March 2004, Hur fungerar utbildningen på högskolorna idag och hur skall de närma sig industrin?

Conference computer science / Ämneskonferens i datavetenskap, Skövde 14 June 2004, Invited talk Historik, Ämnet, Yrkesroller, Dagsläget. Coordinator for a project for discussion of the core in Computer science for a Bachelor degree among Swedish universities and colleges. To be presented at next conference in Stockholm/Mälardalen 2006.

Reviewer for Högskoleverkets (National Agency for Higher Education) reviewing of Högskoleingenjörsprogrammen (2002-2003) at Swedish Universities and Colleges. The final report (in Swedish) is available from the Högskoleverket.

Gender perspective in undergraduate education. (2002-2003) Member in the working group for the university project "Jämställdhet och genusperspektiv i grundutbildningen". Project leader for a gender project in which students from computer and electrical engineeering programms and teaching programmes are both educated in gender knowledge and investigates their programmes from a gender perspective. A report is now available (in Swedish).

Genius-project. (2002-2003) A grant from EU in the eLEARNING INITIATVE - GENIUS - Generic E-Learning environments and paradigms for the new pan european information and communication technologies curricula. The project is headed from the University of Reading, UK. The projects web-site. Linköpings part of the project was to build a course around advanced C++programming. A system for creating a virtual classroom LearnLinc was used. Link to the course.

PanICT-project. (2001) To develop a Pan-European University Network to support and encourage the portability of higer level qualification in the ICT Sector across European Union. See the PanEuropean Information Communications Technology Curriculum Project working web-page. My contribution was to break down skills to academic modules and to investigate our Computer Science and Engineering (D) programme's coverage of these modules.

Generic Skills Project. (1999-2001) Curriculum Development Guidelines Working Group. See the Career Space home page. A final report "New ICT Curricula for the 21st Centry Designing Tomorrow's Education" is now available from the web-site.

Review of the subject Datavetenskap/datalogi. (2000-2001) (computer science). Project leader for the self-assessment for IDA and Linköping universitet. The self-assessment is available here (PDF-format) and the final report (in Swedish) is available from Högskoleverket (National Agency for Higher Education).

Member of the board for Graduate School for Applied IT and Software Engineering (1997-2004) (Företagsforskarskola för Tillämpad IT och programvaruteknik) at Department of Computer and Information Science.

DLK-projektet (1997-2001). IT-baserat lokal fackligt kunskapsstöd Samarbetsprojekt KK-stiftlesen, LO-förbund och Linköpings universitet. Medlem i referensgrupp.


PhD courses

spring 2006
Concepts, Techniques, and Models of Computer Programming. This course is based on van Roy, Haridis book with the same name as the course uisng Oz/Mozart.

spring 2005
High-level notions of computations and programming language concepts.The first part of the course is based on the book Concepts, Techniques and Models of Computer Programming by Peter van Roy and Seif Haridi using Oz/Mozart and the second part was to select a survey topic covering some aspect of programming language concepts or computation model.


Undergraduate teaching during 2007-2012

My teaching schedule is found on the LITH's server.

Spring 2012:

TDP019 Projekt: Datorspråk, 6hp. For the programme Innovativ programmering (IP). Examiner och projects. A project course implementing a computer langugae of their own choice.
TDDA69 Data och programstrukturer (DPS) (Data and Programming Structures), 6hp. Examiner, lectures. The course covers the second half of Abelsons and Sussmans book Structure and interpretation of computer programs - paradigms, modelling, computation, interpreters, compilation.

Spring 2008-2011:

TDP019 Projekt: Datorspråk, 6hp. For the programme Innovativ programmering (IP). Examiner och projects. A project course implementing a computer langugae of their own choice.
TDDC74 Programmering: Abstraktion och modellering (PRAM) (Programming, Abstraction and Modelling), 8hp, (also spring 2006, only labs and projects). For the programme Electrical Engineering and Applied Physics (Y). Examiner, lectures, labs and projects. Compulsory introductory course in programming using Scheme for Y1. Based on the 3 first chapters in Abelsons and Sussmans book Structure and interpretation of computer programs.
TDDA69 Data och programstrukturer (DPS) (Data and Programming Structures), 6hp. Examiner, lectures. The course covers the second half of Abelsons and Sussmans book Structure and interpretation of computer programs - paradigms, modelling, computation, interpreters, compilation.

Fall 2007-2010:

TDDC66 Datorsystem och programmering (Computer Systems and Programming), 4hp. Lectures and labs in Lisp. Examiner is Peter Dalenius. For the programmes Datateknik (Computer Science and Engineering) and Datavetenskap (Computer Science), D1 and C1. The course introduces actual computer systems (unix and emacs) and gives an introductory start of programming with overview of langugages and a start of programming in Lisp. It follows directly of the course TDDC67 Funktionell programmering och Lisp.
TDDC67 Funktionell programmering och Lisp (Functional programming and Lispg), 8hp). Examiner, lectures, labs and projects. The course follows TDDC66 Datorsystem och programmering for D1 and C1 and covers more functional programming and introduces imperative programming in Lisp.
TDDC10 Perspektiv på datavetenskap/datateknik (Perspective of Computer Technology), 6hp (also fall 2006-2007). Some lectures, projects. Introductory course for the D-programme (Computer Science and Technology) and C-programme (computer Science) with two parts: communication (written and oral) and a group work on some topic in computer technology presented at a student conference. Examiner is Peter Dalenius.


Fall 2007-2008:

TDDC65 Artificial intelligens och Lisp (Artificial intelligence and Lisp, (also fall 2001). 6hp. Lecturer. Responsible for the Lisp-programming part of the course. Peter Dalenius is examiner for the whole course and responsible for the AI-part.

Earlier variants of these courses:

TDDC58 Datorsystem och programmering (Computer Systems and Programming), 3p (fall 2006) Lectures and labs in Lisp. Examiner is Peter Dalenius.
TDDC57 Funktionell programmering och Lisp (Functional programming and Lisp), 4p (fall 2006). Introductory courses för the programmes Datateknik (Computer Science and Engineering) and Datavetenskap (Computer Science) in programming, based mainly on functional programming and Lisp. Also introduction to actual computer systems (unix and emacs).
TDDC80 Programmering, Lisp och funktionell programmering (Programming - Lisp and functional programming), 6p (fall 2005). Introductory programming course for the C-programme (Computer Science). The Lisp-part from TDDB80, which has a new structure.
TDDB82 Perspektiv på datateknik (Perspective of Computer Technology), 5p (fall 2005)
TDDC20 Perspektiv på datavetenskap (Perspective of computer sciencey), 5p (fall 2005)
Participating in the introductory courses for the D-programme (Computer Science and Technology) and C-programme (computer Science) with three parts: Introduction to computer systems, Communication (written and oral) and a group work on some topic in computer technology presented at a student conference. Examiner is Peter Dalenius.
TTIT06 Grundläggande datavetenskap, (Introduction to Computer Science), 5p. Examiner and overall responsible. An introductory course introducing concepts from  different kinds of computer languages with emphasis on programming languages. Concepts from Scheme and Java will be introduced. The course is given for the IT-programme (Information Technology) and uses Problem Based Learning as pedagogical method.  I will be responsible for the Scheme-part.

Spring 2006 (also spring 2005):
PROG-D, TDDB81 Programmering (Programming), 8p.
Introductory programming course for the D-programme (Computer Science and Technology). The course consists of 2 parts - Functional programming with Lisp (Anders Haraldsson) and Imperativ programming with Ada (Torbjörn Jonsson).

Older courses:

fall 2003-spring 2004
PROG-C, TDDB80 Programmering och datorspråk (Programming and computer languages), 13p
Examiner and overall responsible. Introductory programming course for the C-programme (Computer Science). The course consists of 5 parts - Functional programming with Lisp (Anders Haraldsson), Imperativ programming with Ada (Torbjörn Jonsson), Computer languages (Anders Haraldsson), Objectoriented programming in Java (Peter Johansson) Programming languages (Jonas Wallgren).

fall 2002:
TDDB46 och TDIU02 Introduktion till användning av datorsystem (Introduction to the use of Computer Systems), 2p.
Only examiner for an introductory course in use of our computer systems using a web-based introductory material, developed by Peter Johansson. Peter is responsible for the course.

spring 2001:
TGTN08 Aktuella programspråk (Actual programming languages), 5p.
given for the engineering programmes at Campus Norrköping. The course consisted of group work studying all kinds of programming languages and programming i Ada (Tobjörn Jonsson).

spring 2001:
DDV204 Programmeringsparadigm (Programming paradigms), 5p.
at Blekinge Institute of Technology in Ronneby. The course covers the first 4 chapters in Abelsons and Sussmans book Structure and interpretation of computer programs. The course was given togehter with Jalal Maleki, Linköping.


Books

Published books:

Programmering i Lisp, Studentlitteratur, 1993. There is now a third printing. Corrections from the first, second and third editions are found here.

Programmering i Pascal, Studentlitteratur, 1985 (out of print from the publisher, copies are available from the author).

LISP-details, Datalogilaboratoriet, Daten, 1975 and later (out of print from the publisher, copies my be available from the author).  


Totte

Pyret