Skip to main content

Studies
Research
Collaboration
About KTH
Library

Studies

Research

Collaboration

About KTH

Library

Search the KTH website
Search the Student web Search the Intranet
Svenska

KTH
Profiles

Christian Lidström

About me

PhD student.

Courses

Formal Methods (DD2452), assistant

Links

Personal page
Rigorous Systems Engineering
DBLP profile page

KTH

Study at KTH
Research
Cooperation
About KTH
Student at KTH
Alumni
KTH Intranet

Organisation

KTH Library
KTH Schools
Competence centres
President and management
University Administration

Services

Timetables
Course and programme directory
Course, programme and group webs
Learning management system (Canvas)
Webmail

Contact

KTH Royal Institute of Technology
SE-100 44 Stockholm
Sweden
+46 8 790 60 00

Contact KTH
Work at KTH
Press and media
About KTH website