معرفی
Tianwei Zhang is a predoctoral researcher at the Technische Universität Wien (TU Wien) within the Algorithms and Complexity department. His research focuses on theoretical computer science, particularly in the areas of artificial intelligence, knowledge compilation, and computational complexity.
- Position: PreDoc Researcher
- Projects: Overcoming Intractability in the Knowledge Compilation Map (2022–2025), REVEAL-AI (2020–2024)
Zhang's work explores advanced techniques in satisfiability solving, constraint programming, and universal graph theory. His recent publications highlight contributions to model counting algorithms and SAT-based combinatorial optimization, bridging theoretical challenges with practical applications.
His research trends emphasize scalable algorithms, computational intractability, and logic-based AI. Notable collaborations include work with Dr. Stefan Szeider on SAT solver applications for combinatorics.
- Contact: tianwei.zhang@tuwien.ac.at
- Phone: +43-1-58801-192154
Tianwei Zhang در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- FFelix ReschVienna University of Technology · پژوهشگر
- MMarkus KirchwegerVienna University of Technology · پژوهشگر
- VValentin Philipp JustVienna University of Technology · پژوهشگر
- UUwe EglyVienna University of Technology · دانشیار
- AAlexis de ColnetVienna University of Technology · پژوهشگر
- MMichaela TuscherVienna University of Technology · پژوهشگر