bild
School of
Computer Science
and Communication
KTH / CSC / Theory Group / People / Mladen Mikša

Mladen Mikša


Photo by Andreas Bergsten

About

I am a graduate student in the Theoretical Computer Science Group at the School of Computer Science and Communication (CSC) at KTH Royal Institute of Technology in Stockholm, Sweden. I am working on Proof Complexity under the supervision of Prof. Jakob Nordström. My CV can be found here .

Contact Info

Email:
miksa at-sign kth dot se
Telephone:
+46 (0)8 790 68 89
Postal address:
KTH CSC, 100 44 Stockholm, Sweden
Office:
Lindstedtsvägen 5, 5th floor, office 4518

Research

Papers

  • Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, and Marc Vinyals. From Small Space to Small Width in Resolution. ACM Transactions on Computational Logic, volume 16, issue 4, article 28, November 2015. PDF
  • Mladen Mikša and Jakob Nordström. A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. In Proceedings of the 30th Annual Computational Complexity Conference (CCC '15), pages 467-487, June 2015. PDF
  • Mladen Mikša and Jakob Nordström. A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. Technical Report TR15-078, Electronic Colloquium on Computational Complexity (ECCC), May 2015. PDF
  • Mladen Mikša and Jakob Nordström. Long Proofs of (Seemingly) Simple Formulas. In Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT '14), Lecture Notes in Computer Science, volume 8561, pages 121-137, July 2014. PDF
  • Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, and Marc Vinyals. From Small Space to Small Width in Resolution. Technical Report TR12-081, Electronic Colloquium on Computational Complexity (ECCC), June 2014. PDF
  • Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, and Marc Vinyals. From Small Space to Small Width in Resolution. In Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS '14), pages 300-311, March 2014. PDF
  • Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, and Marc Vinyals. Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds. In Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP '13), pages 437-448, July 2013. PDF

Some Presentations

  • A Generalized Method for Proving Polynomial Calculus Degree Lower Bounds. Brief talk given at CCC '15 in Portland, Oregon, USA, June 2015. PDF
  • Long Proofs of (Seemingly) Simple Formulas. Brief talk given at SAT '14 in Vienna, Austria, July 2014. PDF
  • From Small Space to Small Width in Resolution. Brief talk given at STACS '14 in Lyon, France, March 2014, and at the proof complexity workshop at FloC '14 in Vienna, Austria, July 2014. PDF
  • Towards an Understanding of Polynomial Calculus: New Separations and Lower Bounds. Brief talk given at ICALP '13 in Riga, Latvia, July 2013. PDF

Posters

  • Small Space to Small Width in Resolution. Presented at STOC '13, June 2013. PDF

Teaching

Spring 2016

Autumn 2015

Spring 2015

  • Algorithms and Complexity

Autumn 2014

  • Algorithms, data structures, and complexity
  • Advanced algorithms

Spring 2014

  • Algorithms and Complexity

Autumn 2013

  • Algorithms, data structures, and complexity
  • Advanced algorithms
Published by: Mladen Mikša <miksa~at-sign~kth~dot~se>
Updated 2016-04-04