Curriculum Vitae for Alf Thomas Sjöland

Born August 4^th 1955 in Kristianstad (south Sweden)

Education:

Folkskola, mandatory and common first six years. 1962-1968
Realskola, mandatory three years, selection based on grades, curriculum preparatory for gymnasium. 1968-1971. Realexamen, 1971 (last group in Sweden to follow this system).
Gymnasium, naturvetenskaplig linje, preparatory for theoretical and university education programs. 1971-1974.
First part of education for Medical Doctor 78p 1975-1977 (Karolinska Institutet)
Fil Kand. 1985, Stockholm University,120p (Comp. Sci. 60p, Mathematics 40p, Logic 20p)
PhD student: Royal Institute of Technology (KTH), Teleinformatik, courses: 99hp (done) and thesis (140hp ongoing, but on hold).
Topic: Program Analysis for Hierarchical Concurrent Logic Programming Languages.

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

The SIMULA class-package COMFIL to access the database of the KOM-system

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

Towards a portable implementation of the transport service for SUNET. (Technical report: UPTEC 8361 R, 1983)

Working experience as research assistant

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

Logic programming Using LPL0. (1984, tutorial, TRITA-CS-8404)
Transforming LPL0 programs using LPL0. TRITA-CS-8405, (1984). A report on common subexpression elimination and other transformations for an experimental functional logic programming language.
Support software for parallel programming

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.

SICStus Prolog User's Manual, v2.1 #8, ISRN SICS-T--93/01-SE, with J. Andersson, S. Andersson, K. Boortz, M. Carlsson, H. Nilsson and J. Widén
IT4-projektet 2202: Industrialisering av SICStus Prolog, Slutrapport SICS 91025, (Management report)
Objektorientering i SICStus Prolog (1992) ISRN SICS-T--92/01-SE
Using SICStus Objects in the Design of Graphical User Interfaces. In L. Fahlén and K.-M. Jää-Aro, editors, In Proceedings of the 5^th MultiG Workshop, Royal Institute of Technology, Stockholm, 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.

Concurrent Constraint Programming at SICS with the Andorra Kernel Language. (Extended Abstract in PPCP'93 107-116). S. Haridi, S. Janson, J. Montelius, T. Franzén, P. Brand, K. Boortz, B. Danielsson, B. Carlson, T. Keisu, D. Sahlin and T. Sjöland.
Towards Abstract Interpretation of AKL. (extended abstract co-authored with D. Sahlin) in workshop on CCP Languages of ICLP'93, Budapest, Ed. G Smolka
Static Analysis of AKL,(abstract of demo/poster session co-authored with D. Sahlin) in LNCS, Proc. of Workshop on Static Analysis, Padova 1993, ed. M. Falaschi, et.al.
Fixpoint Analysis of Type and Alias in AKL programs.(co-authored with D. Sahlin) Deliverable D.WP1.6.1.M2 in the ESPRIT project ParForce. SICS report R94/13b.
Assessment of a Storage Optimization Tool for AKL.(co-authored with P. Brand and D. Sahlin), deliverable D.WP2.3.5.M3 in the ESPRIT project ParForce.
AGENTS User's Manual and Library Manual (with the Agents/AKL group)
An Analyser for a Concurrent Constraint Language. (invited poster co-authored with D. Sahlin and P. Brand) Abstract in Proc. of the ICLP'95, Japan, Ed. L. Sterling.
A Domain Independent Framework for the Analysis of AKL. (w P. Brand). Ext. Abstr. in Fifth Compulog Network Area Meeting on Language Design and Analysis Methods, Aachen, Germany. G. Levi and M. Gabrielli (eds.). Università di Pisa, 1996.

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 1^st after exactly 20 years in the organisation.

KTH/ICT/ECS 2006-2009

On January 1^st 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-- December 2017

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.

Head of department KTH/EECS/SCS, Software and Computer Systems, January 2018--

On January 1st 2018 the EECS school was formed, by merging htree schools, and the internal departmental structure was redefined. I was appointed head of department of KTH/EECS/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

Administrative coordinator of the EU-FP5 FET ESPRIT project PEPITO 2001-2005.
Helped formulate the successful application to the EU-FP6-IP EVERGROW. 2003.
Participant in the EU Working Group COTIC, 97-2000.
Member of the executive committee of the ESPRIT NoE COMPULOG, 97-2000
Management of the node at SICS of the ESPRIT NoE COMPULOG, 92-2000
Assistant in the coordination of the ESPRIT project ACCLAIM.
Program committee member for PAP, Int. Conference On Practical Applications of Prolog 93-98.
Referee for a number of scientific conferences, 83-.(e.g. ICLP, ISLP, NACLP, FGCS, PAP, IEEE Comp Arch) and also the Journal of Logic Programming.
Board member, SAIS, Swedish Artificial Intelligence Society 84-86.