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

• Probabilistic Verification
• Quantitative Model Checking
• Formal Methods
• +۴ مورد دیگر

Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on probabilistic verification , quantitative model checking , and formal methods for complex systems including autonomous robots, medical devices, and biological systems. She leads the development of the PRISM and PRISM-games probabilistic model checkers. Key research areas: Probabilistic systems, formal verification, autonomous robotics, medical device analysis, systems biology Grants: ERC Advanced Grant VERIWARE, EPSRC Programme Grant Mobile Autonomy Awards: 2024 ETAPS Test-of-Time Tool Award for PRISM Students: Current and former advisees in topics spanning formal methods, robotics, and quantitative verification The PRISM-games extension enables verification of stochastic multi-player games with applications in network protocols, autonomous systems, and game theory. Her work bridges theory, algorithms, and practical implementation, with real-world applications in ubiquitous computing and nanotechnology.

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.

• Operations Management
• Manufacturing Systems
• Supply Chain Management
• +۵ مورد دیگر

Sunder Kekre is the Vasantrao Dempo Professor of Operations Management at Carnegie Mellon University’s Tepper School of Business , where he has held academic appointments since 1984. His research focuses on manufacturing systems, global supply chains, and healthcare operations management. Research Expertise : New product development structures, strategic costing, lean innovation, knowledge sharing in enterprise networks, and business analytics for coordinated supply chains. Key Publications : Contributions to journals like Management Science , Operations Research , and Production and Operations Management , with work on LNG storage valuation, RFID logistics, and healthcare disparities. Scientific Recognition : Dempo Chair Professorship Bosch Chair Professorship Best Paper Award (1995) Teaching : Courses in Operations Management, Strategic Management of the Enterprise, and Information Systems Project. Non-Academic Experience : Prior engineering roles at Tata Steel (1974-1980) and consulting engagements with Fortune 500 firms like Bosch, Caterpillar, and IBM.

• Software Architecture
• Microservices
• Cloud Computing
• +۷ مورد دیگر

Uwe Zdun is a Professor at the Faculty of Computer Science, University of Vienna, where he serves as Vice-Director of Studies for Computer Science and Head of the Research Group Software Architecture. His teaching portfolio includes core courses such as Software Engineering 2, Advanced Software Engineering, and Practical Software Courses for Bachelor's and Master's theses across multiple semesters (2024W-2025S). His research spans software architecture with emphasis on microservices, cloud computing, and DevOps. Key focus areas include architectural design decisions, infrastructure-as-code conformance, security in distributed systems, and the integration of machine learning operations (MLOps/RLOps). He investigates cognitive aspects of architecture practices through controlled experiments and develops model-driven approaches for quality assessment in complex systems. Recent publications (2024-2026) reveal three dominant trends: (1) Security and coupling analysis in infrastructure-as-code deployments, (2) MLOps/RLOps integration for Industry 4.0 cyber-physical systems, and (3) Performance optimization patterns for CI/CD pipelines and autoscaling. His work bridges theoretical architecture models with industrial practice, particularly in microservice ecosystems and reinforcement learning applications. Professor Zdun leads the Research Group Software Architecture at the University of Vienna's Faculty of Computer Science. The group focuses on empirical validation of architectural patterns, tool development for conformance checking, and advancing design decision methodologies in cloud-native and AI-driven systems.

Bernhard Rumpeمشاهده پروفایل

استاد

• Software Engineering
• Model-Based Software Engineering (MBSE)
• Domain-Specific Languages (DSLs)
• +۱۶ مورد دیگر

Bernhard Rumpe is a Professor and Chair of Software Engineering at the Department of Computer Science 3, RWTH Aachen University, Germany. He leads a research group focused on model-based software engineering, domain-specific languages, and digital twins, with strong industrial collaborations and applications in embedded systems, AI, IoT, and autonomous vehicles. His research centers on improving software development through model-driven engineering, generative techniques, and formal modeling using UML, SysML, and the MontiCore language workbench. Key interests include digital twins, variability modeling, model composition, and the integration of cyber-physical systems with information systems. The recent publications highlight a consistent focus on model-driven digitalization, language workbenches, and system integration. Trends show increasing emphasis on digital twins in manufacturing and societal systems, formal verification of model transformations, and educational applications of model-driven low-code platforms. His work bridges theoretical foundations with industrial applicability. Keynote Speaker, OOPSLE 2025 General Chair, GPCE 2023 Session Chair, MODELS 2020 Program Committee Member, SLE, GPCE, ICSE, ECMFA He advises master’s and doctoral students and leads a vibrant research team that has successfully executed over 100 research projects. His group develops foundational tools like MontiCore and applies them in industrial contexts, contributing to software quality and developer efficiency. No formal grants are listed, but sustained project funding is evident. He is involved in several research labs and teams centered around the Software Engineering Chair at RWTH Aachen, focusing on language workbenches, model-driven development, and digital twin systems. The team actively contributes to open research through publications, tools, and industrial partnerships.

Andrea Burattinمشاهده پروفایل

دانشیار

• Process Mining
• Business Process Management
• Petri Nets
• +۶ مورد دیگر

Andrea Burattin is an Associate Professor at the Department of Applied Mathematics and Computer Science, Technical University of Denmark. His work bridges formal methods and practical process analysis, focusing on process mining, business process management, and hybrid modeling techniques. He actively contributes to research in healthcare process optimization, streaming data analysis, and system verification through Petri nets and CCS transformations. UN Sustainable Development Goals: Poverty eradication, environmental protection, and prosperity for all (via process optimization) Active projects: Immersive Process Mining (2024-2027), Usability and Understandability of Hybrid Process Models (2018-2021) His research explores large language model integration with process mining, proposing frameworks like Tiramisù for multi-faceted process visualization and PN2CCS for formal model translation. Recent work emphasizes real-time monitoring, conformance checking, and IoT-driven process analytics. Key trends in his publications include: 1) Streaming process mining pipelines (2022-2025); 2) LLM-plan generation frameworks (2024); 3) Formal verification techniques (Petri nets, CCS); 4) Healthcare process modeling (2019-2023); 5) Behavioral pattern analysis in process compliance. Scientific Awards Best Demo Award (2022, 2016) Best Process Mining Dissertation Award (2014) Best Workshop Paper (EDBA and PODS4H, 2023) As advisor, he supervises PhD projects on process mining and hybrid modeling. His editorial roles include Information Systems reviewer (2024-2025) and past editor for Engineering Applications of AI (2022-2023). Collaborations span Denmark, Italy, and the Netherlands.

• Business Process Management
• Process Mining
• Complex Event Processing
• +۵ مورد دیگر

Prof. Dr. Matthias Weidlich is a faculty member at Humboldt University of Berlin within the Institute of Computer Science under the Faculty of Mathematics and Natural Sciences . His research focuses on Process Mining , Complex Event Processing , and Data Privacy with applications in Business Process Management and Scientific Workflows . Research Interests: Business Process Management and Process Mining Complex Event Processing and Stream Data Analysis Data Privacy and Security in Process Systems Scientific Workflow Systems and User Behavior Heterogeneous Network Embeddings Algorithm Design and Optimization Recent Publications (2023-2025) demonstrate expertise in: Efficient stream processing techniques Privacy-preserving process mining frameworks Scientific workflow analysis tools Graph neural network applications Multi-modal data integration Adaptive querying systems Contact: Office: Unter den Linden 6, 10099 Berlin Phone: 030 2093-41277 Email: matthias.weidlich@hu-berlin.de Web: hu.berlin/data

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

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.

David G. Randمشاهده پروفایل

استاد

• Behavioral Economics
• Psychology
• Decision-Making
• +۵ مورد دیگر

David G. Rand is the Erwin H. Schell Professor of Management Science and Brain and Cognitive Sciences at MIT, with affiliations to the MIT Institute for Data, Systems, and Society and the Initiative on the Digital Economy. His research bridges behavioral economics and psychology, focusing on decision-making dynamics between intuitive and deliberate processes, particularly in contexts of cooperation, misinformation, political behavior, and social media. He holds a B.A. in Computational Biology from Cornell University (2004) and a Ph.D. in Systems Biology from Harvard University (2009), followed by a postdoc in Harvard’s Psychology Department. Before MIT, he served as an Assistant and then Associate Professor at Yale University. Rand’s work explores how intuitive biases and cognitive shortcuts shape beliefs about false news, political preferences, and social media behavior. His interventions using AI-driven dialogues and accuracy prompts have shown promise in reducing conspiracy beliefs and misinformation sharing. He has received prestigious awards, including the Arthur Greer Memorial Prize (2015) and recognition from the Poynter Institute (2017). His articles frequently address misinformation mitigation, AI applications, and polarization, appearing in top journals like Nature , Science , and Psychological Science . He also engages the public through popular media outlets like The New York Times and Wired . Rand leads the Applied Cooperation Team, a research group exploring cooperation and prosocial behavior. His work emphasizes scalable solutions to societal challenges through behavioral science and technology.

Marcus Gerholdمشاهده پروفایل

استادیار

• Model-Based Testing
• Software Reliability
• Critical Infrastructures
• +۷ مورد دیگر

Marcus Gerhold is an Assistant Professor in the Formal Methods and Tools group at the University of Twente's Faculty of Electrical Engineering, Mathematics and Computer Science. His research focuses on model-based testing for software reliability in critical infrastructures, particularly railway systems, alongside significant contributions to game design and programming language analysis. His educational background includes: PhD in Computer Science from University of Twente (2018): Choice and Chance: Model-based Testing of Stochastic Behaviour MSc in Mathematics from Friedrich Schiller Universität Jena (2013): Embeddings of Weighted Morrey Spaces BSc in Mathematics from Friedrich Schiller Universität Jena (2011): Entropy-, Approximation- and Kolmogorov Numbers on Quasi-Banach Spaces Gerhold's research integrates theoretical model-based testing with practical critical infrastructure applications . His work on railway conformance testing addresses EULYNX controller validation, while his game design research explores affective mirroring in NPCs and procedural dungeon generation. The code modernity analysis stream leverages static analysis to quantify legacy code evolution across languages like Python and PHP, revealing version identification challenges through deep learning. Publication trends show consistent focus on model-based testing methodologies (40%), railway safety applications (25%), and innovative game design/code analysis (35%). Recent work increasingly incorporates AI/ML techniques for UML assessment and Python version identification, while maintaining rigorous formal methods foundations. He actively mentors 63 students across all academic levels and contributes to major research initiatives: STORM_SAFE (ERDF, 2024): Daily Supervisor for WP1/WP2 on software reliability for critical infrastructures ZORRO (KIC grant, 2023): Daily Supervisor for WP4 on zero downtime in cyber-physical systems MISSION (MSCA RISE, 2021-2025): Interim coordinator (early 2024) for space systems modeling As part of the Formal Methods and Tools research group, Gerhold participates in European collaborations while serving on SAC-SVT 2024 and FormaliSE 2023 program committees.

• Process Mining
• Business Process Management
• Stochastic Processes
• +۴ مورد دیگر

Dr. Sander Leemans is a Professor at RWTH Aachen University leading the Business Process Management Foundations and Engineering research group. His work focuses on advancing process mining theory and practice with emphasis on stochastic modeling and conformance verification. Leemans' research centers on process mining, business process management, and stochastic process modeling. He investigates conformance checking techniques for probabilistic models, process discovery algorithms, and the integration of exogenous data into process analysis. His work bridges theoretical foundations with practical applications in healthcare, robotic process automation, and inter-organizational systems. Recent publications reveal a concentrated research trajectory in stochastic conformance checking, where Leemans develops methods for matching observed traces to stochastic process models using alignment techniques, entropy metrics, and partial-order reasoning. He also pioneers object-centric process mining frameworks and explores silent transitions in labeled Petri nets, significantly enhancing the precision and applicability of process mining in real-world scenarios. The Business Process Management Foundations and Engineering group under Leemans' leadership drives innovation in process mining through rigorous theoretical development and open-source tooling, maintaining RWTH Aachen's position at the forefront of business process intelligence research.

Silvia Bonomiمشاهده پروفایل

دانشیار

• Cybersecurity
• Distributed Systems
• Blockchain
• +۸ مورد دیگر

Dr. Silvia Bonomi serves as an Associate Professor in the Department of Computer, Control and Management Engineering at Sapienza University of Rome, where she has held academic positions since 2006. Her career progression includes Research Fellow (2010-2011), Tenure Track Assistant Professor (2016-2019), and current Associate Professor appointment since 2019. She maintains her office in Room B114 and is actively engaged in research and teaching within the university's engineering faculty. Her educational background includes: PhD in Computer Engineering, Sapienza University of Rome and Institut de Formation Supérieure en Informatique et Communication (IFSIC/IRISA), Rennes, France (completed under advisors Prof. Roberto Baldoni and Prof. Michel Raynal) Dr. Bonomi's research critically examines dynamic distributed systems where entities autonomously join and leave networks, with applications spanning VANETs, airborne networks, social networks, and distributed cloud services. She pioneers work in Byzantine fault tolerance for mobile environments, blockchain security with emphasis on smart contract vulnerability analysis, and resilient cybersecurity frameworks integrating human factors. Her investigations into publish-subscribe systems focus on quality-of-service enhancements, while her peer-to-peer systems research addresses fundamental connectivity challenges in large-scale decentralized environments. This interdisciplinary approach bridges theoretical distributed computing with practical cybersecurity applications. Analysis of her 15 most recent publications (2021-2024) reveals dominant trends in blockchain security (particularly smart contract vulnerability taxonomies and analysis tool efficacy) and fault-tolerant distributed systems (reliable communication under Byzantine faults in dynamic networks). Her work increasingly integrates human factors into cybersecurity models and develops visual analytics for business-centric risk assessment. Publications span top venues including IEEE CSR, OPODIS, SAFECOMP, and journals like Computers & Security, demonstrating consistent contributions to both theoretical foundations and practical cybersecurity implementations.

Wil van der Aalstمشاهده پروفایل

استاد

• Business Process Management
• Data Mining
• Simulation
• +۶ مورد دیگر

Wil van der Aalst is a full professor at RWTH Aachen University since 2018, leading the Process and Data Science (PADS) group. He serves as Chief Scientist at Celonis and is part-time affiliated with Fraunhofer FIT . Additional roles include deputy CEO of the Internet of Production Cluster of Excellence , co-director of the RWTH Center for Artificial Intelligence , and speaker of the RWTH ICT Profile Area . Previously, he led the Architecture of Information Systems group at Eindhoven University of Technology (TU/e) until 2017 and was a member of Tilburg University's Board of Governors (2015–2023). Research interests focus on process mining , business process management , Petri nets , and model-based analysis . His work bridges formal methods with real-world applications, influencing software development, standardization committees, and commercial tools like Celonis, SAP, and YAWL. Developed foundational WorkFlow nets (WF-nets) and soundness criteria for workflow modeling Pioneered the Workflow Patterns initiative (with Arthur ter Hofstede and Nick Russell), impacting process modeling standards Founded the YAWL open-source workflow system and ProM process mining framework Chaired steering committees for major conferences (Business Process Management, IEEE Task Force on Process Mining) Scientific honors include IEEE, ACM, and IFIP fellowships, the Alexander von Humboldt Award (2018), and memberships in prestigious academies such as Academia Europaea and the German Academy of Science and Engineering. He has an H-index of 182 (Google Scholar) and over 155,000 citations. He has served on the editorial boards of journals including Business & Information Systems Engineering , IEEE Transactions on Services Computing , and Transactions on Petri Nets and Other Models of Concurrency . He also co-founded the BPM User Group Foundation and led the Data Science Center Eindhoven (DSC/e) until 2017.

David N. Rappمشاهده پروفایل

استاد

• Reading comprehension
• Memory and learning
• Cognitive science
• +۴ مورد دیگر

David N. Rapp is a distinguished academic serving as the Charles Deering McCormick Professor of Teaching Excellence at Northwestern University. He holds dual professorships in the School of Education and Social Policy (SESP) and the Department of Psychology, with a primary affiliation in the Learning Sciences. As Director of Undergraduate Education for SESP, he oversees academic programs and initiatives. His research focuses on cognitive mechanisms underlying learning, memory, and the processing of accurate and inaccurate information, particularly in educational and multimedia contexts. Education: PhD in Experimental Psychology, State University of New York, Stony Brook (2000) MA in General Psychology, New York University (1996) BA in Psychology, State University of New York, Albany (1994) Research Interests: Reading comprehension and multimedia learning Memory dynamics and misinformation effects Translation of cognitive science into educational tools Visualization and STEM education Social contagion of knowledge and beliefs Notable Achievements: Recipient of the McKnight Land-Grant Professor Award (2006) Tom Trabasso Young Investigator Award (2010) Fellow of the Association for Psychological Science Lead Editor of the Journal of Discourse Processes Principal Investigator of NSF and NIH-funded projects Lab & Collaborations: Directs the Reading Comprehension Lab, exploring cognitive processes in learning and misinformation. Collaborates with institutions like the Feinberg School of Medicine and Kellogg School of Business. Advises over 20 graduate and undergraduate students, many pursuing academic and industry roles.

Tim Schwartzمشاهده پروفایل

استاد پژوهش

• Human-Robot Interaction
• Multi-modal Interaction
• Industry 4.0
• +۳ مورد دیگر

Dr. Tim Schwartz is an Associated Member at the German Research Center for Artificial Intelligence (DFKI) located at the Saarland Informatics Campus in Saarbrücken, Germany. He is affiliated with the Ubiquitous Media Technology Lab (UMTL) where he conducts research at the intersection of human-robot interaction, multimodal interfaces, and industrial applications. His work spans over two decades with significant contributions to the fields of robotics, augmented reality, and Industry 4.0 implementations. Dr. Schwartz's research interests focus primarily on Human-Robot Interaction , Multi-modal Interaction , and Industry 4.0 applications. His work explores how humans and robots can effectively collaborate in industrial settings, with particular attention to communication modalities, task division, and intuitive interfaces. Recent projects include human-robot collaboration in assembly cells, social cognitive robots for warehouse environments, and augmented reality applications for aircraft manufacturing. Analysis of his publication history reveals a clear trajectory from foundational work in multimodal interfaces and context-aware computing (2005-2015) toward increasingly applied research in industrial robotics and human-robot collaboration (2016-2024). His most recent publications demonstrate a strong emphasis on practical implementations in manufacturing and warehouse environments, with a particular focus on optimizing work dynamics between humans and robots. Dr. Schwartz actively engages in academic supervision, offering thesis opportunities such as the user-study on optimal work dynamics in human-robot collaboration at the Power4Production Hall in Saarbrücken. His collaborations extend to institutions including ZeMA (Zentrum für Mechatronik und Automatisierungstechnik gGmbH), indicating strong industry-academia partnerships. At DFKI, he works within a vibrant research community that includes numerous colleagues in the Ubiquitous Media Technology Lab, contributing to a collaborative environment focused on cutting-edge research in human-robot interaction, multimodal systems, and industrial applications of artificial intelligence.