جست‌وجوی استاد و پژوهشگر

Igor Konnovمشاهده پروفایل

مدرس

• Distributed Systems
• Formal Verification
• Model Checking
• +۳ مورد دیگر

Igor Konnov is a Lecturer at TU Wien, Faculty of Informatics, in the Department of Formal Methods in Systems Engineering (E192-04). His contact email is igor.konnov@tuwien.ac.at, and he maintains an active research profile through the university's informatics portal. His research focuses on distributed systems verification, specializing in parameterized model checking, fault-tolerant algorithm analysis, and threshold automata frameworks. Key contributions include developing formal methods for Byzantine fault-tolerant systems and creating verification tools like ByMC that handle arbitrary process counts in distributed protocols. Analysis of his recent publications reveals consistent innovation in bounded model checking techniques and parameterized verification approaches. His work bridges theoretical concurrency models with practical verification challenges in distributed computing, particularly through threshold-based algorithm verification and message counter elimination strategies. No scientific awards were documented in the provided materials. Konnov has supervised two PhD students: J. Kukovec (2024 dissertation on SMT-driven verification techniques) and T. H. Tran (2023 work on TLA+ symbolic verification). His research has been funded by the Austrian Science Fund (FWF, 2011-2019) and Vienna Science and Technology Fund (WWTF, 2011-2015). He is an integral member of TU Wien's Formal Methods in Systems Engineering research group, contributing to projects focused on concurrent and distributed system verification within the Institute of Information Systems Engineering.

Frank Leymannمشاهده پروفایل

استاد

• Software Architecture
• Pattern Languages
• Service-Oriented Computing
• +۸ مورد دیگر

Frank Leymann is a Professor of Computer Science at the University of Stuttgart, where he serves as Director and Founder of the Institute of Architecture of Application Systems. His career spans academia and industry, including 20 years at IBM Germany as a Software Architect. Research Focus: Workflow Management, Service Computing, Cloud Computing, Quantum Computing, Pattern Languages, Digital Humanities. Standards: Co-author of BPEL, BPMN, WS-RF, TOSCA, Human Task specifications. His work on quantum computing emphasizes hybrid quantum-classical applications and practical integration challenges. He pioneered the OASIS cloud standard TOSCA and developed the open-source OpenTOSCA platform, which has over 1,000 downloads. Scientific awards include an Honorary Doctorate from the University of Crete (2015), IBM Distinguished Engineer (2000), and IBM Academy of Technology membership (1996). Google Scholar cites his work over 43,300 times (H-Index 89), ranking him among the world's top computer scientists.

Kin K. Leungمشاهده پروفایل

استاد

• Wireless Communications
• Communication Networks
• Machine Learning
• +۴ مورد دیگر

Kin K. Leung is the Tanaka Chair Professor in the Electrical and Electronic Engineering and Computing Departments at Imperial College London. He serves as the Head of the Communications & Signal Processing Group (2009-2024) and Deputy Director of the University Defence Research Centre in Signal Processing. Previously, he held senior technical roles at AT&T Bell Labs and Lucent Technologies. Education: B.S. from Chinese University of Hong Kong (1980), M.S. and Ph.D. from University of California, Los Angeles (1982, 1985). Research Interests: Focuses on wireless technologies, communication networks, stochastic modeling, machine learning, optimization, and emerging quantum computing applications. His work integrates theoretical frameworks with practical implementations in multi-antenna systems, cross-layer network designs, and distributed quantum architectures. Publication Trends: Recent works (2021-2025) demonstrate a strong focus on quantum computing integration with networking systems, federated learning optimizations for edge devices, and reinforcement learning solutions for resource allocation in wireless environments. Awards and Honors: Fellow of Royal Academy of Engineering (2022) IEEE Fellow (2001) IET Fellow (2021) Royal Society Wolfson Research Merit Award (2004-2009) IEEE Communications Society Leonard G. Abraham Prize (2021) IEEE Best Survey Paper Award (2022) Grants and Leadership: Principal Investigator for EPSRC TITAN/HASC Com Hubs, DCIT Centre, and DQC & App (distributed quantum computing). Leads the Communications & Signal Processing Group and co-directs the School of Convergence Science in Space, Security and Telecoms.

• Algorithms
• Data Structures
• Dynamic Graph Algorithms
• +۳ مورد دیگر

Monika Henzinger is a Professor at the Institute of Science and Technology Austria (ISTA), where she has been serving since 2023, and additionally holds the position of Vice President for Technology Transfer since 2024. Her academic journey includes professorships at the University of Vienna (2009-2023) and EPFL in Switzerland (2005-2009), as well as industry experience at Google (1999-2005) and Digital Equipment Corporation (1996-1999). She earned her PhD from Princeton University in 1993 and served as an Assistant Professor at Cornell University from 1993-1996. Dr. Henzinger's research focuses on the design and analysis of efficient algorithms and data structures, with particular emphasis on dynamic settings where inputs change repeatedly, privacy-preserving algorithms, and translating theoretical algorithms into practical implementations. Her work bridges theoretical computer science with practical applications, addressing fundamental questions about computational efficiency in evolving data environments. Her recent publications (2024-2025) demonstrate a consistent focus on dynamic graph algorithms, differential privacy, and optimization problems. These works explore cutting-edge approaches to maintaining graph structures under continuous updates, developing privacy-preserving mechanisms for streaming data, and creating efficient approximation algorithms for fundamental graph problems. The research shows strong connections between theoretical guarantees and practical implementations, with many papers addressing both theoretical bounds and experimental validation. Dr. Henzinger has received numerous prestigious awards throughout her career, including: The 2024 Best Paper Award at the Symposium on Discrete Algorithms The 2021 Wittgenstein Award Two ERC Advanced Grants (2014, 2021) Fellow of the Association of Computing Machinery (2016) Member of the Austrian Academy of Sciences (2017) The Carus medal of the German Academy of Sciences Leopoldina (2019) She currently leads an active research group comprising PhD students and postdoctoral researchers, and her team is supported by multiple significant grants including an ERC Advanced Grant for 'The design and evaluation of modern fully dynamic data structures,' a Wittgenstein Award from the Austrian Science Fund, and several other projects focused on dynamic graph algorithms and data structures. Her collaborative work spans theoretical computer science, algorithm design, and practical implementations. Dr. Henzinger's research group operates within a vibrant ecosystem of algorithmic research at ISTA, focusing on transforming theoretical insights about computational efficiency into practical tools for handling dynamic data. The group maintains strong connections with both theoretical and applied research communities, bridging the gap between abstract algorithm design and real-world implementation challenges.

Reiner Schulzeمشاهده پروفایل

استاد

• German law of obligations
• European contract law
• European tort law
• +۴ مورد دیگر

Reiner Schulze has been Professor of German and European Civil Law at the University of Münster since 1994 and Director of its Institute for Legal History; he concurrently served as a judge at the Higher Regional Court of Hamm (1996-2005) and as Executive Director of Münster’s Centre of European Private Law (1997-2012). Active in European scholarly governance, he was President of the European Law Faculties Association (ELFA) in 2012-13 and remains Chairman of the German section of the Association Henri Capitant. Education & Qualifications 1968 – Abitur 1968-1973 – Law studies, Freie Universität Berlin 1973 – First State Examination in Law 1976 – Doctorate (Dr. iur.), University of Frankfurt a.M. 1978 – Second State Examination in Law 1983 – Post-doctoral degree (Habilitation) Research Interests Schulze’s work straddles dogmatics, history and comparative law, centring on the German and European law of obligations (contract, tort, unjust enrichment), the historical evolution of private law in Europe, and the challenges posed by digitalisation and European integration to traditional contract structures. His recent publications analyse the impact of digital content on European contract rules, the innovative traits of the proposed Common European Sales Law (CESL), and the persistent divergences between French and German contract theories, always embedding doctrinal discussion in wider historical and cultural contexts. Honours & Awards Honorary doctorate (Dr. h.c.), University of Miskolc Member, Real Academia de Jurisprudencia y Legislación (Académicos Honorarios) Member, Accademia Nazionale dei Lincei (Straniero) Officer, Order of Oranje Nassau (for services to German-Dutch legal relations) Academic Leadership & Grants While specific grant details are not listed, Schulze has continuously directed externally funded research projects at the Centre of European Private Law and the Institute for Legal History, hosting numerous international conferences and colloquia that shape the European private-law agenda. Labs & Research Teams He leads the Institute for Legal History at the University of Münster and is the key intellectual motor of the Centre of European Private Law, coordinating a network of doctoral researchers, post-docs and visiting scholars working on historical and comparative aspects of European private law.

Javier Esparzaمشاهده پروفایل

استاد

• Theoretical Computer Science
• Software Verification
• Model Checking
• +۹ مورد دیگر

Javier Esparza is a Professor and Chair of Foundations of Software Reliability and Theoretical Computer Science at the Technical University of Munich (TUM), Germany. He has held academic positions at several prestigious institutions including the University of Stuttgart, University of Edinburgh, and Technische Universität München since 1990. His work focuses on theoretical computer science with applications in software verification and formal methods. His educational background includes: M.S. in (Theoretical) Physics from the University of Zaragoza (Spain, 1987) Ph.D. in Computer Science from the University of Zaragoza (Spain, 1990) Habilitation in Computer Science from the University of Hildesheim (Germany, 1994) Professor Esparza's research interests span multiple areas of theoretical computer science and formal methods. He has made significant contributions to the fields of software verification, model checking, and Petri nets. His work on algorithms for the design and verification of reactive and distributed systems has been particularly influential. He has developed theoretical foundations and practical tools for analyzing systems with infinitely many states, pushing the boundaries of what can be formally verified. His research on formal models for distributed systems, particularly Petri nets and process algebras, has provided new insights into concurrency theory. Additionally, his work on the analysis of probabilistic systems and applications of linear and constraint programming to verification problems has opened new avenues for research. His recent publications demonstrate a continued focus on fundamental problems in verification and theoretical computer science, with particular emphasis on population protocols, model checking techniques, and theoretical foundations of distributed computing. His work bridges the gap between theoretical insights and practical applications in software reliability. His scientific achievements have been recognized with several prestigious awards: Doctor honoris causa in Informatics, Masaryk University (2009) Dissertation prize, University of Zaragoza (1990) TeachInf Award for best Bachelor course at TU München (2009) TeachInf Award for best Master course at TU München (2010) Diploma for excellent Teaching, TU München (2011) Member of Academia Europaea (2011) Professor Esparza has successfully advised numerous PhD students who have gone on to make their own significant contributions to computer science. His research has been consistently supported by competitive grants from major funding bodies including the German Research Council (DFG), the British Engineering and Physical Sciences Research Council, and the European Union. His research projects have often involved international collaborations, reflecting the global recognition of his work. He leads a vibrant research group at TUM focused on theoretical computer science and verification. The group has developed several influential software tools including Rabinizer, Peregrine, Owl, and Strix, which are widely used in both academia and industry for verification tasks. His group maintains strong collaborations with research institutions worldwide, particularly in Europe.

Karimi Hamid Rezaمشاهده پروفایل

استاد

• Fault Diagnosis
• Vibration Systems
• Control Systems
• +۷ مورد دیگر

Hamid Reza Karimi is a Professor of Applied Mechanics at the Department of Mechanical Engineering, Politecnico di Milano, Italy. He previously served as Full Professor at the University of Agder, Norway, and held research positions in Germany, USA, and other institutions. Current Affiliation: Politecnico di Milano, Italy Previous Affiliation: University of Agder, Norway Dr. Karimi is a leading expert in control systems, fault diagnosis, and mechatronics. His research focuses on modeling, control, and health monitoring of complex industrial systems, particularly wind turbines and automotive systems. He has published over 500 ISI-indexed journal papers and contributed to 9 edited books. Scientific Awards: Web of Science Highly Cited Researcher in Engineering (2016-2021) Fellow of The Asia-Pacific Artificial Intelligence Association (2022) Distinguished Fellow of The International Institute of Acoustics and Vibration (2021) August-Wilhelm-Scheer Visiting Professorship Award (2015) He serves as Chief Editor and Associate Editor for multiple international journals and has participated as keynote speaker in numerous conferences. His work emphasizes interdisciplinary collaboration between academia and industry in Europe.

• Cyber-Physical Systems
• Computer Science
• Robotics
• +۴ مورد دیگر

Jaroslav Klapalek is a PreDoc Researcher in the Cyber-Physical Systems department at Vienna University of Technology (TU Wien). His work focuses on formal verification of distributed timed-automata, resilient control mechanisms, and timing anomalies in automotive architectures. He is affiliated with the Embedded Systems Group (E191-01) and has contributed to research on machine learning for industrial predictive maintenance, consensus algorithms, and energy-efficient scheduling. Research Trends: Recent publications highlight expertise in formal verification of real-time constraints, security analysis in industrial CPS, and timing predictability under clock drift and network delays. Key methods include model checking, hybrid system modeling, and safety-critical protocol validation. Scientific Awards:

Aviv Yaishمشاهده پروفایل

پژوهشگر

• Blockchain Technology
• Cryptography
• Computer Security
• +۳ مورد دیگر

Aviv Yaish is a Doctoral Student in the School of Computer Science and Engineering at The Hebrew University of Jerusalem (HUJI), funded by the Ze’ev Jabotinsky Fellowship. He also served as a Visiting Researcher at the University of Innsbruck, Austria in 2023. His research focuses on the economics and security of blockchains, including transaction fee mechanisms, mining strategies, and time manipulation in cryptocurrencies like Ethereum. Yaish holds an M.Sc. and B.Sc. in Computer Science from HUJI. His research explores interdisciplinary topics at the intersection of computer science, economics, and cryptography. Notable contributions include analyzing miner incentives in blockchain protocols, studying consensus mechanism vulnerabilities, and evaluating hardware costs in cryptocurrency mining. Yaish has been recognized with multiple awards, including the Hebrew University’s teaching excellence award (2021) and Dean’s Prize (2018). Grants: Ze’ev Jabotinsky Fellowship (Ministry of Science & Technology, Israel) Labs: Member of the Security and Privacy Lab at HUJI

Marc Humbertمشاهده پروفایل

استاد

• Pulmonary Hypertension
• Respiratory Diseases
• Immunopathology
• +۳ مورد دیگر

Marc Humbert is Professor of Respiratory Medicine at Université Paris-Sud and Head of the Department of Respiratory Medicine at Hôpital Bicêtre. He directs multiple research units, including Inserm Unit 999 (Pulmonary Hypertension: Pathophysiology and Novel Therapies) and the Département Hospitalo-Universitaire Thorax Innovation. His leadership extends to editorial roles, such as former Editor-in-Chief of the European Respiratory Journal . His research focuses on pulmonary hypertension , asthma , and immunopathology , with emphasis on molecular mechanisms of vascular remodeling, endothelial dysfunction, and innovative therapies. Humbert investigates serotonin/BMPR-II pathway interactions, endothelial-smooth muscle crosstalk, and immune-mediated mechanisms in disease progression. Publications span clinical guidelines, translational studies, and epidemiology, reflecting expertise in pulmonary vascular diseases. Recent works emphasize phenotype classification, targeted therapies (e.g., sotatercept), and global disease burden. Honors include: Descartes-Huygens Award (2009) Fellow of the European Respiratory Society (2014) World’s Most Influential Scientific Minds in Clinical Medicine (2014) Doctor Honoris Causa (University of Medicine and Pharmacy Carol Davila, 2013) He leads the French National Reference Centre for Pulmonary Hypertension and oversees clinical registries/biobanks to advance therapeutic innovation.

• Distributed Systems
• Consensus Algorithms
• Dynamic Networks
• +۱ مورد دیگر

Stephan Felber is a PreDoc Researcher at the Embedded Computing Systems group (Institute E191-02) within the Faculty of Informatics at Vienna University of Technology, holding a Bachelor of Science and Diplom-Ingenieur degree. His research expertise spans: Distributed Systems Consensus Algorithms Dynamic Networks Fault Tolerance His recent publications demonstrate deep theoretical contributions to distributed computing, particularly analyzing consensus impossibility in lossy snapshot models and characterizing message adversaries in directed dynamic networks, establishing foundational limits for fault-tolerant distributed systems. At TU Wien, he teaches core computer engineering courses including Advanced Multiprocessor Programming (191.022, VU), Computer Engineering Practical (191.005, PR), and multiple project-based courses (191.006-191.009, PR). As an integral member of the Embedded Computing Systems research group, he advances theoretical frameworks for reliable distributed computation in challenging network environments.

• Human-Centered Artificial Intelligence
• Explainable Artificial Intelligence
• Interactive Machine Learning
• +۷ مورد دیگر

Andreas Holzinger is a University Professor for Digital Transformation for Smart Agriculture and Forestry at the Institute of Forest Engineering, Department of Agricultural Sciences, University of Natural Resources and Life Sciences Vienna (BOKU). He pioneered interactive machine learning with human-in-the-loop frameworks to advance trustworthy AI, focusing on explainability, robustness, and ethical alignment with human values. His work bridges artificial intelligence with forestry technology, ensuring safety, privacy, and sustainability. 2022: University Professor at BOKU 2021: IFIP Fellow 2020: ELLIS Member 2019: Visiting Professor at University of Alberta 2019: Academia Europaea Full Member His research interests span Human-Centered AI , Explainable AI , Digital Transformation in Forestry , and Trustworthy AI . He develops frameworks where humans collaborate with AI systems to enhance decision-making in forest operations, focusing on transparency and controllability. His recent publications emphasize Interactive Machine Learning and Explainable AI in forestry contexts, including cable corridor planning, danger zone detection, and sensor-based data interpretation. Articles explore 3D point cloud analysis , human-robot collaboration , and contextual counterfactuals to improve AI systems' reliability. Scientific Awards: Most influential Paper Award (2025) Fellow of IFIP (2021) Member of ELLIS (2020) Full Member, Academia Europaea (2019) He supervises theses on Forestry Technology , Plant Development , and Stress Resilience , mentoring students working on smart sensors, genetic analysis, and AI applications in agricultural systems. His collaborations span institutions in Austria, Canada, Finland, Italy, New Zealand, and the USA.

Kurt Hornikمشاهده پروفایل

استاد

• Statistical Data Processing
• Statistical Learning
• Machine Learning
• +۵ مورد دیگر

Kurt Hornik is a Professor at the Vienna University of Economics and Business (WU) , where he heads the Institute for Statistics and Mathematics and the Research Institute for Computationally Intensive Methods . He is renowned for his co-development of the R programming language, a cornerstone in statistical computing with over 15,000 extension packages. His research spans statistical data processing, machine learning, and quantitative risk management, focusing on combining ordinal ratings (e.g., credit scores) into consensus-based models. Education: Technical Mathematics (PhD, 1987, Vienna University of Technology) Postdoctoral work in statistics and mathematics Research Interests: Hornik's work addresses challenges in statistical modeling of ordinal preferences, particularly in creditworthiness assessment. He developed composite likelihood methods to improve calibration of credit rating systems, which underpin key Eurosystem monetary policies. His recent publications explore hyperspherical variational autoencoders, Watson distributions, and Kummer's function bounds, reflecting his contributions to computational statistics and high-dimensional data analysis. Scientific Awards: Golden Decoration of Merit for Services to the Republic of Austria (2007) Contributions: Hornik's research has produced widely used R packages like colors , ROI , and mvord , advancing statistical software infrastructure. He collaborates globally, with publications in journals such as Journal of Statistical Software and Annals of Applied Statistics .

• Global Optimization
• Interval Arithmetic
• Mathematical Modeling
• +۵ مورد دیگر

Hermann Schichl is an Associate Professor at the University of Vienna , affiliated with the Faculty of Mathematics and Department of Mathematics. His work spans mathematical modeling, global optimization, and numerical analysis.

Matthias Függerمشاهده پروفایل

استاد

• Computer Architecture
• Embedded Systems
• Digital Circuits
• +۳ مورد دیگر

Matthias Függer is a Professor at the Department of Technical Computer Science within TU Wien's Institute for Technical Informatics. His research focuses on digital circuit design, fault-tolerant systems, and distributed computing. He has contributed to advancements in metastability containment, clock synchronization, and consensus algorithms in dynamic networks. His work bridges theoretical computer science with practical applications in embedded systems and VLSI design. Education details are not explicitly provided, but his academic role suggests a doctoral background. Notable projects include the development of the Involution Tool for timing analysis and collaboration on resilient circuit models under adversarial conditions. His research has been published in prestigious conferences and journals, emphasizing interdisciplinary approaches to solving challenges in asynchronous systems and fault tolerance. Labs/Teams: Network Lab at TU Wien. Advising: Advised Markus Hofstätter on his thesis involving FPGA-based Byzantine fault tolerance.