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

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

Elena Andreeva is a tenure-track Assistant Professor in the Security and Privacy department at TU Wien. Her research focuses on symmetric cryptography, including authenticated encryption, block ciphers, hash functions, privacy-friendly protocols, and blockchain technologies. She coordinates the Double-Degree Program in IT Security and actively participates in the Faculty Council. Her work emphasizes both theoretical foundations and practical cryptographic solutions for secure data communication and storage. Research interests include designing and analyzing cryptographic algorithms with applications in IoT-to-cloud secure computation, lightweight encryption schemes, and quantum-resistant primitives. Her projects, such as SFB SPyCoDe (2023–2026), explore efficient compression functions and expanding PRFs for arithmetization-oriented hashing. Articles Overview : Recent publications emphasize authenticated encryption schemes (e.g., COLM), pseudorandom number generators (TPRF-based), and novel cryptographic designs like Forkcipher. These contributions address both theoretical security models and practical efficiency in resource-constrained environments. She advises students on master/bachelor theses and internships, fostering the next generation of cybersecurity researchers. Her involvement in curriculum development and interdisciplinary programs underscores her commitment to advancing both academic and applied cryptography.

• Model Engineering
• Electronic Data Interchange
• E-Business
• +۶ مورد دیگر

Christian Huemer is an Associate Professor and Dean of Academic Affairs in the Department of Business Informatics at TU Wien. His research focuses on inter-organizational systems, BIM implementation in tunnel construction, and model-driven integration of manufacturing standards. He holds dual academic titles (Ao.Univ.Prof. Mag.rer.soc.oec. Dr.rer.soc.oec.) and leads the TU Wien's academic affairs while maintaining active research in information systems engineering. Education & Roles: Dean of Academic Affairs, Faculty of Informatics Associate Professor for Business Informatics (E194-03) Research Interests: Prof. Huemer's work spans electronic data interchange (EDI), service sciences, and BIM-based digital transformation in construction. His recent projects include TransIT (tunnel BIM integration) and HoVer (standards framework for Industry 4.0). He emphasizes interdisciplinary collaboration, particularly in integrating BIM with construction processes and manufacturing systems. Publications & Projects: Over 100+ publications since 2004, with recent focus on tunneling digitalization (e.g., BIM compliance checks, data drops) and manufacturing integration (ISA-95/OPC UA). Active in EU-funded projects like BIM im Tunnelbau (2020–2023) and InteGra 4.0. Advising & Grants: Supervised 20+ theses on topics like AR in tunneling, BIM automation, and resilient manufacturing. Key grants include Austrian Research Promotion Agency (FFG) projects on ERP systems ( REAlist ) and tunnel documentation tools ( ebTransfer ). Labs/Teams: Leads TU Wien's Business Informatics Group, collaborating with industry partners such as ÖBB (Austrian Federal Railways) and FMA (Financial Market Authority). Involved in BIM standardization efforts with UN/CEFACT and ISO.

• Cybersecurity
• Operational Technology (OT) Security
• Safety Engineering
• +۳ مورد دیگر

Mukund Padmakarrao Bhole is a Researcher at TU Wien's Faculty of Informatics, Department of Automation Systems. His work focuses on cybersecurity and safety engineering in operational technology (OT) environments, with a particular emphasis on IT/OT integration challenges, IoT device security, and requirements engineering for Industry 4.0 systems. He is affiliated with the TÜV AUSTRIA Security in Industry Research Lab and has collaborated on multiple projects addressing threat analysis, vulnerability detection, and secure system design in industrial automation. Key research contributions include frameworks for fail-fast security evaluation, ontology-based vulnerability detection, and semi-automated requirements engineering methodologies. His work bridges theoretical cybersecurity advancements with practical industrial applications, emphasizing risk mitigation in safety-critical infrastructure. Bhole has published extensively in IEEE conferences and journals, focusing on operational technology security, IoT resilience, and industrial automation. Current research interests include enhancing OT cybersecurity through threat intelligence analysis, developing hybrid IT/OT security solutions, and advancing safety protocols for human-robot collaboration systems. His projects frequently involve collaboration with industry partners to ensure real-world applicability of academic findings.

• Optimization
• Algorithms
• Operations Research
• +۳ مورد دیگر

Georg Brandstätter is an External Lecturer at the Institute of Logic and Computation within the Faculty of Informatics at TU Wien. His academic work focuses on optimization problems, particularly in combinatorial and network-based systems. He holds a Diploma in Engineering (Dipl.-Ing.) from TU Wien, where he also completed his 2015 diploma thesis on the multi-objective Steiner Tree problem with resources. He teaches courses such as Mathematical Programming (VU 186.835) and contributes to research in algorithmic optimization. His expertise bridges theoretical computer science and practical operations research applications. While no grants or labs are explicitly listed, his work reflects engagement with complex resource allocation challenges. Further professional details, including courses and profiles, are accessible via TU Wien’s official portals (TISS and informatics.tuwien.ac.at).

• Formal Methods
• Temporal Logic
• Automata Theory
• +۵ مورد دیگر

Michele Chiari is a PostDoc Researcher at TU Wien's TrustCPS Group led by Prof. Ezio Bartocci. Previously, he was a PhD candidate and PostDoc at Politecnico di Milano's DEIB in the DeepSE group. His primary affiliations include TU Wien and the TrustCPS group, with a focus on formal verification and cyber-physical systems. Education: PhD candidate and PostDoc at Politecnico di Milano's Department of Electronics, Information, and Bioengineering (DEIB). Research interests include formal methods for safety-critical systems, temporal logic, automata theory, model checking for recursive probabilistic programs, infrastructure-as-code modeling (DOML), floating-point computation verification, and approximate computing. Research highlights: Development of POTL (Probabilistic Operator Temporal Logic), model checkers for operator precedence languages (POMC), and contributions to the PIACERE and CORPORA projects. His work bridges theoretical formal methods with practical applications in software engineering and embedded systems. Key projects include leadership of the EU-funded MSCA PF CORPORA project (2023–present) and contributions to the PIACERE H2020 initiative. Collaborations include tools like TAFFO (floating-point precision tuner) and DOML (Infrastructure-as-Code modeling framework). Labs/Teams: Core member of TU Wien's TrustCPS Group and former contributor to Politecnico di Milano's DeepSE Group. Active in conferences like CAV, RV, and CAiSE, with recent service roles on OOPSLA and RV program committees.

• Artificial Intelligence
• Constraint Programming
• Scheduling Algorithms
• +۳ مورد دیگر

Philipp Danzinger is a Researcher at the Technische Universität Wien (TU Wien), affiliated with the Department of Database and Artificial Intelligence under the Faculty of Informatics. He is part of the Christian Doppler Laboratory for Artificial Intelligence and Optimization for Planning and Scheduling, funded by the Christian Doppler Research Association (CDG) from 2017 to 2025. His research focuses on applying artificial intelligence and constraint programming to solve real-world scheduling challenges in industrial test laboratories. Education: BSc and Diplom-Ingenieur (Dipl.-Ing.) in Informatics/Engineering. His work emphasizes optimizing scheduling systems through algorithm design, heuristic methods, and resource allocation strategies. Key contributions include developing automated systems for test laboratory operations and addressing variable task grouping in scheduling problems. Publications highlight advancements in constraint programming for industrial applications, with a focus on practical implementations in laboratory settings. His research bridges theoretical optimization techniques with industrial automation needs. Grants and Projects: Active participation in the ARTIS project (2017–2025), focusing on AI-driven optimization for planning and scheduling. No awards explicitly mentioned, but his contributions align with emerging trends in applied AI research.

• Deontic Logic
• Artificial Intelligence
• Philosophy of Law
• +۳ مورد دیگر

Josephine Femke Dik is a PreDoc Researcher at Vienna University of Technology (TU Wien), affiliated with the Theory and Logic research group (E192-05) in the Faculty of Informatics. Her work bridges deontic logic, artificial intelligence, and Sanskrit philosophy to model nuanced permissions in judicial decision-making and normative systems. Her research focuses on disambiguating permission systems through cross-disciplinary approaches, integrating concepts from ancient Indian Mīmāṁsā philosophy with modern computational logic. This enables more precise modeling of judicial discretion in AI-driven legal frameworks, addressing gaps in ethical AI development and normative reasoning. Dik's publications (2022–2024) reveal a cohesive trajectory: evolving from foundational studies in Mīmāṁsā-based permissions to applied research in judicial AI systems. Her work spans computer science, philosophy, and legal informatics, emphasizing how Sanskrit philosophical frameworks resolve ambiguities in deontic logic for real-world AI applications. No scientific awards were documented in the available information. She actively contributes to major research initiatives including LoDEx (2024–2026) on judicial discretion, TAIGER (2023–2027) for permission disambiguation, and the concluded RTD-Indian project (2017–2022). These involve international collaborations with institutions in Luxembourg, Austria, the Netherlands, Mexico, and Sweden. Dik operates within TU Wien's Theory and Logic group, which specializes in computational logic applications. Her current projects position her at the forefront of culturally informed AI ethics research, with ongoing work exploring Sanskrit philosophical contributions to normative AI systems.

• Satisfiability Modulo Theories
• Automated Reasoning
• Formal Methods
• +۳ مورد دیگر

Clemens Eisenhofer is a PreDoc Researcher at TU Wien's Institute of Logic and Computation within the Faculty of Informatics. His role combines doctoral research with active contributions to multiple funded projects, positioning him at the forefront of SMT solver development and formal methods research. His research centers on advancing Satisfiability Modulo Theories through innovations in bit-vector reasoning, non-classical logics, and custom theory integration. Key focus areas include enhancing Z3's capabilities for word-level operations, embedding proof calculi like connection calculus, and developing user-propagator frameworks. These efforts target practical applications in software verification, program analysis, and constraint solving, with direct implications for reliability-critical systems. Eisenhofer actively contributes to four major research initiatives: ARTIST (2021-2026) on automated reasoning foundations; SFB SPyCoDe (2023-2030) for cyber-physical systems verification; TAIGER (2023-2027) in theorem proving; and ForSmart (2023-2027) for smart contract analysis. These projects provide substantial computational resources and foster international collaborations, though he does not currently supervise students given his PreDoc status. His research operates within TU Wien's Institute of Logic and Computation—a leading European hub for formal methods—leveraging institutional expertise in computational logic and strong industry ties. The institute's collaborative environment supports his work on solver extensions while connecting theoretical advances to practical verification challenges across multiple domains.

• Databases
• Artificial Intelligence
• Machine Learning
• +۳ مورد دیگر

Eva Giralt Steinhauer serves as a Visiting Scientist at TU Wien within the Faculty of Informatics, specifically affiliated with the Databases and Artificial Intelligence research group (Institute of Logic and Computation, E192-02). She is categorized under both External Lecturers and Guest Professors at the institution, indicating her dual role in academic instruction and research collaboration. Her research centers on database systems and artificial intelligence, with particular emphasis on machine learning integration, semantic data modeling, and knowledge representation frameworks. These interests align with contemporary challenges in data-intensive computing, focusing on scalable architectures for AI-driven information systems and advanced query processing techniques. While no specific advising activities or grant projects are documented in the source material, her position within this specialized research unit suggests active participation in collaborative projects addressing next-generation database technologies and AI applications. The Databases and Artificial Intelligence group provides the primary operational context for her scholarly work at TU Wien.

• Computational Social Choice
• Algorithmic Game Theory
• Formal Methods
• +۶ مورد دیگر

Jie He is a PreDoc Researcher at the Department of Cyber-Physical Systems, Technische Universität Wien. His research spans computational social choice, algorithmic game theory, and formal methods in robotics and IoT systems. He works on multidisciplinary problems involving complexity analysis, fair division, and preference modeling. Current projects: EdgeAI (2022–2025), TAIGER (2023–2027), ADEX (2020–2024) Key collaborations: Research with R. Grosu, E. Bartocci, D. Nickovic Research interests focus on computational aspects of collective decision-making , including fair division, matching problems, and preference modeling. He works on both theoretical foundations (e.g., parameterized complexity) and practical applications (e.g., robotic-IoT systems). His publication history reveals deep expertise in computational complexity of social choice problems, with recent work on 3D stable roommates , fair division in graph-structured settings , and preference modeling through Euclidean and Manhattan geometries. As an advisor, he supervised diploma theses on: Optimization strategies for 5G transceivers Dynamic object detection in multi-agent systems His work appears in top conferences like ACM/IEEE DAC, ICSE, and various computational social choice venues.

• Data Science
• Information Security
• Privacy Enhancing Technologies
• +۳ مورد دیگر

Johannes Heurix serves as a Research Fellow within the Data Science group (E194-04) at Vienna University of Technology's Faculty of Informatics. His interdisciplinary work bridges agricultural technology, information security, and semantic web applications, supported by major grants from the European Commission, Austrian Research Promotion Agency (FFG), and Vienna Business Agency. Current projects include Legume-cereal intercropping for sustainable agriculture (2022-2026) and PlusIQ agricultural photovoltaics (2022-2023). His research focuses on three interconnected domains: Sustainable Agriculture: Developing AI-driven digital twins for crop rotation optimization and pre-crop value modeling Privacy Engineering: Pioneering pseudonymization frameworks for healthcare data secondary use Smart Building Systems: Applying semantic web technologies to energy-efficient building design through the SEMERGY project Analysis of his 15 most recent publications reveals a strategic shift from foundational security research (2013-2016) toward agricultural data science (2023-2024), with 60% of recent work addressing climate-resilient farming solutions. Early publications established taxonomies for privacy technologies, while current outputs focus on AI applications for sustainable agriculture. Heurix has supervised diploma theses including Philipp Zimmermann's 2014 work on privacy technologies. His grant portfolio features: €2.1M Legume-cereal intercropping project (European Commission, 2022-2026) PlusIQ photovoltaics integration (FFG, 2022-2023) FarmIT digital agriculture initiative (Vienna Business Agency, 2021) He operates within TU Wien's Data Science research group and collaborates with the SEMERGY consortium, working alongside architects, agricultural scientists, and healthcare institutions to develop practical implementations of his research.

• Software Engineering
• Cryptography
• Programming Languages
• +۲ مورد دیگر

Christoph Hochrainer is a PreDoc Researcher at Technische Universität Wien, affiliated with the Software Engineering department. His academic role involves research in software systems and formal methods, supported by projects like ForSmart (2023–2027) and MirandaTesting (2023–2028). He completed his Diploma in automated reasoning at TU Wien in 2020. His research spans software engineering, cryptography, and programming languages, with specialized interests in fuzzing techniques, architecture description languages, and smart contract security. Recent work emphasizes zero-knowledge circuits, Solidity benchmarking, and macro systems for domain-specific tooling. Christoph's publications consistently explore automated testing and formal verification, with a trend toward practical applications in blockchain and secure software pipelines. He supervises student theses, including work on inconsistency detection in Solidity smart contracts. He contributes to collaborative projects focused on formal methods and software reliability, operating within TU Wien's research units. No scientific awards are documented.

• Business Informatics
• Data Science
• Process Mining
• +۳ مورد دیگر

Marco Huymajer serves as a PreDoc Researcher within the Business Informatics department (E194-03) at the Faculty of Informatics, Vienna University of Technology. He teaches core courses including Information Systems (192.170) and Programming and Algorithms (192.178) for the 2025W semester, operating from Room FB0102 at Erzherzog-Johann-Platz 1. His institutional role centers on bridging informatics and civil engineering through digital solutions for tunnel construction. His research focuses on Business Informatics applications in heavy construction, particularly Building Information Modeling (BIM), process mining, and data analytics for tunneling projects. He investigates algorithmic approaches for residual value prediction of heavy equipment, digital documentation systems, and interdisciplinary BIM integration during tunnel execution phases. This work addresses critical industry pain points in construction process optimization and data-driven decision-making. Analysis of his publication trends reveals a concentrated research trajectory since 2018, with accelerating output from 2022-2025 centered on practical BIM implementations in conventional tunneling. His work consistently targets the integration of data science with civil engineering workflows, demonstrating expertise in translating academic research into construction industry applications through the 'BIM im Tunnelbau' project framework. Funded by the 'BIM im Tunnelbau' research initiative (2020-2023), Huymajer operates without student supervision responsibilities as a PreDoc researcher. His collaborative network includes civil engineering specialists like Galler and Huemer, alongside data science experts including Filzmoser and Mazak, forming a cross-disciplinary team focused on digital transformation in tunnel construction. He actively contributes to the 'BIM im Tunnelbau' project team, which develops integrated information management systems for tunneling processes. This interdisciplinary group combines expertise from informatics, geotechnical engineering, and construction management to create practical digital solutions for the execution phase of NATM tunneling projects, with direct industry implementation pathways.

Luca Acetoمشاهده پروفایل

استاد

• Concurrency Theory
• Process Algebra
• Structural Operational Semantics
• +۳ مورد دیگر

Luca Aceto is a Full Professor at Reykjavik University's Department of Computer Science since 2004. He has held leadership roles, including President of the European Association for Theoretical Computer Science (2012–present) and Head of the Department of Computer Science at Reykjavik University (2007). His research focuses on concurrency theory, logic in computer science, and formal verification. Aceto has received notable awards, including the Reykjavik University Research Award (2012) and induction into the Icelandic Academy of Sciences (2012). Research Interests: Concurrency theory, process algebra, structural operational semantics, modal and temporal logics, and computational complexity of verification problems. Awards: Multiple teaching awards at Aalborg University, Distinguished Dissertation Award (1991), and leadership roles in prestigious academic organizations. Professional Activities: Over 60 program committee roles, co-chairing ICALP and CONCUR, and editorial board memberships. Aceto’s work bridges theoretical foundations with practical verification challenges, contributing to formal methods and concurrency theory. His publications span journals, conferences, and textbooks, including a widely adopted textbook on reactive systems.

Thomas Bäckمشاهده پروفایل

استاد

• Artificial Intelligence
• Evolutionary Computation
• Machine Learning
• +۶ مورد دیگر

Thomas Bäck is a Full Professor at the Leiden Institute of Advanced Computer Science (LIACS), Leiden University, and Chief Scientist at NORCE Norwegian Research Center, Norway. His career spans roles as Director of the Center for Applied Systems Analysis (Germany) and Vice Scientific Director at LIACS (since 2017). He holds additional positions like Adjunct Professor at the University of Calgary and Visiting Professor at Xi'an Jiaotong University. Bäck's research focuses on evolutionary computation, machine learning, and their applications in sustainable smart industry and health. He leads interdisciplinary initiatives like the Society, Artificial Intelligence, and Life Sciences (SAILS) program, with expertise in natural computing, data-driven optimization, and quantum computing challenges. IEEE Fellow (2022) Member of KNAW (2021) IEEE CIS Pioneer Award (2015) Fellow of International Society of Genetic and Evolutionary Computation (2003) Best PhD Thesis Award from German Society of Computer Science (1995) Bäck has graduated 22 PhD students and currently supervises 14, with 62 MSc students mentored. His editorial roles include Editor-in-Chief of the Evolutionary Computation Journal and Associate Editor for multiple journals. He has secured grants from the Dutch Research Council and The Research Council of Norway for projects like ECOLE and CIMPLO.