Curriculum Vitae for Alf Thomas Sjöland

Born August 4th 1955 in Kristianstad (south Sweden)

Education:

Working experience as consultant

I worked as a programmer/consultant with systems for data management and analysis of acoustic noise (Väg-och Vattenbyggnad, KTH), a simulator for the behaviour of drugs (Astra), systems for management of clinical chemistry data (Scandia Metric), a system for retrieval and management of neurophysiological data (Department of Physiology, Karolinska Institutet), and systems for control of concurrent real-time processes in the production of electronic music, (The Electronic Music Studio EMS and Fahlén Studios). For Infologics I worked as an "exorcist" of their Prolog System.

Working experience as programmer

FOA, Swedish Defense Research, 1981

Karolinska Institutet, Inst. For Medical Informatics and the Swedish University Network SUNET 1981-83

Working experience as research assistant

KTH, Royal Institute of Technology, Computer Systems,CSALAB, 1982-85

Working experience as researcher

LPSlab at the Swedish Institute of Computer Science, SICS, 1985-91

I joined the logic programming systems lab at SICS in November 1985. The group received the Chester Carlsson prize from Xerox in 1989.

At SICS I first worked with the international project on parallel logic programming, Gigalips. I produced experimental programs e.g. program analysers, but also test programs solving puzzles like Master Mind and the Rubik's Cube, and programs for GUI construction. I managed the SICStus Prolog development project 1990-1992.

Programming Systems Group, PS, at SICS, 1992-96

LPSlab was reorganised and renamed (first to three groups where I was in "the Concurrent Constraint group"  and then the logic programming group and the CCP groups joined to form  PS). I worked in the ESPRIT project ParForce 93-95 with an analyser for automatic detection of type and alias information of AKL (logic) programs. The analyser (written in AKL) was intended to be used as a support tool for the AKL compiler. The actual connection to the AKL compiler did not take place, basically since the AKL development project was discontinued  The analyser was semiautomatically ported to SICStus Prolog as an experiment. This gave a significant improvement in the speed of this in fact sequential piece of code . The memory requirements were much smaller also.

The Knowledge Technology Group, KTM at SICS, 1996-97

In 1996 I joined KTM. The main core of the work was in industrial projects in the area of constraint based scheduling and planning, mostly in the railroad domain.

The Complex Operations Laboratory, COL at SICS, 1997

In 1997 the group was changed into a laboratory, renamed into COL. We continued working in the area of railroad planning and scheduling. I was also involved in attempts to start activities in the genome database area and in domain engineering for the development of command and control software.

The Intelligent Systems Laboratory, ISL at SICS, 1998-1999

In october 1998 the projects within COL were merged into the Decision Support for Planning and Scheduling Group within the Intelligent Systems Laboratory, ISL. The main core of my work here involved finalizing earlier work on formal motivations for the analysis of types and variable aliases for the deep guard ccp-language AKL, while keeping an eye on the issue of abstraction in planning and scheduling.

KTH/Department of Teleinformatics, and ISL at SICS, 1999-2001

In july 1999 I left SICS temporarily (still part time) to take on a position as senior lecturer at the department of Teleinformatics/KTH. The main core of my work here involves teaching two courses, "Semantics of programming languages" and "logic programming". Since the spring of 2000 I am assistant headmaster of undergraduate studies.

KTH/IMIT/LECS 2001-2005

In 2001 the Teleinformatics department discontinued and was merged into the department IMIT Microelectronics and Information Technology. I had the role as one of three IMIT headmasters for undergraduate studies. I continue to teach logic programming and take on the examination of a number of master thesis projects. In 2005 KTH reorganised into "schools". Our school is named ICT and for an intermediary period IMIT was one of three departments within the school. For the period 1/9-2005-31/12-2005 I was subdepartment head of IMIT/LECS. I left my part time position of SICS on Nov 1st after exactly 20 years in the organisation.

KTH/ICT/ECS 2006-2009

On January 1st IMIT was split into two new departments. I was appointed prefekt of the department ECS (Electronic, Computer and Software Systems) of the KTH school of ICT in Kista.

Head of administration KTH/ICT sep 2007-2012

On September 1st 2007 I was appointed head of administration of KTH/ICT covering appr. half of my time. This operative assigment ended in 2012, keeping a role as "strategic manager" on the school level.

Head of unit Software and Computer Systems, April 2009-December 2011

On April 1st 2009 the ICT school was reorganised to not contain departments, but smaller "units". Subsequently the internal departmental structure was revised. I was appointed manager of the unit KTH/ICT/SCS Software and Computer Systems.

Head of department KTH/ICT/SCS, Software and Computer Systems, January 2012--

On January 1st 2012 the ICT school was reorganised and the internal departmental structure was reinstalled. I was appointed head of department of KTH/ICT/SCS Software and Computer Systems.

Teaching

I teach logic programming and earlier semantics, and supervise master's theses. Since 2012 I uphold the coordinating position as headmaster of the SCS department, as earlier in the Teleinformatics department 2000-2001 and in IMIT 2002-2005.

Keywords for relevant projects are: 

  • software analysis techniques, formal treatment of representation transformations in planning, scheduling, distributed applications.   
  • Other Professional Activities