|
KTH
/ EECS
/ TCS
/ Jakob Nordström
|
Jakob Nordström
|
|
| E-mail: |
jn at-sign di dot ku dot dk |
|---|
Telephone:
|
+46 (0)8 790 69 19
|
|---|
|
Cellular
|
+46 (0)70 742 21 98
|
|---|
Fax:
|
+46 (0)8 790 09 30
|
|---|
Address:
|
KTH Royal Institute of Technology
School of Electrical Enginering and Computer Science
SE-100 44 Stockholm
SWEDEN
|
|---|
|
Denna webbsida finns också
på
svenska
(se flaggan
i övre vänstra hörnet).
News
-
In early February I gave a tutorial on
Pseudo-Boolean Solving and Optimization
at the boot camp workshop for the
Satisfiability:
Theory, Practice, and Beyond
program at the
Simons Institute for the Theory of Computing at UC Berkeley.
See
slides
and
video
for the talk, as well as
slides for the longer version
with pre-recorded videos of
part I,
part II,
part III,
and
part IV
of the tutorial.
-
During the spring semester of 2021,
there are online virtual seminars running every weekday
at 17:30 CET from early February to mid-May
as part of the
Satisfiability: Theory, Practice, and Beyond
and
Theoretical Foundations of Computer Systems
programs
at the
Simons Institute
for the Theory of Computing.
To attend these seminars, go to the Simons program webpages
above, scroll down to the links for the "workshops" and click on
the workshops of interest, and then click on the "Register"
button for each program.
-
The second edition of the
Handbook
of Satisfiability has now finally been published!
Order it before April 15 with the discount code "SAT2021" to get a
35% discount (and then make sure to read the proof complexity chapter
😀).
- Here is a Danish reading exercise
Løsningens kunst
("The Art of Solving")
with a popular scientific take on some of my research.
-
The
MIAO research group
is off to a
roaring start
in Copenhagen and Lund!
-
A team including MIAO members Jo Devriendt and Stephan Gocht
placed second in the planning track and third in the main track of the
SAT Competition 2020.
Congratulations, Jo and Stephan!
Professional activities
I am a professor
at the
Department of Computer Science
at the
University of Copenhagen,
Denmark,
and also have a part-time affiliation with the
the
Department of Computer Science
at
Lund University.
For now, my webpages still reside at KTH, and are being updated
here, but this should change in a not too distant future.
I worked at KTH as an assistant professor and then associate
professor during the years 2011-2019.
During 2008-2010
I was a postdoc at the
Computer Science and
Artificial Intelligence Laboratory
at the
Massachusetts Institute of Technology
hosted by
Madhu Sudan.
Prior to that I was a PhD student of
Johan Håstad
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
thesis
there are instead
[in Swedish only]
a
short popular science summary
and a
slightly longer popular science overview
of my PhD project research.
Some links
|
