Curriculum Vitae for Alf Thomas Sjöland
Born August 4th 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 5th 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 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-- 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.