ÿþ <html><head><meta http-equiv="Content-Type" content="text/html; charset=windows-1250"> <title>Homepage of Michal Wrona</title> <meta name="Description" content="It concerns Computer Science"> <meta name="Keywords" content="Computer Science Constraint Satisfaction Problems"> <meta name="Author" connect="MichaB Wrona"> </head> <body> <h2>MichaB Wrona</h2> <br> is a CUGS post-doctoral researcher at the <a href="http://www.ida.liu.se/labs/tcslab/">Theoretical Computer Science Laboratory</a>, Department of Computer and Information Science, Linköping University, Sweden. <br> <br> CUGS is the national computer science graduate school, commissioned by the Swedish government and the board of education. <br> <br> On my homepage you can find: a list of my <a href="http://www.ida.liu.se/~micwr51/#research_intr">research interests</a>, a list of my <a href="http://www.ida.liu.se/~micwr51/#papers">papers</a>, and my <a href="http://www.ida.liu.se/~micwr51/CV.pdf">CV</a>. <a name="addresses"> <h3>My addresses</h3> </a> <address> <strong>Postal address:</strong><br> Linköpings universitet<br> ida<br> 581 83 Linköping<br> SWEDEN<br><p> email: michal.wrona[at]liu.se<br></p><p> </p></address> <a name="research_intr"> <h3>Research Interests</h3> </a> <ul> <li> In general, I am interested in: <b>Mathematics of Constraint Satisfaction Problems</b></li> <li> in particular I work on classifying the complexity of CSPs and Quantified CSPs over omega-categorical structures.</li> </ul> <a name="papers"> <h3>List of my papers</h3> </a> <ul> <li> Syntactically Characterizing Local-to-Global Consistency in Ord-Horn in CP'12. <a href="http://www.ida.liu.se/~micwr51/CP12Slides.pdf">[SLIDES]</a> <a href="http://www.ida.liu.se/~micwr51/CP12Poster.pdf">[POSTER]</a> </li> <li> Equivalence Constraint Satisfaction Problems in CSL'12, co-author: <a href="http://www.lix.polytechnique.fr/~bodirsky/">Manuel Bodirsky</a>. <a href="http://www.ida.liu.se/~micwr51/CSL12Slides.pdf">[SLIDES]</a> </li> <li> Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction in TIME'12, co-author: <a href="http://hubiechen.weebly.com/">Hubie Chen</a>. <a href="http://www.ida.liu.se/~micwr51/TIME12Slides.pdf">[SLIDES]</a> </li> <li><a href="http://www.ida.liu.se/~micwr51/thesis.pdf">A Complete Complexity Characterization of Quantified Positive Temporal Constraints</a> Ph.D. Thesis. </li> <li> <a href="http://www.ida.liu.se/~micwr51/TQP.pdf">Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates.</a> LPAR'08, co-author: <a href="http://www.ii.uni.wroc.pl/~wch">Witold Charatonik</a>. <a href="http://www.ida.liu.se/~micwr51/LPAR08Slides.pdf">[SLIDES]</a> </li> <li> <a href="http://www.ida.liu.se/~micwr51/QPTC.pdf">Quantified Positive Temporal Constraints</a> in CSL'08, co-author: <a href="http://www.ii.uni.wroc.pl/~wch">Witold Charatonik</a>. <a href="http://www.ida.liu.se/~micwr51/CSL08Slides.pdf">[SLIDES]</a> </li> <li> <a href="http://www.ida.liu.se/~micwr51/2sat.pdf">2-SAT in Some Multi Valued Logics Based on Finite Lattices</a> in ISMVL'07, co-author: <a href="http://www.ii.uni.wroc.pl/~wch">Witold Charatonik</a>. </li> <li> <a href="http://www.ida.liu.se/~micwr51/SBG.dvi">Stratified Boolean Grammars</a> in MFCS'05. </li></ul> </a></body></html>