I am currently a Ph.D. student at the Department of Logic of the Faculty of Arts of Charles University in Prague and I work at the  Institute of Information Theory and Automation of the Czech Academy of Sciences. 

My Ph.D. research is supervised by Carles Noguera. The main goal of my thesis is to study non-classical (currently mostly propositional) logics using algebraic methods with primary focus on developing of a uniform theory which relates general notions of connectives in propositional logics (disjunction, implication, and negation) with the corresponding characteristic sets of formulas (prime, semilinear, and maximally consistent). An important part of this investigation resides in understanding of logics which allows for infinitely-long proofs (the so-called infinitary logics).

Besides algebraic logic I am also interested in topological methods in logic and generally in foundational alternatives to set theory, e.g. category and type theory. 

You can contact me at lavicka.thomas@gmail.com