Skip to Content

TU Wien Fakultät für Informatik DBAI Database and Artificial Intelligence Group
Top-level Navigation: Current-level Navigation:

Path: DBAI > staff > Jan Maly

Tools: Drucken



Jan Maly

Address Jan Maly
Institute of Information Systems
Database and Artificial Intelligence Group
Vienna University of Technology
Favoritenstraße 9-11
1040 Wien
Austria
Mail
Phone +43/1/58801/18408
Fax +43/1/58801/18493
Room HE 03 20

You can find me also in the TISS Adress Book

About me

I am currently a Ph.D student and University Assistant at the Database and Artificial Intelligence Group. In August 2016 I received my master's degree in mathematics with specialization in logic from the University of Vienna.

Papers

[1] Ranking Specific Sets of Object
Jan Maly, Stefan Woltran
To appear (Download)
[2] Pseudo proof systems and hard instances of SAT
Jan Maly, Moritz Müller
(Download)

Master's Thesis

[1] Jan Krajicek's Forcing Construction and Pseudo Proof Systems
Jan Maly
Master's Thesis, Universität Wien, Advisor: Moritz Müller 2016 (Download)

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.


Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Informationssysteme an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.