جستجوی استاد راهنمای دانشگاهی

Christoph H. Lampert is a Professor at the Institute of Science and Technology Austria (ISTA), leading the Machine Learning and Computer Vision (MLCV) Group. His research spans machine learning, computer vision, and trustworthy AI with emphasis on robustness and fairness. He serves as ELLIS Fellow and Unit Director for ISTA's ELLIS unit. His research program focuses on foundational challenges in machine learning including robustness against distribution shifts, fairness in algorithmic decision-making, and verification of neural networks. Key contributions include work on 1-Lipschitz networks for robust classification, multi-source learning frameworks, and federated learning architectures. The group maintains strong output in top-tier venues through theoretical and empirical approaches. Recent publications (2023-2025) demonstrate consistent focus on verification, robustness, and multi-source learning, with notable recognition including the DARPA Disruptive Ideas award for logic gate neural network verification. Work frequently bridges computer vision and machine learning theory, with applications in safety-critical systems. Scientific Awards: ELLIS Fellow DARPA Disruptive Ideas award at NeuS (2025) for "Logic Gate Neural Networks are Good for Verification" Professor Lampert has supervised 12+ PhD students including recent graduates Alex Peste (2023), Nikola Konstantinov (2022), and Mary Phuong (2021), with current advisees including Max Cairney-Leeming and Egor Zverev. His group secures consistent publication placements at NeurIPS, ICML, and ICLR while editing major volumes like "Advanced Structured Prediction" (MIT Press 2015). The MLCV group comprises 10+ members including postdocs and PhD students, operating within ISTA's ELLIS unit (approved 2019). The team maintains active collaborations across Europe through the ELLIS network and regularly hosts visiting researchers.

• Machine Learning
• Computer Vision
• Robust Machine Learning
• +۳ مورد دیگر

Helmut Leder is a Professor at the University of Vienna, specifically within the Faculty of Psychology's Department of Cognition, Emotion, and Methods in Psychology. He serves as Head of the Vienna Cognitive Science Hub, integrating interdisciplinary approaches to study aesthetic experiences and cognitive processes. His academic profile includes teaching courses in General Psychology, Cognitive Psychology, and Neurosciences, alongside supervising master's and doctoral thesis seminars focused on perception and neuroaesthetics. Key Research Areas : Empirical Aesthetics, Cognitive Psychology, Visual Perception, Cross-Cultural Psychology, Urban Art Impact, Mental Imagery Studies Methodological Focus : Eye-tracking, Machine Learning Analysis, Cross-Cultural Comparisons, Field Experiments, Neuroimaging Recent Contributions : Investigated urban art's role in stress reduction, developed network models of aesthetic experiences, explored non-visual color navigation for the blind, and applied machine learning to art evaluation. His work bridges psychology with cultural studies, examining how aesthetic experiences shape well-being and cognitive processes. Current projects emphasize the neural and behavioral distinctions between real and imagined art encounters, while challenging traditional gender-based perception models.

• Empirical Aesthetics
• Cognitive Psychology
• Neuroaesthetics
• +۴ مورد دیگر

Wolfgang Kunz is a Full Professor (C4, W3) and Chair of Electronic Design Automation at the Technische Universität Kaiserslautern since 2001. His academic career spans multiple prestigious institutions, including Goethe-University Frankfurt/Main and the University of Massachusetts, Amherst. He has held leadership roles such as Dean (2005-2007) and Vice-Dean (2007-2009) at TU Kaiserslautern. Habilitation (Dr. rer. nat. habil.), Computer Science, University of Potsdam (1996) Doctoral degree (Dr.-Ing.), Electrical Engineering, University of Hannover (1992) Dipl.-Ing. degree, Karlsruhe Institute of Technology (1989) His research focuses on hardware verification, security, and optimization, particularly in embedded systems and processors. His work on formal verification methods has been commercialized by companies like Synopsys, Mentor Graphics, and Siemens EDA. His 2016-2021 publications address critical security issues such as Spectre/Meltdown and introduce innovative verification frameworks adopted by industry leaders like Infineon and OneSpin Solutions. Scientific awards include the IEEE Fellow (2006), German IT Society Award (2005), and TU Kaiserslautern Distinguished Teaching Award (2016). He has served on editorial boards of major journals and coordinated the Erasmus Mundus European Master Program in Embedded Computing Systems since 2010. Key students: Jörg Bormann, Raik Brinkmann, Tobias Ludwig Collaborations: Siemens EDA, Infineon, AbsInt, Intel SCAP Spin-offs: LUBIS EDA, OneSpin Solutions

• Hardware Safety and Security
• Formal Hardware Verification
• Embedded Computing Systems
• +۵ مورد دیگر

Professor Marta Zofia Kwiatkowska is Professor of Computing Systems and Fellow of Trinity College at the University of Oxford, where she has held a faculty position since 2007. She previously served as Professor of Computer Science at the University of Birmingham (2001–2007), Reader and Lecturer at the University of Birmingham (1994–2001), and Lecturer at the University of Leicester (1986–1994). Her academic career began as Assistant Professor at the Jagiellonian University in Kraków, Poland (1980–1988). Education: BSc/MSc in Computer Science, Jagiellonian University, Kraków MA, University of Oxford PhD, University of Leicester Research Interests: Professor Kwiatkowska spearheaded the development of probabilistic and quantitative verification methods on the international stage. Her work bridges theory and practice through the PRISM model checker—the leading software tool in probabilistic model checking—used worldwide for research and teaching. Application domains include communication and security protocols , nanotechnology designs , power management , ubiquitous computing and systems biology . She investigates automated verification , temporal logics , semantic models for concurrency , real-time systems , and biological process modelling . Current grant funding exceeds £3.7 million from EPSRC, EU and ERC, including the prestigious ERC Advanced Grant VERIWARE. Scientific Awards & Honours: Fellow of the Royal Society Fellow of the ACM Fellow of the European Association for Theoretical Computer Science (EATCS) Fellow of the British Computer Society (BCS) Fellow of the Polish Society of Arts & Sciences Abroad ERC Advanced Grant VERIWARE (€2.046 M, 2010–2015) Top Cited Article Award, Theoretical Computer Science (2005–2010) Best Paper Award, QEST 2006 Doctoral Supervision & Grants: Professor Kwiatkowska actively supervises doctoral students (D.Phil. at Oxford) and post-doctoral researchers. She welcomes applications in areas aligned with her research interests, detailed here . Current students include Charlie Griffin, Daqian Shao, Matthew Yuan and Minghao Liu; past students and researchers number over twenty, many now in faculty or industry leadership roles. Laboratory & Teams: She leads the Oxford Quantitative Verification group within the Department of Computer Science. Ongoing projects include FUN2MODEL, ELSA, FAIR and the flagship PRISM probabilistic model checker. The group maintains strong collaborations with biological, robotics and engineering teams worldwide.

• Automated verification
• Probabilistic model checking
• Temporal logics
• +۳ مورد دیگر

Matteo Maffei is a Full Professor at TU Wien, leading the Security and Privacy group. He joined in 2017 after 11 years at Saarland University's CISPA. He holds a Ph.D. in Computer Science from Ca’ Foscari University of Venice (2006). He coordinates the TU Wien Cybersecurity Center, the SecInt Doctoral School, and the FWF Special Research Program SPyCoDe. His research focuses on formal methods for security and privacy, blockchain technologies, and web security. Roles: Full Professor, Coordinator of TU Wien Cybersecurity Center, Module Head of Christian Doppler Lab for Blockchain Technologies (CDL-BOT), Board Member of Vienna Cybersecurity and Privacy Research Cluster (ViSP). His work emphasizes formal verification of cryptographic protocols, smart contracts, and decentralized systems. Key achievements include ERC Advanced (2024) and Consolidator (2018) Grants, and leadership roles in conferences like IEEE Computer Security Foundations Symposium (CSF). Research Interests: Formal methods, smart contracts, blockchain scalability, web security, privacy-preserving protocols, and decentralized systems. His recent projects include optimizing Lightning Network channels, secure multi-hop payments, and AI-driven robustness verification. Publications: Over 200 publications in top venues like CCS, IEEE S&P, and CRYPTO. Recent work includes advancements in blockchain interoperability (e.g., Alba bridges), light client protocols (Blink), and neural network verification techniques. Grants & Awards: ERC Advanced Grant (2024), ERC Consolidator Grant (2018), DFG Emmy Noether Fellowship (2009). Led projects funded by EU Horizon, FWF, and industry partners like ABC Research GmbH. Advising & Labs: Supervised over 20 PhD/Master theses. Active in the Christian Doppler Lab for Blockchain Technologies and the SPyCoDe SFB. Collaborates with institutions like SBA Research and Stanford University.

• Computer Security
• Cryptography
• Privacy
• +۴ مورد دیگر

Joseph Sifakis is a CNRS Research Director and founder of Verimag Laboratory in Grenoble, France. He holds the INRIA-Schneider endowed industrial chair since 2008 and has been instrumental in advancing concurrent systems specification and verification. Education: Electrical Engineering (Technical University of Athens), Computer Science (University of Grenoble) Research interests focus on component-based design , real-time systems , and correct-by-construction techniques . He pioneered the development of the BIP framework and contributed to model checking, a cornerstone of industrial system verification. Recent publications emphasize component-based modeling, formal verification, and distributed system design, reflecting his work's impact on embedded systems and critical applications like aerospace and telecommunications. Scientific awards include: Turing Award (2007) CNRS Silver Medal (2001) Test-of-Time Award (2012) Multiple honorary doctorates (2008-2011) Member of prestigious academies Industry collaborations span Airbus, ST Microelectronics, and the European Space Agency, with applications in aeronautics, telecommunications, and industrial software standards. He leads the ARTIST2 Network of Excellence and directs the CARNOT Institute 'Intelligent Software and Systems'.

• Model Checking
• Concurrent Systems Specification and Verification
• Component-Based Design
• +۳ مورد دیگر

Dr. Borivoje Dakic is an Associate Professor at the University of Vienna , affiliated with the Faculty of Physics and the Quantum Optics, Quantum Nanophysics and Quantum Information department. His research spans foundational and applied aspects of quantum theory. Operational reconstruction of quantum formalism Quantum interference as a resource for communication Tomography of large-scale quantum systems Macroscopic quantum phenomena His work includes scalable verification techniques for quantum devices and collaborations with experimental teams like Philip Walther’s and Markus Aspelmeyer’s groups. He received the Marko Jarić Prize (2025) for his contributions. Recent projects focus on diagnostics of quantum devices (FWF BeyondC SFB), information-theoretic foundations of quantum interference (FWF P36994), and local operations in quantum field theory (Cluster of Excellence QuantA). His research on quantum coherence in networks and macroscopic entanglement challenges traditional assumptions about quantum-classical boundaries. Publications emphasize resource-efficient tomography, device-independent verification, and foundational frameworks for quantum statistics and field theory. Teaching: Quantum Information (2025W), Theory in Quantum Optics (2025S), VCQ Summerschool Labs: Dakić Group at University of Vienna

• Quantum Information Theory
• Quantum Foundations
• Quantum Tomography
• +۵ مورد دیگر

Luca Cardelli is a Principal Researcher and Assistant Director at Microsoft Research Cambridge, UK, since 1997. He holds visiting professorships at Imperial College London (Department of Computing, 2004–2009) and the University of Trento (2005–2007). He earned his PhD in Computer Science from the University of Edinburgh in 1982. His research spans type theory , molecular programming , and principles of programming languages , with applications to systems biology and concurrency theory. Notable contributions include formal frameworks for modeling biochemical systems (e.g., the stochastic π-calculus) and designing DNA-based circuits. Key achievements include the AITO Dahl-Nygaard Senior Prize (2007) and multiple Most Influential Paper Awards at POPL and ETAPS. His work bridges computer science and biology, advancing both theoretical foundations and practical molecular computing.

• Type theory
• Systems biology
• Principles of programming languages
• +۳ مورد دیگر

Demirdache Hamida is a Full Professor of Linguistics at Nantes University and Director of the Nantes Linguistics Lab (LLING UMR 6310, CNRS). She holds a PhD from MIT (1991) and Habilitation à diriger des recherches from Nantes University (2003). Her research focuses on syntax-semantics interfaces, linguistic diversity, and formal syntactic theory with emphasis on Semitic languages and under-represented languages like Salish. She has pioneered experimental methodologies to probe logical form syntax, particularly in studies of temporal anaphora, distributivity, and quantification. Leadership roles: Founded LLING lab in 2004, elevated to CNRS status in 2016 Research grants: Coordinator of ANR-DFG projects (2022-2025), CHILL serious game initiative (2018-2021) Awards: Palmes académiques (2011), Descartes-Huygens Prize (2003), multiple PEDR/PES excellence awards Her experimental work bridges theoretical syntax and empirical child language studies, with recent focus on cross-linguistic variation in telicity and scalar implicatures. Supervised 15 PhD theses (including 3 double-doctorates) and 54 master’s theses. Active in international research networks including the Van Riemsdijk Foundation and Carnot Cognition Institute. LLING lab specializes in formal linguistics with particular expertise in: syntax-semantics interfaces, multilingualism, and experimental methods. Current projects investigate Boolean connectives (FRAL project), heritage language maintenance (AThEME EU project), and logical language acquisition through game-based learning (Cool Boole School).

• Syntax
• Semantics
• Linguistic Diversity
• +۶ مورد دیگر

Dr. Alexander Linsbichler serves as Senior Postdoc and Principal Investigator at the Institute of Philosophy and Scientific Method at Johannes Kepler University Linz. He leads the FWF ESPRIT project 'Adverse Allies: Logical Empiricism and Austrian Economics' and will assume Principal Investigator duties for the OeNB (Austrian National Bank) Anniversary Fund Project 'Carl Menger as a Central Banker?' starting January 2025. Concurrently, he holds faculty appointments at the Vienna Doctoral School of Philosophy (University of Vienna) and the Department of International Economics (Vienna International School), and lectures at multiple economics departments across Vienna and Graz institutions. Dr. Linsbichler earned his doctorate in Philosophy from the University of Vienna with highest distinction in September 2020 through the Doctoral Program 'The Sciences in Historical, Philosophical and Cultural Contexts.' His academic foundation includes an MA in History and Philosophy of Science (2014) and a Mag.rer.nat. in Mathematics: Mathematical Logic and Foundations (2012), both completed with highest distinction from the University of Vienna and Vienna University of Technology. His research centers on the philosophical foundations of economics, with particular emphasis on the Austrian School of Economics within historical context. Dr. Linsbichler investigates the complex relationship between Logical Empiricism and Austrian Economics, the evolution of economic methodology, and the history of economic thought from Viennese Enlightenment through 20th century debates. His work frequently examines intellectual connections between figures like Otto Neurath, Ludwig von Mises, and members of both the Vienna Circle and Mises Circle, challenging conventional narratives about these philosophical and economic traditions. Analysis of his recent publications reveals a scholarly trajectory focused on re-examining foundational assumptions in economic thought, particularly regarding the socialist calculation debates, the role of formal methods in economics, and the historical development of Viennese economic philosophy. His interdisciplinary approach integrates philosophy of science, economic methodology, and historical analysis to provide nuanced perspectives on longstanding debates in economic theory. 2nd place RHETM Paper Prize 2020 for 'Rationalities and Their Limits: Reconstructing Neurath's and Mises's Prerequisites in the Early Socialist Calculation Debates' As Principal Investigator of major research projects funded by the Austrian Science Fund (FWF) and the Austrian National Bank, Dr. Linsbichler manages substantial research resources. His FWF ESPRIT project 'Adverse Allies' explores historical connections between Logical Empiricism and Austrian Economics, while his upcoming OeNB project will investigate Carl Menger's central banking contributions. These projects demonstrate his ability to secure competitive funding and lead interdisciplinary research teams examining foundational questions in economic thought. Dr. Linsbichler actively participates in multiple research initiatives including 'Adverse Allies: Logical Empiricism and Austrian Economics' (FWF), 'Carl Menger as a Central Banker?' (OeNB), and 'Normative Framework for Measuring Lifespan Inequity' (NORM_LIFE). These projects unite scholars from philosophy, economics, and history to investigate methodological questions in economic theory and policy formation, with particular attention to how philosophical frameworks shape economic reasoning.

• Philosophy of Economics
• History of Economic Thought
• Austrian School of Economics
• +۵ مورد دیگر

Roman Obermaisser is a Professor at the Vienna University of Technology (TU Wien), affiliated with the Cyber-Physical Systems department. His research focuses on real-time systems, system architectures, communication protocols, safety-critical systems, distributed algorithms, and fault-tolerance. He holds a PhD in Computer Science from TU Wien, awarded in 2003 for his work on integrated architectures for control paradigms. His academic contributions span over two decades, with publications in top-tier conferences and journals. Key research themes include time-triggered architectures (TTA), fault containment in embedded systems, and integration of heterogeneous communication protocols like CAN and Ethernet. He has supervised numerous graduate students, contributing to advancements in system-on-chip (SoC) design, transient-resilient architectures, and diagnostic frameworks for real-time systems. Obermaisser’s work emphasizes practical applications in automotive and industrial systems, addressing challenges such as scalability, reliability, and composability. His involvement in projects like GENESYS and DECOS highlights his role in developing cross-domain reference architectures for embedded systems. Recent efforts include evaluating ontology-based reconfiguration and COTS-based Ethernet solutions for safety-critical networks. His articles reflect a focus on real-time communication protocols, fault-tolerant design, and system integration, with applications ranging from automotive networks to smart transducers. Advising over 20 students underscores his commitment to nurturing the next generation of embedded systems researchers.

• Real-Time Systems
• System Architectures
• Communication Protocols
• +۳ مورد دیگر

Peter Zoller is a Professor of theoretical physics at the University of Innsbruck and Scientific Director at IQOQI Innsbruck (Austrian Academy of Sciences). His research focuses on quantum optics, many-body quantum physics, and quantum information science, with a strong emphasis on quantum simulation of gauge theories and atomic systems. He has trained 34 PhD students and hosted 57 postdoctoral researchers, fostering collaborations between theory and experiment. His group, the Zoller Group, explores quantum phenomena such as lattice gauge theories, entanglement dynamics, and topological order using advanced quantum simulation techniques. Key research interests include atomic physics, quantum gases, and applications of quantum technologies to high-energy physics problems. Recent work addresses string breaking in quantum simulators, entanglement Hamiltonians, and scalable architectures for fermionic quantum processors. Collaborations span institutions like Harvard, MIT, and the University of Innsbruck’s experimental teams. His contributions bridge foundational physics with cutting-edge quantum technologies, aiming to solve problems inaccessible to classical methods.

• Theoretical Physics
• Quantum Optics
• Many-Body Quantum Physics
• +۳ مورد دیگر

Stefan Woltran is a Full Professor in the Databases and Artificial Intelligence department at TU Wien. He serves as Vice Dean of Academic Affairs for the Informatics Master program and leads the Research Unit for Databases and Artificial Intelligence. His research focuses on logic-based AI, including Propositional Logic, Nonmonotonic Reasoning, Argumentation frameworks, Knowledge Representation, and Logic Programming. He coordinates the Double-Degree Program Logic and Computation. His research projects include analyzing formal properties of logic-based AI approaches, complexity analysis, and developing algorithms via logic and dynamic programming. Notable projects include the HYPAR and REVEAL-AI initiatives exploring abstract argumentation and AI problem-solving. He has contributed to over 150 publications since 2001, focusing on argumentation frameworks, computational complexity, and formal methods. Woltran teaches courses such as Abstract Argumentation, Formal Methods in Computer Science, and Theoretical Computer Science. His work integrates theoretical advancements with practical solver development, such as the ASPARTIX system for argumentation tasks. He actively participates in international conferences and competitions in computational argumentation, emphasizing the application of formal methods to real-world problems.

• Artificial Intelligence
• Nonmonotonic Reasoning
• Argumentation Frameworks
• +۴ مورد دیگر

Victor Vianu is a Professor of Computer Science and Engineering at the University of California, San Diego and holds the INRIA International Chair at INRIA-Saclay in Paris. He has maintained continuous faculty status at UC San Diego since 1983 while developing extensive international collaborations, particularly with French research institutions including INRIA, ENST-Paris, ENS-Paris, and the University of Paris. His academic credentials include a Ph.D. in Computer Science from the University of Southern California (1983) and undergraduate studies in Mathematics and Informatics at the University of Bucharest (1974-1977). Professor Vianu's research spans computational logic, database systems and theory, and automatic verification. His work uniquely bridges theoretical foundations with practical applications in XML processing, workflow systems, and data-driven applications. He has made seminal contributions to understanding the theoretical underpinnings of database query languages and their expressive power, particularly in the context of XML technologies and workflow systems. His research demonstrates a consistent trajectory from theoretical computer science to practical database systems applications. His publication record reveals significant contributions to database theory spanning over three decades, with particular emphasis on XML technologies, workflow systems, and formal methods for data-driven applications. His work shows a clear evolution from foundational theoretical work to practical applications in business processes and web technologies. INRIA International Chair (2013) Fellow of the American Association for the Advancement of Science (AAAS) (2013) ACM PODS Alberto O. Mendelzon Test-of-Time Award (2010) Fellow of the Association for Computing Machinery (ACM) (2006) Professor Vianu has held significant leadership roles including Editor-in-Chief of the prestigious Journal of the ACM, numerous program committee chair positions for major database conferences (PODS, ICDT, ASIAN), and General Chair for ACM SIGMOD conferences. He has served on the executive committees of SIGMOD (1998-2000) and PODS (1993-2004), and was a member of the ICDT Council (1997-2007), demonstrating sustained influence in the theoretical database community. His extensive invited talks at major conferences including College de France, ACM PODS, and International Conference on Database Theory highlight his international recognition.

• Computational Logic
• Database Systems
• Database Theory
• +۴ مورد دیگر

Bernhard Aichernig is an Associate Professor at the Institute of Software Engineering and Artificial Intelligence. His work bridges formal methods, model-based testing, and artificial intelligence, with a focus on automata learning, digital twins, and AI-assisted programming. Institution: Institute of Software Engineering and Artificial Intelligence Key Research Areas: Model-Based Testing, Automata Learning, AI-Driven Verification His research explores the integration of machine learning into formal verification, enabling scalable testing of complex systems like IoT devices and reinforcement learning agents. Recent projects include AI-Augmented DevOps frameworks (AIDOaRT) and digital twin validation (LearnTwins). Notable scientific awards include multiple best paper recognitions at SEFM (2020, 2021) and the TAYSIR Competition first place (2023). His publications emphasize hybrid approaches combining genetic programming, SMT solving, and neural networks for system modeling. 2025 : AI-assisted programming, timed automata via domain knowledge 2024 : Stochastic environment modeling, Git system learning 2023 : Reinforcement learning under partial observability, digital twins for VPN servers He actively contributes to testing frameworks like AALpy and investigates explainable AI for fault diagnosis in cyber-physical systems.

• Model-Based Testing
• Automata Theory
• Machine Learning
• +۵ مورد دیگر