||jakobn at-sign kth dot se|
+46 (0)8 790 69 19
+46 (0)70 742 21 98
+46 (0)8 790 09 30
KTH Royal Institute of Technology|
School of Electrical Enginering and Computer Science
SE-100 44 Stockholm
Osquars backe 2, 5th floor, office 4517|
Denna webbsida finns också
i övre vänstra hörnet).
I am looking for a PhD student in SAT solving as part of the
Wallenberg Artificial Intelligence,
Autonomous Systems and Software Program (WASP).
The formal announcement will be up shortly.
May 15, 2018.
I am looking for
in theoretical computer science.
April 22, 2018.
The Theory Group at KTH is arranging the
5th Swedish Summer School in
Computer Science (S3CS 2018)
August 5-11, 2018, with lectures by
Ronald de Wolf
on quantum computing
on lattices and cryptography.
April 20, 2018.
I am the main organizer of the workshop
and Practice of Satisfiability Solving
at Casa Matemática Oaxaca (affiliated with BIRS)
in August 2018.
I am on the program committees for the conferences
Interested in doing a research-oriented Master's thesis project?
I have a number of proposals for
that I would be happy to supervise.
(Note, however, that these projects are intended for students
registered at KTH or who are geographically close and can work on
their thesis here at KTH.)
I am an Associate Professor in the
Theoretical Computer Science Group
Electrical Enginering and Computer Science (EECS)
KTH Royal Institute of Technology
in Stockholm, Sweden.
During the academic years 2008-09 and 2009-10,
I was a postdoc at the
Computer Science and
Artificial Intelligence Laboratory
Massachusetts Institute of Technology
Prior to that I was a PhD student of
in the Theory Group at KTH,
where I defended my PhD thesis in May 2008.
For those who would prefer not to read the whole
there are instead
[in Swedish only]
short popular science summary
slightly longer popular science overview
of my PhD project research.