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

Grumberg Ornaمشاهده پروفایل

استاد

• Model checking
• Automated verification of hardware and software systems
• Abstraction, refinement, and counterexamples
• +۶ مورد دیگر

Orna Grumberg is a Professor at the Computer Science Department of the Technion-Israel Institute of Technology. She holds the Leumi Chair in Science since 2011 and has been a full professor since 2005. Her work focuses on model checking and automated verification of hardware and software systems. Leumi Chair in Science (2011–present) Full Professor, Technion (2005–present) Steering Committee, CAV Conference (2010–present) Editorial Board, Journal on Formal Methods in System Design (2003–present) Dr. Grumberg’s research interests span automated verification, abstraction-refinement techniques, compositional and distributed model checking, and their application to security vulnerabilities and temporal logics. She is a co-author of the seminal book Model Checking , which serves as a foundational reference in the field. Her recent work explores security in network protocols via parameterized systems, SAT-based approaches for hardware verification, and interpolation-based model checking. These contributions integrate abstraction refinement, lazy abstraction, and reachability analysis. Collaboration with IBM on UML verification Collaboration with Rafael on security vulnerabilities in protocols Dr. Grumberg has mentored students who now lead verification teams at Intel, IBM, and Israeli universities. She previously served as Associate Dean for Graduate Studies at the Technion.

Michael Hincheyمشاهده پروفایل

استاد

• Formal methods
• Verification
• Autonomous systems
• +۴ مورد دیگر

Michael Hinchey is the Director of Lero-the Irish Software Engineering Research Centre and holds the title of Professor of Software Engineering at the University of Limerick, Ireland. He has maintained significant roles at NASA Goddard Space Flight Center as an Expert Consultant since 2006. His prior positions include Director of the NASA Software Engineering Laboratory, Professor of Software Engineering at Loyola University, and leadership roles at the Software Verification Research Centre in Australia and the University of Nebraska-Omaha. He has contributed extensively to software engineering through 22 US patents, over 200 publications, and 15+ authored or edited books. B.Sc. in Computer Systems from University of Limerick M.Sc. in Computation (Mathematics) from University of Oxford PhD in Computer Science from University of Cambridge His research focuses on formal methods, software verification, autonomous systems, and self-managing software architectures. He has pioneered advancements in software engineering assurance and dynamic product lines, with applications in aerospace and critical systems. Hinchey has received multiple NASA honors, including the 2012 NASA Honor Award and the 2009 Kerley Award for Innovation. He is recognized as a Fellow in several prestigious institutions, including the British Computer Society and the Irish Computer Society.

Michael Weharمشاهده پروفایل

مدرس

• Computer Science
• Algorithms
• Computational Art
• +۷ مورد دیگر

Michael Wehar is a Lecturer in Computer Science at Bryn Mawr College , where he teaches Introductory Programming Courses. He is a multidisciplinary researcher and developer with a focus on algorithms , computational art , and software engineering , creating innovative tools that bridge computer science with creative applications. Co-founder of AlgoArt.org , a platform for algorithmic art creation and exhibition Creator of Word of The Hour , a multilingual vocabulary learning platform Co-developer of Treegle Dictionary , a structured definition platform His research spans computational complexity, human-computer interaction, and educational technology. Key areas include: Algorithmic Art : Generative design systems, interactive visualizations Pattern Matching : Matrix algorithms, Voronoi diagrams, formal verification Language Technology : Multilingual dictionaries, crowdsourced translation systems Educational Tools : Git repository analysis, interactive learning platforms His 15 most recent publications focus on topics ranging from 2D pattern matching to ETH-based complexity lower bounds , with significant contributions to automata theory and algorithm design. He has received academic recognition including the Best Faculty Poster at CCSC:EA 2022 and Honorable Mention at IFoRE 2022 . As a dedicated mentor, he has guided over 100 students across institutions like Swarthmore College, Temple University, and University at Buffalo in projects spanning: Web development frameworks AI applications in art and education Mobile productivity tools Language learning platforms Game development projects

• Software Engineering
• Formal Methods
• Program Analysis
• +۲ مورد دیگر

Maria Christakis is a Full Professor at TU Wien's Faculty of Informatics where she leads the Rigorous Software Engineering Group. Her research develops methods and tools for building reliable software through formal methods, automated test generation, and program verification. She directs several projects including Sherlock (a framework for testing program analyzers), Minotaur (constraint-based program generator), and SmartACE (compositional verifier for smart contracts). Her group focuses on improving software robustness while enhancing developer productivity. Awards include the Distinguished Paper Award at ICSE 2016 and Best Presentation Award at ESEC/FSE 2020. She currently advises 5 PhD students and teaches courses in Advanced Software Engineering and Software Engineering Research.

Chris Köcherمشاهده پروفایل

پژوهشگر

• Algorithms
• Theory & Logic
• Programming Languages
• +۹ مورد دیگر

Chris Köcher is a Researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His work focuses on theoretical computer science, with a strong emphasis on formal methods, automata theory, and verification of complex systems. He leads research in areas such as algorithms, programming languages, cyber-physical systems, and security. His research bridges foundational theory and practical applications, addressing challenges in distributed systems, mobile systems, and privacy-preserving technologies. His research interests span formal language theory, verification of concurrent systems, and the analysis of storage mechanisms in automata. Notably, he has contributed to the study of queue automata, multi-pushdown systems, and the decidability of reachability problems in lossy systems. His work often intersects with theoretical computer science and algebraic structures, exploring topics like monoids and trace languages. Chris’s publications reflect a deep engagement with foundational questions in computer science, including the verification of cooperating multi-pushdown systems, the complexity of semilinear set separability, and the formal analysis of hard attention mechanisms in transformers. His research has implications for improving the reliability and security of software systems through rigorous mathematical foundations. He is affiliated with MPI-SWS, a leading research institution in software systems, and contributes to the institute’s mission to advance theoretical and applied research in computer science. His work is supported by collaborations within the institute and the broader academic community.

Mainack Mondalمشاهده پروفایل

پژوهشگر

• Algorithms
• Theory & Logic Programming Languages
• Verification
• +۵ مورد دیگر

Mainack Mondal is affiliated with the Max Planck Institute for Software Systems (MPI-SWS), where he focuses on research areas including algorithms, theory, logic programming languages, verification of cyber-physical systems, distributed and networked systems, security, privacy, and social information systems. His work bridges theoretical foundations with practical applications in software systems and distributed computing. Education details and specific academic qualifications are not explicitly provided in the text. Research interests emphasize interdisciplinary approaches to system design and security, leveraging formal methods and distributed computing principles. No specific publications, awards, or grant information are listed here. The text primarily outlines institutional career opportunities and general research themes rather than personal achievements. Mainack is part of the MPI-SWS community, contributing to its mission in advancing software systems research.

• Time Series Analysis
• Blockchain Technologies
• Business Process Management
• +۸ مورد دیگر

Roman Vaculín is a Researcher at IBM Research, focusing on interdisciplinary domains where artificial intelligence, blockchain technologies, and data-centric workflows converge. His work spans automated machine learning, time series analysis, and secure computation via cryptographic methods like homomorphic encryption. Affiliation: IBM Research Key research areas: Time Series Analysis, Blockchain, AI Explainability, Business Process Management Across his publications, Vaculín explores: Time Series Modeling: Developing robust frameworks like TsSHAP and end-to-end architectures for forecasting and imputation. Blockchain Applications: Designing trusted AI systems, secure multi-party computation, and verifiable simulations. Automated Machine Learning: Creating toolkits for industrial AI explainability and automation. Privacy-preserving Techniques: Optimizing encrypted inference and secure decision tree protocols. His methodology often integrates formal verification with practical implementations, emphasizing efficiency and interpretability in complex systems. While no formal awards or students are documented in the provided data, his collaborative publications with institutions like IBM Research and academic partners highlight his role in advancing applied AI research.

Benjamin Azizمشاهده پروفایل

دانشیار

• Cyber Security
• Formal Methods
• Software Engineering
• +۴ مورد دیگر

Benjamin Aziz is an Associate Professor at Buckinghamshire New University, where he leads courses in Software Engineering, Cyber Resilience, and Computer Science. Previously, he was a Senior Lecturer at the University of Portsmouth's School of Computing (2010-2023) and worked as a Senior Research Scientist at Rutherford Appleton Laboratory. He holds a Ph.D. in Computer Science from Dublin City University (2003) and an M.Sc. in Networks and Distributed Systems from Trinity College Dublin (1999). His research focuses on formal methods, cybersecurity, IoT systems, and data-driven approaches to systems security. Key affiliations include Fellow of Advance HE and memberships with IEEE, IET, BCS, and ERCIM. He has contributed to EU projects like GridTrust and Consequence, and serves as Associate Editor for Wiley's Security and Communication Networks journal. His work spans over 160 peer-reviewed publications and two books, emphasizing formal analysis of protocols, steganography detection, and incident response metrics. Research interests include: Cybersecurity frameworks for IoT and cloud systems Formal specification and verification of security protocols Data-driven approaches for anomaly detection Attribute-based access control models Recent articles explore requirements engineering matrices, healthcare monitoring logic models, and Korean police dataset analysis. He has advised on cyber resilience strategies and contributed to tools like Trusty for social network data sharing.

• Artificial Intelligence
• Multi-Agent Systems
• Robotics
• +۴ مورد دیگر

Stefania Monica is an Associate Professor at the Department of Engineering Sciences and Methods, University of Modena and Reggio Emilia. She specializes in Artificial Intelligence, Multi-Agent Systems, Robotics, and Programming Languages. Her research focuses on topics such as agent interaction protocols, indoor positioning algorithms, and agent-oriented programming (Jadescript). She teaches courses on Artificial Intelligence, Data Science, Web Technologies, and IoT. Recent work includes studies on stigmergic interactions in multi-agent systems and 3D indoor positioning using optimization algorithms. Her contributions span theoretical frameworks (e.g., kinetic models) and practical implementations (e.g., Jadescript language enhancements for robustness and interoperability). Research interests emphasize synergy between AI and robotics, with applications in localization, swarm intelligence, and neural-symbolic learning. Teaching responsibilities include managing engineering courses on data science, information systems, and IoT development. She actively contributes to academic conferences and journals, curating special issues on computational logic and agent-based systems.

Liyi Liمشاهده پروفایل

استادیار

• Formal Methods
• Programming Languages
• Software Engineering
• +۴ مورد دیگر

Liyi Li is an Assistant Professor in the Department of Computer Science at Iowa State University. He holds a Ph.D. from the University of Illinois at Urbana-Champaign, where his research focused on compiler verification and formal methods. After completing his postdoctoral work at the University of Maryland, he expanded his research to include quantum computing, software engineering, and compiler optimization. Education: B.S. in Computer Science, University of Illinois at Urbana-Champaign (2012) M.S. in Computer Science, University of Illinois at Urbana-Champaign (2014) Ph.D. in Computer Science, University of Illinois at Urbana-Champaign (2020) Research Interests: Liyi Li’s work bridges formal methods, programming languages, and quantum computing. Key areas include quantum program verification, compiler correctness, memory-safe dialects (e.g., Checked C), and distributed quantum systems. He emphasizes applying formal techniques to ensure software reliability and security. Awards: 2020 UMD Victor Basili Postdoctoral Fellowship 2019 UIUC Spring Outstanding Teaching Assistant Award 2012 UIUC University Honor (Bronze Tablet) Grants & Advising: Co-PI for NSF Grant NQVL:QSTD (2024–2025) focusing on quantum analog pathways PI for NSF Grant CCF-2422127 (2024–2027) on Just-in-Time Verification Advises over 13 students, including PhD candidates at Iowa State, University of Maryland, and William & Mary Collaborations: Liyi Li collaborates with institutions such as the University of Maryland and works with researchers like Mingwei Zhu and Xiaodi Wu on quantum verification and compiler optimization tools.

Robyn Lutzمشاهده پروفایل

استاد

• Software Engineering
• Software Safety
• Molecular Programming
• +۵ مورد دیگر

Robyn Lutz is a Distinguished Professor of Computer Science and Faculty Member in Bioinformatics and Computational Biology at Iowa State University. She directs the Laboratory for Software Safety (LSS) and co-directs the Laboratory for Molecular Programming (LAMP). Her research focuses on software engineering for safety-critical systems, molecular programming, and formal methods. She has held roles such as ACM Distinguished Scientist and IEEE Fellow. Her work spans federally funded projects including NASA’s safety-aware ecosystems for unmanned systems and NSF initiatives on molecular programming and software dependability. She has authored influential publications on safety assurance cases, chemical reaction networks, and requirements engineering for nanoscale systems. Dr. Lutz has served on program committees for major conferences like ICSE, RE, and FSE, and delivered keynotes at venues like SAFECOMP and RE 2016. Her contributions include advancements in safety-critical software design, molecular systems verification, and interlocking safety frameworks for autonomous systems. She teaches courses such as Software System Safety and Requirements Engineering, and has developed tools like PLFaultCAT for safety analysis. Her labs focus on bridging software engineering principles with emerging domains like synthetic biology and nanotechnology.

Martín Ceresaمشاهده پروفایل

پژوهشگر

• Theoretical Computer Science
• Programming Languages Theory
• Type Theory
• +۹ مورد دیگر

Martín Ceresa is a Post-doctoral Researcher at the IMDEA Software Institute in Madrid, Spain. His work focuses on theoretical computer science, programming languages, type theory, and blockchain technologies. He collaborates extensively with Prof. César Sánchez on formal methods for scaling blockchains and verifying smart contracts. Education: PhD in Computer Science from the National University of Rosario (Argentina), under Dr. Mauro Jaskelioff. His thesis developed an effectful improvement theory for languages with algebraic effects. Research Interests: Blockchain scalability, formal verification of smart contracts, runtime verification, embedded systems design, and foundational mathematics. His current projects include Setchain (a Byzantine-tolerant distributed data structure) and a non-Turing-complete language for critical embedded systems. Key Contributions: Co-developed the MegaDeTH tool for test case generation (now QuickFuzz), created the Coq-based Multi library for multi-contract analysis, and pioneered formal methods for layer-2 blockchain solutions. Collaborations: Active in the formal methods community, with contributions to EasyCrypt and collaborations with researchers like Gustavo Grieco and Antonio Fernández Anta.

Carolina Daniaمشاهده پروفایل

پژوهشگر

• Software Engineering
• Formal Methods
• Security
• +۳ مورد دیگر

Dr. Carolina Dania is a Researcher at the IMDEA Software Institute in Madrid, Spain. She holds a PhD in Computer Science from the Universidad Complutense de Madrid (2017) and prior degrees from the Universidad Nacional de Córdoba, Argentina. Her research focuses on software engineering, formal methods, and security, with an emphasis on tool development for secure software systems. Education: Bachelor's in Computer Science (2008), UNC, Argentina Master's in Research in Computer Science (2011), UCM, Spain PhD in Computer Science (2017), UCM, Spain Research interests include model-driven engineering, formal verification of UML/OCL constraints, and secure cloud applications. Key tools developed include MySQL4OCL, OCL2FOL+, and SQL-PL4OCL, which translate OCL constraints into executable code or logical formulas for automated analysis. She has contributed to projects like the Core Security Metamodel (CSM) for cloud applications and the ActionGUI toolkit. Publications span conferences like MODELS, FASE, and IEEE Transactions on Software Engineering, focusing on OCL mappings, SMT-based verification, and secure data-management systems. She has organized workshops and participated in initiatives like the NESSoS EU project.

Robert Randمشاهده پروفایل

استادیار

• Quantum Computing
• Formal Verification
• Quantum Programming
• +۳ مورد دیگر

Robert Rand is an Assistant Professor of Computer Science at the University of Chicago, affiliated with the Programming Languages Research Group and the Chicago Quantum Exchange . His research bridges programming languages, formal verification, and quantum computation. Dr. Rand focuses on Quantum Computing , Formal Verification , and Quantum Programming . He develops tools like QWIRE for quantum circuit representation and VOQC for verified quantum compilers. Current work includes a textbook on verified quantum programming. His publications span quantum compiler verification, algebraic quantum languages, and formal methods in quantum computing. Recent projects involve error-correction, type systems, and quantum-classical interoperability through Qunity . Scientific Awards 2023 AFOSR Young Investigator Research Program Award France and Chicago Collaborating in the Sciences Award 2022 Keynote Speaker, Compiler Construction Distinguished paper awards: PLDI 2021, POPL 2019 Victor Basili Postdoctoral Fellowship (UMD) Dr. Rand actively collaborates on NSF-funded EPiQC (Enabling Practical-Scale Quantum Computing) and teaches advanced topics in quantum programming languages. He is currently working on a textbook on verified quantum programming and maintains active research groups in both Programming Languages and Quantum Computing.

Amar Hadzihasanovicمشاهده پروفایل

استادیار

• Category Theory
• Higher-Dimensional Algebra
• Quantum Computing
• +۳ مورد دیگر

Amar Hadzihasanovic is an Assistant Professor at Tallinn University of Technology, affiliated with the Compositional Systems and Methods group, and a Scientific Advisor at Quantinuum. He specializes in category theory, higher-dimensional algebra, and their applications in quantum computing and formal systems. His recent work includes organizing the 110th Peripatetic Seminar on Sheaves and Logic (PSSL) and completing a book on higher-categorical diagrams with Cambridge University Press. Hadzihasanovic has been awarded grants from ARIA (Safeguarded AI programme) and the Estonian Research Council, supporting his research on diagrammatic rewriting and homotopy theory. His research interests span categorical foundations, diagrammatic sets, and computational aspects of higher-dimensional structures. Key contributions include model structures for (∞, n)-categories, acyclicity conditions in pasting diagrams, and formal axiomatizations of quantum systems. He has advised PhD students Alkis Ioannidis and Clémence Chanavat, and collaborates widely with institutions like the University of Cambridge and Quantinuum. Hadzihasanovic has delivered invited talks at conferences such as Category Theory 2024, the Nordic Congress of Mathematicians, and the Geometric and Topological Methods in Computer Science (GETCO). His teaching includes a course on category theory and diagrammatic reasoning at Kyoto University. His software, including the rewalt library, supports topologically sound higher-dimensional diagram rewriting.