Automated Reasoning Professors and Supervisors in Austria

Prof. Dongheui Lee is a Full Professor at TU Wien's Institute of Computer Technology, Faculty of Electrical Engineering and Information Technology, and leads the Human-centered Assistive Robotics Group at the German Aerospace Center (DLR). She holds a PhD from the University of Tokyo (2007) and has held academic roles at Technical University of Munich (TUM), the University of Tokyo, and KIST. Her research focuses on human-robot interaction, assistive robotics, and machine learning applications in robotics. Education: PhD, Information Science and Technology, University of Tokyo, 2007 MS, Kyung Hee University, 2003 Research Interests: Her work spans human motion understanding, assistive robotics, human-robot collaboration, and control systems. Key areas include robotic balance assistance, motion imitation, and safety-aware robotics. She has pioneered methods for light touch support in human-robot interaction and developed frameworks for dynamic task execution. Recent Trends in Publications: Recent work emphasizes variable stiffness control, motion retargeting, and multimodal anomaly detection. Publications highlight advancements in assistive robotics, human motion prediction, and reinforcement learning for locomotion. Articles often integrate robotics with machine learning to improve safety and adaptability in human-robot systems. Awards: Carl von Linde Fellowship (TUM Institute for Advanced Study, 2011) Helmholtz professorship prize (2015) Best Intelligence Paper Award (2024) Projects & Grants: Leads projects like LunarAssembly (robotic assembly on the Moon) and INVERSE (interactive robots through reasoning). Funded initiatives include EU Horizon, BMBF, and industry collaborations. Coordinates teams for projects like PERSEO (service-oriented robotics) and SOLAR (body representation studies). Labs/Teams: Directs the Human-centered Assistive Robotics Group at DLR and collaborates with TU Wien's Autonomous Systems unit. Her teams focus on real-world applications in healthcare, manufacturing, and human-centered robotics.

پروفایل رسمی دانشگاه

Cezary Kaliszykمشاهده پروفایل

استاد

University of InnsbruckAustria

Cezary Kaliszyk is a Professor in Theoretical Computer Science at the University of Melbourne. His research focuses on automated reasoning, formal methods, and learning for reasoning, particularly in the context of interactive theorem proving and formalized mathematics. He leads the ERC project 'FormalWeb3' and has been involved in several other significant research initiatives. Theoretical Computer Science Automated Reasoning Formal Methods Interactive Theorem Proving Machine Learning for Theorem Proving Formalized Mathematics Proof Guidance Learning for Reasoning His research explores the integration of machine learning techniques with formal reasoning systems to enhance automation in theorem proving. This includes developing systems like CoqHammer and Tactician, advancing premise selection, proof guidance, and learning-based proof search strategies. His work bridges logical foundations with practical AI-driven tools for formal verification. The recent publications demonstrate a consistent focus on advancing automated and interactive theorem proving through learning techniques, formalization of mathematical concepts (like surreal numbers), and improving reasoning systems (e.g., Prover9, tableaux methods). There is a strong emphasis on practical system development, formalization projects, and learning-based enhancements to reasoning. ERC project 'FormalWeb3' - Principal Investigator Cost Action EuroProofNet - WG5 Leader until 2024 FWF project P26201 - developing HOL(y)Hammer Other projects: JSPS P10044, NWO MathWiki, SURF WebDed, ProofWeb He has advised several PhD students to completion, including Michael Färber, Thibault Gauthier, Yutaka Nagashima, Stanisław Purgał, and Liao Zhang, and is currently supervising Daniel Ranalter and Neil Vyas. He has not received any explicitly mentioned scientific awards in the provided text. His work involves leadership in collaborative systems such as ProofWeb and HOL Import, and participation in major formalization efforts including the Mizar library integration with Isabelle. He is actively involved in the development of tool ecosystems for formal mathematics and automated reasoning.

پروفایل رسمی دانشگاه