Tianwei Zhang
University Assistant, MSc Institute of Logic and Computation Algorithms and Complexity Group TU Wien Room: HF0410 |
Research Interests
To be added by the researcher.
Current Position
I am a PhD candidate within the Algorithms and Complexity Group at TU Wien, under the supervision of Prof. Stefan Szeider. I am also part of the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND.
Education
MSc in Logic, Institute of Logic, Language and Computation, University of Amsterdam, the Netherlands, 2022
BSc in Software Engineering, Tsinghua University, Beijing, 2019
Publications
For an up-to-date list of publications, please visit TU Wien Informatics | Tianwei Zhang.