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

Stephan Schlöglمشاهده پروفایل

استاد

• Human-Computer Interaction (HCI)
• Artificial Intelligence
• Interaction Design
• +۶ مورد دیگر

Stephan Schlögl is a Full Professor at MCI - The Entrepreneurial School in Austria, leading research and teaching in Human-Computer Interaction (HCI), Artificial Intelligence (AI), and Information Systems. He holds editorial roles at journals like the Springer Discover Artificial Intelligence Journal and MDPI Multimodal Technologies and Interaction Journal. His work spans over two decades, with key roles including Postdoctoral Research Fellow at Télécom ParisTech (2012–2013) and PhD Researcher at Trinity College Dublin (2008–2012). Schlögl’s research focuses on HCI, AI-driven conversational systems, and assistive technologies for aging populations. Education includes a PhD in Computer Science from Trinity College Dublin, an MSc in Human-Computer Interaction from University College London, and a Mag.(FH) in Applied Informatics & Management from MCI. His teaching spans Software Engineering, Business Intelligence, and Research Methods. Research interests emphasize natural language interfaces, AI ethics, and technology’s societal impact. Notable projects include the EU-funded EMPATHIC initiative (2017–2021), developing an empathic virtual coach for elderly care, and the CRYSTAL project (2024–present) on conversational systems for emotional support. Schlögl has supervised numerous theses on AI applications, chatbots, and UX design. He co-organized major conferences like CUI (Conversational User Interfaces) and received awards for best papers in AI-HCI and CHIRA. His work bridges academia and industry, addressing challenges in AI adoption, digital well-being, and ethical technology design.

• Robotics
• Autonomous Systems
• Mobile Robotics
• +۶ مورد دیگر

Markus Bader is a PostDoc Researcher at the Technische Universität Wien's Faculty of Informatics, Department of Automation Systems. He holds roles as Curriculum Coordinator for Master's programs in Automation Systems and Mobile Robotics, and serves on multiple academic committees including the Faculty Council and Curriculum Commissions for Informatics and Computer Engineering. He earned his Diplom-Ingenieur (2006) and Doctor Technica (Dr.techn.) from TU Wien. His research focuses on autonomous systems, mobile robotics, and control systems, with notable work on multi-robot coordination, path planning algorithms, and real-time navigation in human environments. Key projects include TransportBuddy (2018), exploring navigation in human spaces, and the Formula Student Driverless race car design (2017). Bader has led or contributed to funded projects such as the Austrian Research Promotion Agency (FFG)-supported Green Facade Digital Twin (2025–2027), Independent Wheel Offset Steering (2016–2017), and MPCv1 (2015–2017), emphasizing model predictive control and sensor integration. Research Highlights : Prioritized multi-robot route planning (MRRP), human motion prediction for autonomous navigation, and sensor fusion for vehicle localization. Grants : FFG-funded projects totaling over €2.5M, including autonomous vehicle coordination and mobile robotics tool development. He advises students on topics like ROS2-based route planning and independent steering systems, with 7+ supervised theses documented. Bader's work bridges theoretical robotics research with practical applications in industrial automation and autonomous vehicle systems.

Jeffrey Kramerمشاهده پروفایل

استاد

• Software engineering
• Distributed computing
• Requirements engineering
• +۵ مورد دیگر

Professor Jeffrey Kramer is a distinguished academic at Imperial College London, where he currently serves as Professor in Distributed Computing within the Department of Computing, Faculty of Engineering. With a career spanning over four decades at Imperial College, he has held numerous leadership positions including Senior Dean (2009-2012), Dean of the Faculty of Engineering (2006-2009), and Head of the Department of Computing (1999-2004). Professor Kramer's research focuses on software engineering, particularly in distributed computing, requirements engineering, software architecture, and self-managing adaptive systems. His work on the Darwin Software Architecture led to commercial implementation by Philips in consumer television products. He has been a principal investigator in research projects developing the CONIC and DARWIN environments for distributed programming. His publication portfolio includes over 200 refereed journal and conference papers along with two influential books: 'Distributed Systems and Computer Networks' (1986) and 'Concurrency: State Models & Java Programs' (1999, 2nd ed. 2006). His most cited works address software architecture, dynamic reconfiguration, and adaptive systems, demonstrating a consistent research trajectory focused on foundational aspects of distributed software systems. FREng Fellow of the Royal Academy of Engineering (2008) ACM SIGSOFT Outstanding Research Award (2005, joint with Prof. Magee) ACM SIGSOFT Distinguished Service Award (2011) Editor-in-Chief of IEEE Transactions on Software Engineering (2006-2009) Most Influential Paper Award at ICSE 2003 IEE Informatics Premium prize (1998/99) Professor Kramer has served on over 50 international conference committees in the last decade and has delivered numerous keynote addresses globally. His industrial collaborations include work with BP, BT, NATS, Fujitsu, Barclays Capital, QinetiQ, Kodak, Microsoft, and Philips. He has also served as an expert witness for major law firms and has been involved in numerous research collaborations and consulting engagements.

• Cybersecurity
• Game Theory
• Quantum Cryptography
• +۵ مورد دیگر

Stefan Rass is a Professor at the Institute of Networks and Security within the Faculty of Engineering & Natural Sciences at Johannes Kepler University Linz (JKU), where he leads the LIT Secure and Correct Systems Lab. As Principal Investigator for FFG-funded projects including reSilienz (digital supply chain resilience, 2023–2025) and ITPUK (AI signature verification, 2022–2024), he bridges theoretical game theory with practical cybersecurity solutions for critical infrastructures and robotics systems. His research spans game-theoretic security models (patrolling games, defense-in-depth strategies), quantum cryptography (QKD network architectures), and cyber deception frameworks like Honeyquest for measuring honeypot effectiveness. Recent work addresses robotics security benchmarking (RobotPerf), cryptographic instruction chaining for control flow protection, and risk assessment methodologies for interdependent infrastructures. His mathematical decision-making approach integrates bounded rationality and stochastic modeling to solve real-world security challenges. Professor Rass actively shapes the field through program committee roles (ARES 2023), peer reviews, and invited talks on security transparency. His current projects focus on cost-benefit-aware monitoring for cyber-physical systems and quantum key distribution standardization, reflecting Austria’s strategic priorities in digital resilience. The LIT Secure and Correct Systems Lab under his direction develops foundational theories while deploying tools for industrial applications, particularly in critical infrastructure protection and secure robotics workflows.

Franz Wotawaمشاهده پروفایل

استاد

• Model-Based Reasoning
• Qualitative Reasoning
• Theorem Proving
• +۶ مورد دیگر

Franz Wotawa is a Professor of Software Engineering at Graz University of Technology. He holds a M.Sc. (1994) and PhD (1996) from Vienna University of Technology. He has served as head of the Institute for Software Technology from 2003–2009 and since 2020. His research focuses on model-based reasoning, software testing, autonomous systems, and diagnosis, with over 390 peer-reviewed publications. He founded Softnet Austria (2006) to bridge research and industry. He leads the Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems since 2017 and has supervised 90+ master and 36+ PhD students. His awards include the 2016 Lifetime Achievement Award from the International Diagnosis Community. He is a member of Academia Europaea, IEEE, and AAAI. **Education**: M.Sc. in Computer Science, Vienna University of Technology, 1994 PhD, Vienna University of Technology, 1996 **Research Interests**: Model-based reasoning, qualitative reasoning, theorem proving, mobile robotics, verification/validation, software testing/debugging, AI, and autonomous systems. **Notable Projects**: A-IQ Ready (2022–2026): Quantum sensing for autonomous systems. ALFA (2024–2027): AI for smart diagnosis in building automation. Bilateral AI (2024–2029): Combining symbolic and sub-symbolic AI. VARCOS (2025–2028): Vehicle-road cooperative systems for autonomous driving. **Awards & Memberships**: Lifetime Achievement Award (2016, International Diagnosis Community) Senior Member, AAAI Member of Academia Europaea, IEEE, ACM, and Austrian Computer Society **Labs/Teams**: Christian Doppler Laboratory for Quality Assurance Methodologies (since 2017). Active in Cluster of Excellence “Bilateral AI” at TU Graz.

• Cognitive Linguistics
• Sociolinguistics
• World Englishes
• +۳ مورد دیگر

Prof. Alexander Onysko is a full-time Professor and Head of the Institute of English and American Studies at the University of Klagenfurt's Faculty of Cultural and Educational Sciences. His academic roles include membership in the Curricular Commission for English and American Studies and the Faculty Conference. His research focuses on cognitive linguistics, sociolinguistics, and world Englishes, with particular interest in language contact, multilingualism, and conceptual metaphors. Recent research projects explore interdisciplinary topics like media literacy, swarm intelligence in robotics, and sustainable business ecosystems. Notable publications in 2025 address online political avoidance, robotic exploration algorithms, and healthcare workforce retention during pandemics. He actively contributes to academic administration and has supervised multiple institutional innovation projects. His work bridges linguistic theory with practical applications in education and technology-driven solutions.

• Computer Science
• Database Systems
• Process Mining
• +۴ مورد دیگر

Andreas Manfred Pointner is an Assistant Professor at FH Hagenberg , specializing in interdisciplinary research at the intersection of computer science, healthcare informatics, and software engineering. He leads research in graph databases, process mining, and attribute grammars with applications in healthcare IT and automated data systems. His affiliations include the Web Intelligence and Innovation Laboratory , AIST Center of Excellence , and Medical Engineering/TIMed Center . He has contributed to projects such as RiskAI (risk management in enterprises), PASS (plan analysis automation), and REPO (radiology e-health platforms). Research Interests: Graph database optimization, interoperability in healthcare systems (HL7 standards), fuzzing techniques for software testing, and process mining for audit event analysis. His work bridges theoretical formal methods with practical applications in clinical workflows and automated data cleansing. Notable Contribution: Developed a graph transformation framework for complex data structures Recipient of the Best Paper Award 2022 for contributions to intelligent systems Collaborative Projects: Focus on AI-driven solutions for enterprise risk management and healthcare interoperability He actively participates in international conferences and has supervised projects involving 3D model analysis, contour extraction, and global disease monitoring systems.

• Software Engineering
• Probabilistic Programming
• Security and Penetration Testing
• +۵ مورد دیگر

Jürgen Cito is an Associate Professor in the Department of Software Engineering at the Faculty of Informatics, TU Wien, where he leads research in probabilistic programming, security, and configuration management. His work is supported by major grants from the Austrian Science Fund (FWF), European Commission, and Meta Platforms, Inc., with active projects spanning 2022-2027. His research focuses on the intersection of software engineering and machine learning, particularly in static analysis of probabilistic programs, AI-driven penetration testing, and infrastructure security. Key contributions include identifying secret exposure in configuration files, grammar inference for ad hoc parsers, and performance prediction from source code, often combining empirical studies with tool development. Analysis of his 15 most recent publications (2020-2024) reveals three dominant trends: (1) Security vulnerabilities in configuration management systems, especially secret leakage in dotfiles; (2) Application of large language models to offensive security testing; and (3) Machine learning techniques for performance prediction and AutoML optimization in software contexts. Cito has supervised 22 Master's students on cutting-edge topics including AI security, infrastructure as code, and program analysis. His current research portfolio includes: Types4Strings (FWF, 2024-2027): Type systems for string processing Cloud Open Source Research Mobility Network (EU, 2023-2026): Open-source cloud infrastructure Software Assistants for Probabilistic Programming (Meta, 2022-2026): AI tools for probabilistic code He is embedded in TU Wien's Institute of Software Technology and Interactive Systems (E194), collaborating on cross-institutional projects focused on software security and developer tooling, with particular emphasis on empirical validation of security practices and configuration management systems.

Alexandru Nicolauمشاهده پروفایل

استاد

• Parallelizing compilers
• Supercomputing
• High Performance Computing (HPC)
• +۵ مورد دیگر

Alexandru Nicolau is a Distinguished Professor and Chair of the Department of Computer Science at the University of California, Irvine (USA), where he has worked since 1992. He previously held positions as Associate Professor (1988–1992) and Assistant Professor (1984–1988) at UC Irvine and Cornell University, respectively. Education : B.A., Brandeis University (1980) MS (1981), Ph.D. (1984), Yale University Research Interests : A leading expert in parallelizing compilers , high-performance computing , and software-hardware co-design , Nicolau pioneered foundational techniques like Percolation Scheduling and Optimal Loop Parallelization . His work enables efficient exploitation of instruction-level parallelism in general-purpose programs, with applications in embedded systems , matrix algorithms , and GPU-based neural networks . He has also contributed to Electronic Design Automation (EDA) and lightweight synchronization protocols . Scientific Awards : IEEE Fellow (2014) ACM SIGPLAN Most Influential Paper (PLDI 20 years) EDAA/IEEE/ACM DATE Most Influential Paper (10 years) ACM ICS Most Influential Paper (25 years) 4 Best Paper awards (VLSI design 2003, ISHPC 2005, CASES 2008, IJCNN 2009) Advising & Grants : He has mentored notable scholars now at Stanford, McGill, and Google, and secured over $20M in funding from NSF , DARPA , and industry leaders like IBM and Intel . His professional service includes chairing ACM ICS’09 and PPOPP’13, and serving on steering committees for LCPC and ICS. Labs & Collaborations : His techniques have been adopted by IBM Watson, Siemens Munich, Fujitsu Labs Japan, and the open-source GCC compiler.

• Production Systems Engineering
• Software Engineering
• Cyber-Physical Production Systems
• +۴ مورد دیگر

Prof. Dietmar Winkler is a Lecturer at TU Wien's Department of Information Systems Engineering, specializing in Cyber-Physical Production Systems (CPPS) and Software Engineering. His work focuses on integrating safety, security, and quality aspects into production systems through model-driven engineering and agile practices. He contributes to Industry 4.0 initiatives, particularly in asset-based risk mitigation and knowledge graph frameworks for security analysis. Research interests include: production systems engineering, cyber-physical systems, test-driven validation, model integration, and software quality intelligence. His publications emphasize multi-view modeling, traceability pipelines, and empirical studies on test code readability. Recent work explores security-log analysis via knowledge graphs (VloGraph), test scenario validation using design models, and efficient FMEA re-validation in agile environments. He co-leads projects on digital production system safety and coordinates multi-disciplinary engineering artifacts. Active in academic communities, he organizes conferences like Software Quality: The Next Big Thing. His contributions bridge theory and practice in systems engineering, with a focus on improving software development processes in complex industrial settings.

• Healthcare Informatics
• Software Engineering
• Data Interoperability
• +۴ مورد دیگر

Herwig Mayr is a Professor at the University of Applied Sciences Upper Austria, affiliated with the Research Center Hagenberg AIST (Applied Information Systems and Technology). His research bridges healthcare informatics, software engineering, and educational innovation, with a strong focus on practical applications in the Austrian healthcare sector. Research Focus: Healthcare IT systems interoperability (IHE standards, radiology data exchange) Telemedicine frameworks for clinical workflows Innovative pedagogical methods in software engineering education Sustainable ICT solutions and cross-platform accessible interfaces Recent Projects: KIMBO (2015-2016): Collaborative medical board systems for tumor diagnosis WIRE (2013-2014): Radiology image prefetching workflows for ELGA IHE-FIT (2011-2012): Intelligent feedback systems in telehealth Publication Trends: His recent works (2013-2018) demonstrate a consistent focus on healthcare data interoperability standards, telemedicine infrastructure in Austria, and experimental teaching methodologies using tools like LEGO® Serious Play™ for software engineering education.

Stefan Bifflمشاهده پروفایل

دانشیار

• Software Engineering Process Improvement
• Cyber-Physical Production Systems
• Empirical Software Engineering
• +۵ مورد دیگر

Stefan Biffl is an Associate Professor of Software Engineering at Technische Universität Wien's Institute of Information Systems Engineering. He holds MS and PhD degrees in Computer Science from Vienna University of Technology and an MS in Social and Economic Sciences from the University of Vienna. His research focuses on software-intensive systems engineering, particularly in process improvement, quality assurance, and cyber-physical production systems. He has led over €4M in research projects, including the 7-year Christian Doppler Laboratory for Software Engineering Integration. Biffl has authored/co-authored over 250 publications and serves on program committees for top conferences like ICSE and ESEC/FSE. His current roles include co-leading TU Wien's Center for AI and Machine Learning (CAIML) Business group and supervising the Doctoral College on Trustworthy Autonomous Cyber-Physical Systems. Key research areas span systems architecture, empirical software engineering, and digital humanism principles in automation. He has advised major automotive companies like Volkswagen and Neuman Aluminium through the Comet Center for Digital Production. Biffl's involvement in academic organizations includes steering committees for ECSA and SEAA, and他曾担任多个期刊的客座编辑。他的著作包括《基于价值的软件工程》等 Springer 出版的书籍。研究项目注重工业自动化与知识工程的交叉应用，特别是在集体智能系统和 Industry 4.0 领域。 近期项目包括探索 AI 在商业绩效提升中的应用（2025 年）、数字化工单的安全风险分析（与 Secure Business Austria 合作）以及基于数据的汽车生产优化。他的工作强调将人本主义原则融入数字化转型，确保技术进步与社会价值的结合。

Stefan Rassمشاهده پروفایل

استاد

• Security and Risk Management
• Decision and Game Theory for Security
• Security Infrastructures
• +۹ مورد دیگر

Stefan Rass is a full Professor at Alpen-Adria-Universität Klagenfurt (AAU), with additional affiliation at Johannes Kepler University Linz (JKU). He holds the academic title Univ.-Prof. (Universitätsprofessor) and possesses advanced degrees including PD (Privatdozent), Dipl.-Ing. (Diplom-Ingenieur), and Dr. (Doctor). His research spans multiple institutions and projects, with a focus on security and risk management through game theory applications. Professor Rass's research interests center around Security and Risk Management, Decision and Game Theory for Security, Security Infrastructures (including Key Distribution and Management, PKI, and Authentication), Unconditional and network security, Applied Quantum Cryptography, and Complexity Theory and Statistics in Security. His work bridges theoretical computer science with practical security applications, particularly in quantum networks and critical infrastructure protection. His recent publications demonstrate a strong trend toward interdisciplinary security research, combining game theory with quantum cryptography, robotics security, and AI-powered penetration testing. The articles reveal increasing focus on practical applications of theoretical security concepts, with notable work in quantum networks, deniable encryption techniques, robotics security benchmarking, and AI-assisted security testing. His research shows consistent evolution from theoretical foundations toward real-world implementation challenges. Professor Rass leads multiple ongoing research projects including Machine Learning for Risk Management, Safe and Secure Robotic Systems Engineering (SEEROSE), Simulation and analysis of critical network infrastructures in cities (ODYSSEUS), and security for cyber-physical value networks Exploiting smaRt Grid systems (synERGY). These projects, primarily funded by FFG (Austrian Research Promotion Agency), demonstrate his leadership in securing critical infrastructure and developing next-generation security frameworks.

• Formal Methods
• Cyber-Physical Systems
• Probabilistic Programming
• +۴ مورد دیگر

Ezio Bartocci is a Full Professor in Formal Methods for Cyber-Physical Systems Engineering at TU Wien's Faculty of Computer Science. He leads the Trustworthy Cyber-Physical Systems (TrustCPS) Group within the Cyber-Physical System Research Unit. His research focuses on formal verification, probabilistic systems, and runtime monitoring, with applications in autonomous systems, safety-critical software, and embedded systems. Roles & Affiliations: Full Professor, TU Wien (100% research focus) Principal Investigator in projects funded by EU, WWTF, FFG, and industry partners Chair of the Curriculum Commission for Computer Engineering Editor-in-Chief of the Formal Methods in Outer Space series Research Interests: Formal methods for CPS: verification, synthesis, and runtime monitoring Probabilistic programming and loop analysis Temporal logic specifications and mining Automated tools for safety-critical systems (e.g., Polar, MoonLight) Applications in healthcare, robotics, and autonomous vehicles Key Projects: ProbInG (2020–2025): Analyzing probabilistic loops ARTIST (2021–2026): AI and robotics safety EdgeAI (2022–2025): Optimizing embedded processing TAIGER (2023–2027): Trustworthy AI and CPS Grants & Funding: €10M+ secured from EU Horizon 2020, WWTF, FFG, and industry partners like TTTech Auto AG. Academic Leadership: Teaches courses on logical methods, CPS engineering, and scientific research at TU Wien. Supervises PhD students in formal methods and CPS domains. Tools Developed: Polar (probabilistic loop analyzer), MoonLight (spatio-temporal monitoring), and FIM (fault injection tool).

• Software Engineering
• Machine Learning
• Static Code Analysis
• +۳ مورد دیگر

Markus Böck is a PreDoc Researcher at the Software Engineering department of Technische Universität Wien (TU Wien), Austria. His academic work focuses on the intersection of software engineering and machine learning , particularly in performance prediction and probabilistic program analysis . He contributes to automated code analysis and intelligent software systems research. Role: PreDoc Researcher Department: Software Engineering, TU Wien Contact: markus.h.boeck@tuwien.ac.at His research explores: Language-agnostic static analysis of probabilistic programs Context-dependent performance prediction from source code Interactive machine learning systems for software engineering Distributional reinforcement learning applications Code-based performance modeling Program analysis for probabilistic systems Key publication trends include: Advancing probabilistic program analysis (2024-2025) Performance prediction techniques (2022-2023) Reinforcement learning innovations (2020-2022) Application of machine learning to software engineering challenges Game theory algorithm optimization (2025)