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

Marta Zofia Kwiatkowskaمشاهده پروفایل

استاد

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

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.

Moncef Gabboujمشاهده پروفایل

استاد

• Machine learning
• Artificial intelligence
• Signal processing
• +۹ مورد دیگر

Professor Moncef Gabbouj is a distinguished academic and researcher currently serving as Professor of Signal Processing at the Department of Computing Sciences, Faculty of Information Technology and Communication Sciences, Tampere University, Finland. Previously, he held the same position at Tampere University of Technology before the merger in 2019. He has also held visiting professorships at prestigious institutions including Hong Kong University of Technology and Science, University of Southern California, and Purdue University. Ph.D. and MSc. in Electrical Engineering from Purdue University, USA (1989 and 1986) B.Sc. in Electrical Engineering from Oklahoma State University, USA (1985) Prof. Gabbouj's research spans multiple domains within signal and image processing, with a strong focus on machine learning applications. His primary research interests include artificial intelligence, machine learning, Big Data analytics, multimedia content-based analysis, indexing and retrieval, nonlinear signal and image processing, voice conversion, and video processing and coding. His work bridges theoretical advancements with practical applications across various industries, particularly in multimedia communications and biomedical applications. His extensive publication record demonstrates a clear evolution from traditional signal processing techniques toward more sophisticated machine learning and deep learning approaches. Recent work shows increasing focus on convolutional neural networks for various applications including ECG classification, video processing, financial time-series analysis, and image recognition tasks, reflecting the broader trend in the field toward deep learning methodologies while maintaining strong foundations in signal processing theory. IEEE Fellow (2011) Member, Finnish Academy of Science and Letters (2014) Knight, First Class, of the Order of the White Rose of Finland (2006) Nokia Foundation Recognition Award (2005) Nokia Foundation Visiting Professor Award (2012) Finnish Cultural Foundation for Art and Science Award (2017) TUT Foundation Grand Award (2015) Prof. Gabbouj has supervised 64 doctoral and 72 Master's theses, demonstrating his significant contribution to academic mentoring. His research has been supported by substantial funding, including research grants totaling 8.5 million Euro (2001-2015). He has served as Academy of Finland Professor during 2011-2015 and has been involved in numerous EU research projects including Horizon, ESPRIT, HCM, IST, COST, Tempus and Erasmus programs. As Editor, Guest Editor or member of the Editorial Board of 6 international scientific journals, he has significantly influenced the academic discourse in his field. He leads the Signal Analysis and Machine Intelligence (SAMI) research group at Tampere University and serves as the Finland Site Director of the NSF IUCRC funded Center for Visual and Decision Informatics. His research unit focuses on applying advanced machine learning techniques to solve complex problems in signal processing, computer vision, and multimedia analytics, with applications ranging from healthcare to multimedia communications and financial analysis.

• Analog and mixed-signal integrated circuit design
• Computer-aided design (CAD) of electronic circuits
• Design automation (EDA)
• +۵ مورد دیگر

Georges Gielen is Full Professor in the Department of Electrical Engineering (ESAT) at KU Leuven, Belgium, and part-time Research Director at imec. He has held multiple leadership roles including Chair of ESAT Department (2012-2013, 2020-2024) and Vice-Rector for Science, Engineering & Technology (2013-2017). His academic career spans over 30 years at KU Leuven, progressing from Assistant to Full Professor. His research focuses on analog and mixed-signal integrated circuit design automation , with expertise in CAD tools, design optimization, sensor interfaces, and neuromorphic systems. His work bridges hardware design with machine learning, particularly in hardware-efficient AI implementations and biomedical applications. He has pioneered techniques for automated analog circuit sizing, topology synthesis, and reliability-aware design in nanometer CMOS. Gielen has received numerous accolades including the IEEE CAS Mac Van Valkenburg Award (2015), IEEE CAS Charles Desoer Award (2020), and EDAA Achievement Award (2021). He holds an ERC Advanced Grant AnalogCreate and is an IEEE Fellow since 2002. As a prolific scholar, he has chaired major conferences including DATE (2006), ICCAD (2007), and ESSCIRC (2017). He has graduated over 55 PhD students through the MICAS research group at KU Leuven, currently supervising 13 doctoral candidates. His research team collaborates extensively with imec and industry partners on cutting-edge projects in carbon-aware AI accelerators, uncertainty-aware design, and neuromorphic sensor interfaces.

Ana Sokolovaمشاهده پروفایل

استاد

• Computer Science
• Theoretical Computer Science
• Formal Methods
• +۳ مورد دیگر

Ana Sokolova is a Professor in the Department of Computer Science at the University of Salzburg. She is affiliated with the Faculty of Digital and Analytical Sciences and actively contributes to research in theoretical computer science. University: University of Salzburg Faculty: Faculty of Digital and Analytical Sciences Department: Computer Science Email: ana.sokolova@plus.ac.at Her research focuses on probabilistic systems , concurrency theory , convex algebras , and formal verification . This work bridges theoretical foundations with practical applications in distributed computing and programming semantics. Recent publications highlight advancements in trace semantics , determinization , probabilistic anonymity , and coalgebraic modeling . Key trends include the integration of Markov chains , nondeterministic systems , and algebraic structures for formal verification.

Efstathia Buraمشاهده پروفایل

استاد

• Dimension Reduction in Regression
• High-Dimensional Statistics
• Multivariate Analysis
• +۵ مورد دیگر

Efstathia Bura is a Professor heading the Applied Statistics Research Unit (ASTAT) within the Institute of Statistics and Mathematical Methods in Economics at TU Wien's Faculty of Mathematics and Geoinformation. Her research focuses on dimension reduction techniques in regression and classification, high-dimensional statistics, and their applications in biostatistics, econometrics, and legal statistics. She leads projects like ProbInG (WWTF-funded) and the SecInt Doctoral College on statistical verification of cyber-physical systems. Her work integrates advanced statistical methodologies with interdisciplinary applications, emphasizing practical solutions for complex data challenges. Current projects explore probabilistic program analysis, security properties in cyber-physical systems, and dynamic econometric modeling. She collaborates internationally, with notable contributions to statistical theory and applications in law, healthcare, and telecommunications. Key research themes include time-varying regression models, sufficient dimension reduction for mixed predictors, and fusion of statistical methods with machine learning. Her publications bridge theoretical advancements and real-world problem-solving, reflecting her role as a leading academic in modern applied statistics. Her team includes postdocs and assistants working on WWTF and SecInt grants, focusing on probabilistic systems and statistical verification. While no formal student advisees are listed, her collaborative projects engage junior researchers in cutting-edge statistical research.

Joost-Pieter Katoenمشاهده پروفایل

استاد

• Model Checking
• Formal Verification
• Probabilistic Models
• +۵ مورد دیگر

Joost-Pieter Katoen is a full Professor at RWTH Aachen University and Head of its Computer Science Department since 2012. He also holds a part-time (20%) Professorship at the University of Twente . His research focuses on model checking , probabilistic verification , formal semantics , and software verification , with applications in aerospace systems. His work has led to significant tools like MRMC (probabilistic model checker), COMPASS (AADL analysis tool-set), and libalf (learning automata library). He has authored over 18 international projects (total €5.2 million) and graduated 12 PhD students. Scientific Awards : Member, German National Academy of Sciences (Leopoldina), 2024 ACM Fellow, 2020 ERC Advanced Grant, 2018 Honorary doctorate, Aalborg University, 2017 Teaching Award, RWTH Aachen, 2010 Philips Early Career Development Award, 1988 Research Trends (from articles): His recent work spans probabilistic program verification , quantitative game theory , Markov chain analysis , and parameter synthesis for stochastic systems, with applications in AI, quantum computing, and fault tree analysis. Leadership & Service : Katoen co-founded the QEST conference , chairs ETAPS steering committee, and has led numerous program committees (CONCUR, TACAS, QEST). He has served on editorial boards and organized conferences/seminars globally.

• Probabilistic Combinatorics
• Extremal Combinatorics
• Random Structures
• +۱ مورد دیگر

Michael Krivelevich is a Full Professor at the School of Mathematical Sciences, Tel Aviv University, holding this position since 2005. He previously served as Associate Professor (2002-2005) and Senior Lecturer (1999-2002) at the same institution. From 2015 to 2020, he acted as Dean of the Faculty of Exact Sciences at Tel Aviv University. Research Interests: Probabilistic and extremal combinatorics Random structures Applications of combinatorics to computer science Scientific Contributions: Authored two books: Positional Games (2014) and Random Graphs, Geometry and Asymptotic Structure (2016) Published over 200 research papers in combinatorics and related fields Editor-in-Chief of the Journal of Combinatorial Theory Series B (JCTB) Recognitions: Clay Lecturer (2019) Fellow of the American Mathematical Society (2017) Invited Speaker at ICM (2014) Pazy Memorial Award (2007) Academic Leadership: Dean of Faculty of Exact Sciences (2015-2020) Supervised 9 PhD and 16 MSc students at Tel Aviv University

• 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.

• 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.

Gabriel Ciobanuمشاهده پروفایل

استاد

• Membrane Computing
• Natural Computing
• Distributed Systems
• +۶ مورد دیگر

Gabriel Ciobanu is a Professor at Alexandru Ioan Cuza University of Iasi, Romania, and a Senior Researcher at the Romanian Academy, Iasi. He has held various academic positions internationally including as a Visiting Professor at Newcastle University (UK) from 2010-2015 and as a Research Fellow/Professor at the National University of Singapore (2000-2004). His educational background includes PhD studies at A.I.Cuza University and Edinburgh University (1990-1994) under the mentorship of Robin Milner, and his undergraduate studies in the Faculty of Mathematics and Computer Science at A.I.Cuza University of Iasi (1977-1982). Professor Ciobanu's research focuses on Membrane Computing and Natural Computing , Distributed Systems Models including process calculi with emphasis on semantics, behavioral equivalences, logics, and verification. He has made significant contributions to bridging membrane computing and process calculi, and to the Foundations of Mathematics and Computer Science through his work on Finitely Supported Mathematics. His research has applications in theoretical computer science, formal methods, and computational biology. His publication record shows a consistent research trajectory focusing on theoretical computer science with applications to natural computing, membrane systems, process calculi, and finitely supported structures. Recent work (2023-2025) continues to explore these areas with increasing focus on multi-agent systems, continuation semantics, and applications to medical systems and reaction systems. Scientific Awards and Recognition 2013 Grigore Moisil Award, Romanian Academy (as co-author of "Mobility in Process Calculi and Natural Computing", Springer) 2010-2013 Member of the National Research Council (CNCS) in Romania 2008-2010 Royal Society of London Joint International Project (Newcastle University, School of Computing) 2004 Octav Mayer Award for Scientific Achievements, Romanian Academy of Sciences, Iasi branch 2000 Grigore Moisil Award of the Romanian Academy of Sciences for results in Theoretical Computer Science 1995-1996 Japan Society for the Promotion of Science Fellowship (Tohoku University and Kyoto University) 1994 DAAD Research Fellowship (Institute of Computer Science, University of Kiel) 1991-1992 Royal Society of London and Romanian Academy Fellowship (University of Edinburgh) Professor Ciobanu has supervised 8 PhD students and numerous master's students. He has served as Editor-in-Chief of the Scientific Annals of Computer Science since 2006 and has been a guest editor for special issues of several international journals. He has collaborated with researchers from numerous countries including UK, France, Netherlands, Spain, Italy, Russia, China, Singapore, and India. He has been involved in various research projects and has spent research periods at prestigious institutions worldwide including Edinburgh University, Universite de Paris XI, CWI and VU Amsterdam, Tohoku and Kyoto University, National University of Singapore, and Newcastle University.

• Formal Verification
• Probabilistic Systems
• Game Theory
• +۵ مورد دیگر

Krishnendu Chatterjee is a Professor at the Institute of Science and Technology Austria (IST Austria) , Department of Computer Science. His research spans formal verification, probabilistic systems, game theory, and evolutionary dynamics, with over 300 peer-reviewed publications in top venues such as DISC, AAAI, LICS, PNAS, Nature , and Journal of the ACM . His research focuses on developing theoretical foundations and practical algorithms for analyzing complex systems, including Markov decision processes, stochastic games, probabilistic programs, and evolutionary models. He has made significant contributions to topics such as reachability analysis, termination of probabilistic programs, synthesis of controllers, and evolutionary game dynamics. Chatterjee's work is highly interdisciplinary, bridging computer science, mathematics, and biology. He has collaborated extensively with leading researchers worldwide and has been involved in editorial roles and program committees for major conferences in formal methods and theoretical computer science.

Warner Marzocchiمشاهده پروفایل

استاد

• Seismic Hazard Analysis
• Volcanic Hazard Analysis
• Earthquake Forecasting
• +۳ مورد دیگر

Warner Marzocchi is Professor of Geophysics and Natural Hazard Forecasting at the University of Naples Federico II and Scuola Superiore Meridionale. He holds a PhD in Physics (1992) and a degree in Earth Sciences (1987) from the University of Bologna. Previously, he served as Chief Scientist at the Istituto Nazionale di Geofisica e Vulcanologia (2003-2018) and held visiting positions at the University of Southern California and the Institute of Statistical Mathematics in Tokyo. His research focuses on seismic/volcanic hazard analysis, earthquake forecasting, statistical seismology, and hazard model validation. He coordinates international projects in natural hazard assessment and serves on advisory panels including the International Atomic Energy Agency, US National Seismic Hazard Model, and Global Volcano Model. Marzocchi's recent publications demonstrate advances in probabilistic forecasting models, operational earthquake forecasting systems, and statistical validation methods. His work frequently applies machine learning and complex systems theory to seismic and volcanic processes across Italy, California, and New Zealand. Honors: Ranked among world's top 2% scientists (2019-present) Member of Academia Europaea (2018) Editorial awards from Geophysical Journal International (2010) and Geophysical Research Letters (2003) He teaches graduate courses in geophysics, statistics, and hazard forecasting, and has advised numerous PhD students. He leads research teams focused on seismic risk mitigation and volcanic unrest management.

• Cyber-Physical Systems
• Hybrid Systems Verification
• Formal Methods
• +۳ مورد دیگر

Stefan Alexander Schupp is a researcher affiliated with the Department of Cyber-Physical Systems at Technische Universität Wien (TU Wien). His work focuses on formal verification, hybrid systems, and controller synthesis for cyber-physical systems. Department: Cyber-Physical Systems (E191-01) Research Affiliation: TU Wien Network Lab Research interests include: Hybrid and stochastic system verification Controller synthesis for real-time systems Formal methods in software engineering Design and analysis of safety-critical systems Automated model checking techniques Flowpipe construction for reachability analysis Recent publications highlight collaborations with researchers from multiple institutions, covering topics such as: Hyperproperty verification in distributed systems Metric Temporal Logic (MTL) controller synthesis Adaptive simplex architectures for bounded-liveness properties Stochastic hybrid automata analysis tools HyPro verification tool developments Probabilistic reachability optimization

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

استاد

• Logic in Computer Science
• Knowledge Representation
• Description Logics
• +۴ مورد دیگر

Prof. Franz Baader is a Full Professor for Automata Theory and Director of the Institute of Theoretical Computer Science at TU Dresden, Germany. He has held academic leadership roles including Dean of the Faculty of Computer Science (2012–2015). His research focuses on Logic in Computer Science, Knowledge Representation, and Description Logics. He has published extensively in top venues and received prestigious awards like the Herbrand Award (2020). His contributions include foundational work on automated deduction and term rewriting. Education: Dr.-Ing. in Computer Science (1989, FAU Erlangen-Nürnberg). Professional experience includes roles at DFKI, RWTH Aachen as Associate Professor, and visiting scholarships at NICTA (Australia). He is a Fellow of EurAI (2004). Research Interests: His work bridges theoretical computer science and practical knowledge representation systems. Key areas include description logics, automated reasoning, and formal methods. He has pioneered techniques for ontology repair and explanation generation in DL systems. Recognition: Over 250+ publications, H-index 69 (Google Scholar). Member of editorial boards for 6 journals, former President of CADE Inc., and active in international conferences like IJCAR and RTA.

• 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).