Dr. Marek Košta

Researcher

Slovak Academy of Sciences
Institute of Informatics
Dúbravská cesta 9
845 07 Bratislava, Slovakia

Mail: marek.kosta@savba.sk
Phone: +421 2 5941 1279

Talks and Presentations

  • Monthly Seminar, Institute of Informatics, Slovakia, 2017
    Real Quantifier Elimination
  • Seminar 15471, Schloss Dagstuhl, Germany, 2015
    Constructing a Single CAD Cell
  • CASC, Warsaw, Poland, 2014
    Towards Conflict-Driven Learning for Virtual Substitution
  • SMT Workshop, Vienna, Austria, 2014
    Towards Conflict-Driven Learning for Virtual Substitution
  • Computeralgebra-Tagung, Kassel, Germany, 2014
    Constructing a Single Cell in Cylindrical Algebraic Decomposition
  • MACIS, Nanning, China, 2013
    SMT-Based Compiler Support for Memory Access Optimization for Data-Parallel Languages
  • Workshop in Logic, Algebra and Computation, Beijing, China, 2013
    Faster Learning in SMT-Solving for Non-Linear Arithmetic
  • AVACS Plenary Meeting, Freiburg, Germany, 2013
    Faster Learning in SMT-Solving for Non-Linear Arithmetic
  • Seminar 13411, Schloss Dagstuhl, Germany, 2013
    An SMT-Based Approach to Memory Access Optimization Problem
  • FroCos, Nancy, France, 2013
    Presburger Arithmetic in Memory Access Optimization for Data-Parallel Languages
  • Deduktionstreffen, Koblenz, Germany, 2013
    Presburger Arithmetic in Memory Access Optimization
  • Seminar 12462, Schloss Dagstuhl, Germany, 2012
    Is linear integer arithmetic useful?

Teaching

  • Course Automated Reasoning, Saarland University, 2012
  • Seminar The Satisfiability Problem, Saarland University, 2012