Junior Researcher in the Institute of Computer Science at the University of Wrocław.

On my homepage you can find: a list of my research interests, a list of my papers, and a short introduction to other, that is Non-ComputerScientific, aspects of my life.

Institute of Computer Science

University of Wroclaw

ul. Joliot-Curie 15

50-383 Wroclaw

phone +48 71 375-7832

email: Michal.Wrona[at]ii.uni.wroc.pl

Office hours: Tuesday, 3.30 - 5.00 pm. Room: 327.

- In general, I am interested in:
**Logic in Computer Science**; - and in particular in:
**Constraint Satisfaction Problems**.

- A Complete Complexity Characterization of Quantified Positive Temporal Constraints Ph.D. Thesis.
- Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates in LPAR'08, co-author: Witold Charatonik. [SLIDES]
- Quantified Positive Temporal Constraints in CSL'08,
co-author: Witold Charatonik.
[SLIDES]

NOTE: Both papers from 2008 are companion to each other. Each of them contains a part of the proof of the same theorem. The proof is quite long and therefore it was splitted into two papers. The full joint version of these papers is the main part of my Ph.D. Thesis --- above.

- 2-SAT in Some Multi Valued Logics Based on Finite Lattices in ISMVL'07, co-author: Witold Charatonik.
- Stratified Boolean Grammars in MFCS'05.