基本信息
views: 48
Career Trajectory
Bio
Jakob Nordström obtained his Master of Science degree in Computer Science and Mathematics at Stockholm University in 2001, and his PhD degree in Computer Science at KTH Royal Institute of Technology in 2008. During 2008-2010 he was a postdoctoral researcher at the Massachusetts Institute of Technology (MIT), after which he returned to KTH in 2011, where he became an associate professor and received his Docent degree (habilitation) in 2015. In 2019 he moved to the University of Copenhagen, where he is now a full professor, and since 2020 he also has a part-time affiliation with Lund University.
In 2006 Jakob Nordström received the best student paper award at 38th ACM Symposium on Theory of Computing (STOC '06), and his PhD thesis received the Ackermann Award 2009 for "outstanding dissertations in Logic in Computer Science" from the European Association for Computer Science Logic. More recently, in 2022 he received a distinguished paper award at the 36th AAAI Conference on Artificial Intelligence (AAAI '22) and a best paper award at the 25th International Conference on Theory and Applications of Satisfiability Testing (SAT '22). Since 2018 Jakob Nordström is a member of the Young Academy of Sweden, where he is currently serving on the board. His current research is mainly funded by grants from the Independent Research Fund Denmark, the Swedish Research Council, and the Wallenberg AI, Autonomous Systems and Software Program (WASP).
In 1997-1998, Jakob Nordström served as a military interpreter at the Swedish Armed Forces Language Institute (Försvarets tolkskola), graduating as the best student of the 1998 class. In parallel with his studies and later his research, he worked for a number of years as a Russian interpreter, engaged among others for His Majesty the King of Sweden and the Swedish Prime Minister. He also has a Diploma in Choir Conducting with extended Music Theory from the Tallinn Music Upper Secondary School, Estonia. During the period 1994-1999, he was the artistic director of Collegium Vocale Stockholm, a vocal ensemble performing mainly Renaissance and Baroque music.
Research Interests
Papers共 30 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
AAAI 2024no. 8 (2024): 8038-8047
IJCAIpp.6436-6441, (2023)
2023 IEEE 64TH ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, FOCSpp.1-11, (2023)
CoRR (2023): 27:1-27:19
Zenodo (CERN European Organization for Nuclear Research) (2022)
Dagstuhl Reportsno. 10 (2022): 84-105
Cited0Views0EIBibtex
0
0
International Workshop on Proof Exchange for Theorem Proving (PxTP) (2021)
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn