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

Christian Krupitzerمشاهده پروفایل

استاد

• Food Informatics
• Self-adaptive Software Systems
• Machine Learning
• +۴ مورد دیگر

Jun.-Prof. Dr. Christian Krupitzer is a Tenure Track Professor in Food Informatics at the University of Hohenheim's Institute of Food Science and Biotechnology, part of the Faculty of Natural Sciences. He leads the Department of Food Informatics and is a member of the Computational Science Hub (CSH). His research focuses on self-adaptive software systems, machine learning (especially edge computing), IoT technologies, and software engineering applied to food processing and agricultural systems. Education: PhD in Business Information Systems (Dr. rer. pol.), University of Mannheim (2018) M.Sc. and B.Sc. in Business Information Systems, University of Mannheim (2010–2012) High School Diploma (Abitur) from Wilhelmi-Gymnasium Sinsheim (2007) Research Interests: Krupitzer’s work integrates computational methods with food science, emphasizing adaptive systems for food quality monitoring, IoT in agriculture, and machine learning for predictive analytics. He explores edge computing’s role in real-time decision-making and secure group communication schemes for IoT networks. Publications: His recent work spans predictive maintenance in Industry 4.0, digital twins in food systems, and blockchain applications in supply chain authentication. The articles highlight trends in interdisciplinary approaches combining AI, IoT, and domain-specific challenges in food production and logistics. Awards: No scientific awards explicitly listed in the provided materials. Grants & Advising: While specific grants are unmentioned, his roles as department head and tenure-track professor suggest involvement in research funding. No formal advisee list provided, though his team includes postgraduate researchers like Dana Jox, Daniel Einsiedel, and others. Labs & Teams: Leads the Food Informatics department and collaborates with the Computational Science Hub. His team focuses on developing innovative solutions for food systems through computational methods.

Yannic Nollerمشاهده پروفایل

استاد

• Automated Program Repair
• Machine Learning Analysis
• Software Testing
• +۳ مورد دیگر

Yannic Noller is a Professor at the Faculty of Computer Science at Ruhr University Bochum (RUB), leading the Software Quality group. Previously, he held positions as Assistant Professor at Singapore University of Technology and Design (SUTD) and Research Assistant Professor at National University of Singapore (NUS). His research focuses on automated software engineering, including program repair, machine learning analysis, and software testing. He earned his Ph.D. from Humboldt-Universität zu Berlin under Prof. Lars Grunske, with a thesis on hybrid differential software testing. Education: Ph.D. in Computer Science (2016-2020, Humboldt-Universität), M.Sc. (2013-2016, University of Stuttgart), B.Sc. (2010-2013, University of Stuttgart). Research interests include automated program repair techniques, machine learning model analysis, and intelligent tutoring systems for programming education. Notable contributions include HyDiff (hybrid differential analysis tool) and CPR (concolic program repair). Awards include the Distinguished Artifact Reviewer at ISSTA'2021 and multiple scholarships for academic excellence. Teaching includes courses on software engineering, requirements engineering, and automated software engineering.

Daniel Großeمشاهده پروفایل

استاد

• Formal Verification
• Hardware Verification
• Electronic Design Automation
• +۳ مورد دیگر

Prof. Daniel Große serves as Professor at the Institute for Complex Systems (ICS) within Johannes Kepler University Linz, Austria, while maintaining a dual affiliation with the German Research Center for Artificial Intelligence (DFKI) in Bremen. His research centers on Electronic Design Automation (EDA), specializing in verification, debugging, and synthesis of complex hardware/software systems through advanced virtual prototyping techniques. His primary research domains include Formal Verification , Hardware Verification , and Virtual Prototyping , with significant contributions to RISC-V architecture development and embedded systems validation. Current projects like PaSVer (automotive electronics), AUTOASSERT (analog-digital verification), and VerSys (RISC-V software platforms) demonstrate his focus on bridging simulation and formal methods for safety-critical applications. Recent publications reveal accelerating trends in metamorphic testing for embedded graphics libraries and RISC-V vector extensions, alongside innovations in waveform analysis tools like Surfer. His work increasingly integrates AI-assisted verification while maintaining rigorous formal methods foundations. Prof. Große actively supervises student research, having guided Lucas Klemmer's PhD thesis and nine Bachelor theses on topics ranging from RISC-V processor design to transaction visualization. His projects including SATiSFy (autonomous vehicle security) and CONVERS (complex system design automation) secure substantial research funding from academic and industry partners. He leads the Institute for Complex Systems' development of open-source tools such as RISC-V VP++ and contributes to international standards through program committee roles at DATE, ICCAD, and RISC-V Summit Europe.

Matthieu Sozeauمشاهده پروفایل

پژوهشگر

• Type Theory
• Proof Assistants
• Functional Programming
• +۴ مورد دیگر

Matthieu Sozeau is a prominent researcher at Inria in the Gallinette team in Nantes, France, and a key contributor and coordinator of the Coq/Rocq proof assistant project. His work bridges theoretical computer science and practical software development, focusing on creating reliable formal verification tools. His research interests span Type Theory, Proof Assistants, Functional Programming, and Unification. He has made significant contributions to the development of Coq (recently renamed to Rocq Prover), particularly through the MetaCoq project which aims to verify Coq's kernel within Coq itself, the Equations plugin for dependent pattern matching, and CertiCoq, a verified compiler from Coq to assembly. His work enables stronger guarantees about formalized mathematics and verified software. Sozeau's publications reveal a consistent focus on foundational aspects of proof assistants. His recent work includes verified type checking ('Coq Coq Correct!'), verified extraction from Coq to OCaml, and sort polymorphism for proof assistants. These contributions advance both theoretical understanding and practical implementation of dependently-typed programming languages. Distinguished paper award for Verified Compilation from Coq to OCaml at PLDI'24 As an academic mentor, Sozeau has supervised PhD students including Théo Winterhalter and Antoine Allioux. He regularly teaches courses on proof assistants, notably at MPRI (Master Parisien de Recherche en Informatique), and actively participates in the academic community through program committees, invited talks, and workshops. His work has significantly influenced both the theoretical foundations and practical applications of interactive theorem proving.

Dmitriy Traytelمشاهده پروفایل

دانشیار

• Logic
• Automata Theory
• Runtime Verification
• +۷ مورد دیگر

Dmitriy Traytel is an Associate Professor at the University of Copenhagen's Department of Computer Science since August 2020, where he currently heads the Software, Data, People & Society (SDPS) section. Prior to this position, he worked as a senior researcher (Oberassistent) in the Information Security Group led by David Basin at ETH Zürich. He completed his PhD at TU München under Tobias Nipkow's supervision in 2015. His research focuses on formal methods, particularly logic, automata theory, runtime verification and monitoring, decision procedures, (co)induction and (co)recursion, and interactive theorem proving. Traytel develops formally verified tools for runtime monitoring including VeriMon, TimelyMon, and WhyMon, emphasizing correctness and efficiency in monitoring complex temporal properties. His recent publications (2021-2025) demonstrate a strong focus on first-order temporal logic monitoring, with particular attention to explainable verdicts, scalable parallel implementations, and formal verification of monitoring algorithms. The work spans theoretical foundations in logic and category theory while maintaining practical applications in runtime verification systems. Distinguished Paper Award at POPL 2025 for 'Barendregt Convenes with Knaster and Tarski' Best Student Paper Award at FSCD 2016 Distinguished Paper Award at ATVA 2018 Traytel has supervised numerous PhD, Master's, and Bachelor's students in areas spanning formal verification, runtime monitoring, and theorem proving. His research has been supported through collaborations with major institutions including ETH Zürich and TU München. He actively contributes to the academic community by serving on program committees for major conferences including ITP 2025 and RV 2025. He leads the Software, Data, People & Society section at the University of Copenhagen, focusing on developing formally verified tools for runtime verification that bridge theoretical computer science with practical applications in security and system monitoring.

Xin Pengمشاهده پروفایل

استاد

• Software Analytics
• Intelligent Software Development
• Microservice
• +۴ مورد دیگر

Xin Peng is a Professor and Deputy Dean at the School of Computer Science, Fudan University, China. He leads the CodeWisdom research team focusing on intelligent software engineering techniques for development, maintenance, and operation of software systems. His educational background includes a PhD in Computer Science (2001-2006) and Bachelor's degree in Computer Science (1997-2001), both from Fudan University. He progressed through the academic ranks from Assistant Professor (2006-2010) to Associate Professor (2010-2015) and finally to Professor (2015-present). Professor Peng's research interests span Software Analytics, Intelligent Software Development, Microservice systems, and AIOps. His work leverages AI technologies including deep learning and knowledge graphs to develop intelligent software engineering techniques. A significant portion of his recent work focuses on applying Large Language Models to various software engineering tasks, including vulnerability detection, API usage analysis, and test automation. His publication record shows a clear trend toward increasingly sophisticated applications of AI in software engineering, with recent work heavily featuring LLMs for tasks ranging from vulnerability patch porting to resource leak detection. The research spans multiple domains including microservice systems, automotive software, and Web of Things security. Best Paper Award of ICSM 2011 ACM SIGSOFT Distinguished Paper Award of ASE 2018 and 2021 IEEE TCSE Distinguished Paper Award of ICSME 2018, 2019, and 2020 IEEE Transactions on Software Engineering Best Paper award for 2018 Professor Peng serves in numerous leadership roles including Deputy Director of CCF Technical Committee on Software Engineering, Co-Editor-in-Chief of Journal of Software: Evolution and Process, and Associate Editor for ACM Transactions on Software Engineering and Methodology. He has been actively involved in program committees for major software engineering conferences including ICSE, ASE, ESEC/FSE, and ICSME. He leads the CodeWisdom research team at Fudan University, which has developed several benchmark systems including TrainTicket for microservice research. The team's work bridges academic research with industrial applications, particularly in microservice systems analysis and intelligent software development tools.

• Financial Mathematics
• Actuarial Mathematics
• Stochastic Processes
• +۷ مورد دیگر

Thorsten Schmidt is Professor of Mathematical Stochastics at the University of Freiburg, succeeding Prof. Ernst Eberlein in the summer semester of 2015. He also serves as Senior Financial Engineer at MathFinance. Previously, he held professorships at Chemnitz University of Technology (2008-2015), Technical University Munich (2008), and University of Leipzig (2004 onwards). From 2017-2019, he was a Research Fellow at the Freiburg Institute for Advanced Studies (FRIAS) in a joint research group with the University of Strasbourg and USIAS on the topic of Linking Finance and Insurance. His research focuses primarily on financial and actuarial mathematics, stochastic processes, and statistics, with recent work on machine learning methods and their applications in financial mathematics and AI regulation. In Freiburg, his goal with his young team is to tackle complex challenges with improved mathematical models and apply these methodologies to various fields. Key Research Areas: Financial mathematics and credit risks Pricing and hedging of derivative financial products Statistics of stochastic processes Energy markets and nonlinear filter theory Machine learning applications in finance and insurance His recent publications show a strong trend toward integrating machine learning with traditional mathematical finance, particularly in risk management, insurance-finance arbitrage, and robust financial modeling. His work increasingly addresses ethical considerations in AI applications within finance, reflecting his broader interest in responsible AI development. Notable Awards: IDA Award Finance (2015) FRIAS-USIAS Research Fellow (2017/2018) IDA Award Machine Learning and AI (2020) MAPFRE Research Grant (2020) Luis Bachelier Fellow (2021) As Editor-in-Chief of Statistics and Risk Modeling and Associate Editor for Mathematical Finance and International Journal of Theoretical and Applied Finance, Schmidt plays a significant role in academic publishing. He leads the CRC 'Small Data' research center with Harald Binder, focusing on medical problems where disease progression must be estimated with few data points per patient. His LeanAI project, funded by the Vector Foundation, explores the connection between machine learning and theorem-proving software LEAN, aiming to develop AI that can translate between mathematics and formal proof systems. His laboratory work centers around the application of stochastic methods combined with machine learning to solve problems in finance and insurance where data is limited ('Small Data' initiative), with significant funding from DFG (€12 million for CRC Small Data) and the Carl Zeiss Foundation.

Farzaneh Derakhshanمشاهده پروفایل

استادیار

• Type Theory
• Proof Theory
• Programming Languages
• +۷ مورد دیگر

Dr. Farzaneh Derakhshan is an Assistant Professor in the Computer Science Department at Illinois Institute of Technology (Illinois Tech), where she explores logical foundations of concurrency and develops formal methods for program verification. She earned her Ph.D. in Pure and Applied Logic from Carnegie Mellon University in 2021 under Frank Pfenning, followed by a postdoctoral fellowship at CMU with Limin Jia and Stephanie Balzer. Current affiliation: Illinois Tech (since ~2021) Previous affiliation: Carnegie Mellon University (Ph.D. and postdoc) Research focus: Type theory, logical verification, and security for concurrent systems Teaching: Courses on programming languages, type systems, and security Her research addresses fundamental challenges in concurrent programming, including: Developing modal logic frameworks for system verification Designing type systems for intermittent computing Creating behavioral type systems for security guarantees Applying relational logic to GPU security and secure compilation Investigating logical foundations of session-typed processes Formal verification of cyclic process networks Current research trends include: Hybrid dynamic verification for parallel systems Logical approaches to side-channel security Formal methods for cyber-physical systems Crash-resilient computing models Security verification in decentralized applications Noninterference proofs in session-typed concurrency Scientific recognition: NSF SaTC CORE Collaborative Award #2350217 Organizing committee member at Dagstuhl Seminar 26071 Professional leadership: Program committee co-chair for PLACES 2025 Committee roles at LICS 2026, ESOP 2026, ICFP 2025, and ECOOP 2025 Regular reviewer for ACM Transactions journals Laboratory involvement: Co-director of behavioral types research at Illinois Tech Collaboration with Carnegie Mellon's formal verification group Key participant in the FACCT workshop

• Network Security
• Cloud Security
• Internet of Things Security
• +۵ مورد دیگر

Rémi Badonnel is a Professor in the Department of Computer Science at the University of Lorraine's Faculty of Science and Technology, affiliated with the LORIA research laboratory in France. With over 20 years of research experience, his work focuses on network security, cloud security, and network management systems. His research interests span multiple critical areas of cybersecurity including Network and cloud security architecture Internet of Things security frameworks Software-defined networking security Automated security configuration systems Cybersecurity education and workforce development His work often combines theoretical foundations with practical implementations, particularly in the areas of formal verification for security policies and machine learning applications for threat detection. Analysis of his recent publications (2021-2025) reveals a strong focus on cloud security challenges, particularly around service composition, migration security, and formal verification methods. His work increasingly incorporates AI/ML techniques for security automation while maintaining strong theoretical foundations in network management principles. His research shows consistent collaboration with European institutions, particularly in cybersecurity education initiatives. As an academic leader, he has supervised numerous researchers including Martín Barrère, Anthéa Mayzaud, Adrien Hemmer, and Nicolas Schnepf, who have co-authored multiple publications with him. His editorial roles for IEEE Transactions on Network and Service Management demonstrate his standing in the network security research community.

Tej Chajedمشاهده پروفایل

استادیار

• Formal verification of systems software
• Concurrent systems verification
• Crash-safe file systems
• +۵ مورد دیگر

Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison, where he conducts research in formal verification of systems software. His work focuses on building and proving the correctness of critical systems, particularly file systems and concurrent software. Dr. Chajed earned his PhD from MIT in the PDOS group, followed by a one-year postdoc at VMware Research before joining UW-Madison. His academic journey reflects a strong commitment to bridging theoretical formal methods with practical systems implementation. Chajed's research centers on formal verification techniques for systems software, with particular emphasis on concurrent and crash-safe systems . His work aims to eliminate bugs in critical software through mathematical proofs of correctness. Key contributions include DaisyNFS (a verified concurrent file system), the Perennial framework for reasoning about crash safety, and Goose for connecting proofs to Go code. His research spans the intersection of programming languages, operating systems, and formal methods, developing practical tools that bring verification to real-world systems. His recent publications demonstrate a consistent trajectory toward more practical and scalable verification techniques for increasingly complex systems. The research shows progression from foundational verification frameworks to applied work on specific systems like file systems, journaling, and distributed protocols. A notable trend is the focus on making verification more accessible and practical for systems developers, bridging the gap between theoretical formal methods and real-world software engineering. Dr. Chajed serves on numerous program committees including OSDI 2025 PC, PLDI 2024 PC, SySDW 2023 PC, ECOOP 2023 ERC, CPP 2023 PC, POPL 2023 PC, PLDI 2022 PC, POPL 2022 AEC, EuroDW 2021 PC, POPL 2021 AEC, PLDI 2020 AEC, POPL 2020 AEC, and SOSP 2019 AEC, reflecting his standing in the systems and programming languages research community. In teaching, Chajed has developed and instructed courses on systems verification, operating systems, and protocol verification. He previously helped create MIT's 6.826 (Principles of Computer Systems) during his PhD. His passion for technical communication was cultivated during his time as a Communication Fellow in the EECS Communication Lab at MIT, where he continues to offer guidance to students on writing and presentation skills. His research group at UW-Madison focuses on advancing the state of the art in systems verification, with current projects centered around practical verification frameworks for concurrent and crash-safe systems.

Allison Sullivanمشاهده پروفایل

استادیار

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

Allison Sullivan is an Assistant Professor of Computer Science at the University of Texas at Arlington (UTA), where she also serves as the Undergraduate Software Engineering Program Director. She is a member of the Software Engineering Research Center (SERC) at UTA and serves as faculty advisor for UTA's Society of Women Engineers (SWE) club. Dr. Sullivan received her PhD in Software Verification, Validation and Testing (SVVAT) from the University of Texas at Austin in 2017 under Sarfraz Khurshid. Her educational background includes: PhD in Software Verification, Validation and Testing, University of Texas at Austin (2017) M.S. in Software Engineering, University of Texas at Austin (2014) B.S. in Software Engineering, University of Texas at Dallas (2012) Dr. Sullivan's research focuses on two primary areas: Automated Software Engineering : Test/Oracle Generation, Automated Bug Localization and Repair, Mutation Testing, and Regression Testing Formal Methods and Programming Languages : Abstractions, Finite Model Finders, Program Synthesis, and SAT/SMT Solvers She leads the SCOPE lab which focuses on 'showing the correctness of all program executions' and has published extensively on Alloy modeling language applications. Her recent publications demonstrate a strong focus on applying formal methods to software engineering problems, with a growing emphasis on the intersection of large language models and software development practices. Her work spans theoretical foundations, tool development, and empirical studies of how developers use modeling languages. Her scientific achievements have been recognized with: NSF CAREER Award (2024) UTA CSE department Rising Star Research Award (2024) UTA College of Engineering Outstanding Early Career Faculty Award (2025) NSF grant for building an educational tool for software modeling ($400k) Dr. Sullivan has successfully advised two PhD students to completion: Dr. Ana Jovanovic (defended November 2024) and Dr. Anahita Samadi (defended February 2025). She actively mentors undergraduate researchers and has secured significant research funding including the NSF CAREER grant. Her service includes committee roles for major conferences including ASE, ISSRE, and FormaliSE. She leads the SCOPE lab at UTA, which brings together graduate and undergraduate researchers to develop techniques for improving software verification and validation, with particular emphasis on making formal methods more accessible to practitioners.

Juan Zhaiمشاهده پروفایل

استادیار

• Software-AI Synergy
• Software Dependability
• Formal Specification Synthesis
• +۴ مورد دیگر

Juan Zhai is an Assistant Professor in the Manning College of Information & Computer Sciences (CICS) at University of Massachusetts Amherst, where she co-directs the Laboratory for Advanced Software Engineering Research (LASER) and participates in the UMass NLP group. Her academic career spans over 7 years of active service including program committee roles at top-tier conferences like ICSE, FSE, and ASE. Her research focuses on Software-AI Synergy with core areas including: Formal Specification Synthesis for precise software behavior definition Comment Generation and Maintenance using LLMs Trustworthy AI through bias detection and framework testing Deep Learning Infrastructure Reliability Recent work demonstrates strong emphasis on practical tools for AI safety and software dependability. Her publication trends show consistent output in top software engineering venues (ASE, ICSE, FSE) with increasing focus on AI/ML conferences (ACL, CVPR, ICLR). Key themes include metamorphic testing for deep learning frameworks, bias analysis in LLMs, and formal methods for specification synthesis. She actively serves the community through: Program committees for 13 major conferences Reviewing for 5 top journals including TOSEM and TSE 40+ total reviews across SE and AI venues Juan mentors PhD students including Gehao Zhang (research focus: Software Engineering, AI Safety) and teaches graduate courses like CS520 (Theory and Practice of Software Engineering) and CS692P (Hot Topics in SE Research). She leads the LASER lab which develops tools like C2S, CPC, and DevMuT for software reasoning and AI infrastructure testing.

Tobias Nipkowمشاهده پروفایل

استاد

• Formal Methods
• Interactive Theorem Proving
• Program Verification
• +۹ مورد دیگر

Professor Tobias Nipkow is a leading researcher in formal methods and interactive theorem proving at the Technical University of Munich (TUM), affiliated with the School of Computation, Information and Technology and the Department of Computer Science. He is a core developer of the Isabelle proof assistant and leads the Theorem Proving Group. His work has profoundly influenced program verification, semantics, and formalized mathematics. University: Technical University of Munich School: School of Computation, Information and Technology Department: Department of Computer Science Research Group: Theorem Proving Group Key Projects: Isabelle, Archive of Formal Proofs, Concrete Semantics His research focuses on formal verification, higher-order logic, semantics of programming languages, and verified algorithms. He has pioneered the formalization of textbook algorithms, data structures like B+-trees and quadtrees, and logical systems. His work bridges theoretical foundations with practical tools for software correctness. The most recent publications show a strong trend in verifying classical algorithms (e.g., Gale-Shapley, Earley parser), data structures (B+-trees, deques), and decision procedures, primarily using Isabelle/HOL. His contributions span foundational logic, program analysis, and educational approaches to formal methods. Best Paper Award at CADE 28 (2021) Tobias Nipkow has made extensive contributions to advising and collaborative research, co-authoring with numerous researchers and students. He has secured support for large-scale formalization efforts and contributed to major projects like the Flyspeck proof of the Kepler conjecture. His work is supported by ongoing development of the Isabelle framework and the Archive of Formal Proofs. He leads the Theorem Proving Group at TUM, which is central to the development and application of Isabelle. The group fosters international collaboration, contributes to the Archive of Formal Proofs, and advances research in automated reasoning, semantics, and verified systems.

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

استاد

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

Robert Bruce Findler is a Professor of Computer Science at Northwestern University, specializing in programming languages and software engineering. He serves as a core developer of the Racket programming language and has contributed extensively to language design, macro systems, and gradual typing. Affiliation: Department of Electrical Engineering and Computer Science, McCormick School of Engineering Research Interests: Programming Languages (PL), Domain-Specific Languages (DSLs), Macro Systems, Gradual Typing, Contracts His work spans both theoretical and practical domains, including the development of Racket's Redex framework for semantics engineering and innovative approaches to contract systems in gradual typing. He has been actively involved in the PL community through committee memberships and program organization. Recent research focuses on macro systems (Rhombus), contract optimization (Collapsible Contracts), and language interoperability (The Functional, the Imperative, and the Sudoku). His GitHub contributions reflect ongoing development in Racket and related tools. Key Collaborations: Racket development ecosystem, PLDI/POPL/ICFP/SPLASH conferences Committee Roles: ICFP Programme Committee, REBLS Program Committee, POPLmark Retrospective Panelist

Philip Wadlerمشاهده پروفایل

استاد

• Theoretical Computer Science
• Functional Programming
• Programming Language Foundations
• +۶ مورد دیگر

Philip Wadler is Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK. He is an ACM Fellow, Fellow of the Royal Society, and Fellow of the Royal Society of Edinburgh. His work spans programming language design, type systems, and formal verification, with significant contributions to Haskell, Java, and XQuery. He has held leadership roles in ACM SIGPLAN and served on editorial boards for major journals. Research Interests: Wadler's research focuses on the foundations of programming languages , including Gradual and session typing Language-integrated query Functional and logic programming XML data models Parametricity and free theorems Verification of smart contracts Publication Trends: Recent articles emphasize type safety, formal verification, and blockchain applications. Key themes include gradual typing (blame calculus), session types for concurrency, and logical foundations of programming. His 2015–2025 papers show sustained focus on type theory and language design . Awards & Recognition: POPL Most Influential Paper (2003 for 1993 work) SIGPLAN Distinguished Service Award Best Paper SBMF 2018 Royal Society-Wolfson Fellowship (2004–2009) ACM Fellow (2007) Fellow of Royal Society of Edinburgh (2005) Advising & Grants: He has supervised numerous PhD students in programs like the Centre for Doctoral Training in Pervasive Parallelism. His EPSRC Programme Grant "From Data Types to Session Types" (2013–2020) funded major advances in concurrency theory. Current work with IOHK explores blockchain verification using Haskell-based Plutus.