line

Appendix 2
06-Apr-2001 17:14

ASTEC Partners and Persons Phase 2

Academic research groups 1999-2000

  1. Uppsala university, Department of Information Technology
    The Hard Real-Time group
    Leader: Professor Hans Hansson
    The Formal Verification Group
    Leader: Professor Parosh Abdulla and Bengt Jonsson
    The UPPAAL group
    Leader: Professor Wang Yi
    The Programming Language and Implementation Group
    Leader: Dr. Kostis Sagonas
  2. SICS (Swedish Institute of Computer Science)
    Code Verification Group
    Leader: Dr. Dilian Gurov
  3. Mälardalen University, Department of Computer Engineering
    The Computer Science Laboratory
    Leader: Professor Björn Lisper

ASTEC industry partners 1999-2000

Industry Employees
ABB Automation Products AB1400
Ericsson Utvecklings AB1200
IAR Systems AB111
Mecel AB140
Prover Technology AB 50
Telia Validation AB500
Telelogic AB850
UPAAL Sweden AB0
Volcano Communication Technologies AB21
Volvo Teknisk Utveckling AB400


The participating companies 1999 - 2000, interest per research area.

Persons involved in ASTEC during 1999-2000 (Phase 2 )

The amount of work carried out has been increasing with about 40% each year for the last three years. During Phase 2 has 57 persons been directly involved in ASTEC including the board. Three new board members Martin Eriksson, Erik Hagersten and Björn Lisper were appointed 2000-01-01.
Comments: The amount of Professor involvement increased year 2000 partly due to changes at the Universities so that Professor competent researchers could also obtain the title; note the corresponding decrease in senior researchers. There were industrial PhD and MSc students before 1999 but they were not shown separately. However during year 2000 a substantial increase in both categories has been obtained.

ASTEC board

Name Affiliation Period
Ewert Bengtsson Uppsala University 990101 to 991231
Bjarne Däcker Ericsson Utvecklings AB 990101 to present
Martin Eriksson Validation AB 000101 to present
Erik Hagersten Uppsala University 000101 to present
Seif Haridi SICS/KTH 990101 to 991231
Sten Hellström Mecel AB 990101 to 001208
Olle Landström IAR AB 990101 to present
Björn Lisper Mälardalen University 000101 to present
Åke Sandberg Telia Validation AB 990101 to 991231

 

ASTEC scientific advisory board

Prof. Neil Jones University of Copenhagen
Prof. Bernhard Steffen University of Dortmund
Prof. Neeraj Suri Chalmers University of Technology

 

The number of persons each category involved in ASTEC during1999-2000.
(board not included).

Category no.
Professor 5
Senior researcher 5
PhD student 11
Industry researcher 11
Industry PhD students 3
Master of Science students 11
Technical/administrative 3
Total= 49

Amount of work carried out within ASTEC.

  Amount each year (man years)
Category 1 2 3 4 5
Professor 0,5 0,3 0,6 0,6 2,1
Senior researcher 1,2 2,1 2,5 4,1 2,8
PhD student 3,3 4,1 6,3 7,1 9,0
Industry researcher 1,0 1,7 2,2 2,1 3,8
Industry PhD students       2,0 3,0
Master of Science students       1,0 3,9
Technical/administrative   1,1 1,0 0,6 0,5
Total= 6,0 9,1 12,5 17,5 25,0
           
Increase each year - 3,1 3,4 5,0 7,4
Increase each year (%) - 52% 37% 40% 42%
line
Updated 06-Apr-2001 17:14 by Roland Grönroos
e-mail: info -at- astec.uu.se    Location: http://www.astec.uu.se/etapp3/reports/report-for-2000/2partners.shtml