||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 Computer Science and Communication
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
postdoc in SAT solving.
This autumn I am teaching
The course has now started, but it is still perfectly possible to join.
I have received a grant for the project
Approximability and Proof Complexity
Knut and Alice Wallenberg
I have also received a
Swedish Research Council
Consolidator Grant for the project
Proof Complexity and Efficient Computation.
I am the main organizer of the workshop
at Schloss Dagstuhl – Leibniz-Zentrum für Informatik
at the turn of the month January-February 2018,
as well as the workshop
and Practice of Satisfiability Solving
at Casa Matemática Oaxaca (affiliated with BIRS)
in August 2018.
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
School of Computer Science
and Communication (CSC)
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 research.
During my doctoral studies at KTH,
apart from doing some
I was also the President of the
Students' Council (doktorandrådet)
at KTH CSC
and the postgraduate student representative in
the School Board
(skolstyrelsen) and the Executive Group (ledningsgruppen)
of KTH CSC.
I also organized the
PhD student seminars
in Theoretical Computer Science.