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

• Probabilistic Model Checking
• Formal Verification
• Safety-Critical Systems
• +۴ مورد دیگر

Marta Kwiatkowska is a Professor of Computing Systems at the University of Oxford and a Fellow of Trinity College. Her research focuses on automated verification and quantitative analysis of complex systems, including probabilistic model checking, safety-critical systems, and applications in autonomous robotics, medical devices, and synthetic biology. She led the development of the PRISM model checker, a widely used tool for probabilistic verification. Education: BSc/MSc in Computer Science, Jagiellonian University, Poland MA from Oxford University PhD in Computer Science from the University of Leicester Research Interests: Automated verification techniques for probabilistic systems, safety in AI and autonomous systems, formal methods for medical devices, and computational biology. Her work bridges theory and practice, with applications in robotics, cybersecurity, and synthetic biology. Grants and Awards: EPSRC Programme Grant on Mobile Autonomy ERC Advanced Grants (VERIWARE, FUN2MODEL) Royal Society Milner Award (2018) BCS Lovelace Medal (2019) Advising and Labs: Supervises doctoral students in formal verification and AI safety. Leads research teams at the Department of Computer Science, focusing on tools like PRISM and applications in autonomous systems. Collaborates with the Oxford Martin School on molecular computing and synthetic biology.

• Organic Chemistry
• Biochemistry
• Molecular Biology
• +۳ مورد دیگر

Dr. Sarah Jenkinson is a Stipendiary Lecturer in Organic Chemistry at St Peter's College, University of Oxford. Her academic affiliation is with the Department of Biochemistry. She holds a formal teaching role within the college and specializes in organic chemistry-related research areas such as molecular biology and chemical synthesis. Contact her via email . Her research interests are inferred to focus on interdisciplinary topics at the intersection of organic chemistry and biochemistry, including organic synthesis and biological applications of chemical compounds. Further details on specific projects or collaborations are not detailed in the provided text. Awards and grants are not explicitly mentioned in the text, but her role suggests active involvement in teaching and possibly research within the department.

• Machine Learning
• Electronics and Circuit Design
• Quantum Computing
• +۳ مورد دیگر

Wei Xing is a Lecturer in the School of Mathematical and Physical Sciences at the University of Sheffield. Their research focuses on machine learning applications in electronics and energy systems, including Bayesian optimization for circuit design, quantum simulations, battery degradation prediction, and statistical modeling for yield analysis. They have contributed to advancements in multi-agent systems, surrogate modeling, and thermal analysis of 3D integrated circuits. Their work bridges theoretical innovations in machine learning with practical challenges in engineering and materials science. Key research areas include developing efficient algorithms for circuit optimization, improving predictive models for battery health, and addressing high-dimensional yield estimation in semiconductor manufacturing. Wei Xing’s publications emphasize interdisciplinary approaches, combining statistical methodologies with domain-specific expertise in nanotechnology and energy systems. While no specific awards or grants are mentioned, their extensive publication record reflects a strong focus on impactful computational methods. They are affiliated with the Hicks Building at the University of Sheffield and can be contacted at w.xing@sheffield.ac.uk.

• Software Engineering
• Software Testing
• Machine Learning Systems
• +۴ مورد دیگر

Dr. Iftekhar Ahmed is an Associate Professor in the Department of Informatics at the University of California, Irvine’s Donald Bren School of Information & Computer Sciences. His research focuses on software engineering methodologies, emphasizing software testing, analysis, and accessibility. He holds a Ph.D. in Computer Science from Oregon State University (2018) and a B.S. in Computer Science and Engineering from Shahjalal University of Science and Technology, Bangladesh (2007). Education: Ph.D., Computer Science, Oregon State University, 2018 B.S., Computer Science and Engineering, Shahjalal University of Science and Technology, Bangladesh, 2007 His research integrates artificial intelligence, data mining, and empirical software engineering to improve software quality and safety. Key areas include: Automated testing frameworks for large systems Bug prediction models for code vulnerabilities Accessibility testing tools (e.g., Ma11y mutation framework) Safety-critical systems like autonomous vehicles Recent work explores AI-driven code generation, prompt engineering, and mitigating biases in software tools. His team received a $1.2M grant in 2022 to enhance accessibility testing tools. Ahmed also investigates human factors in software development, including developer mental health and tool adoption challenges. His publications address critical issues like code smells in quantum computing, commit message quality, and Jupyter notebook bug patterns. He actively participates in industry-academia collaborations, such as the 2023 Southern California Software Engineering Symposium.

Paul Careyمشاهده پروفایل

استاد

• Raman Spectroscopy
• Enzyme-Substrate Intermediates
• Drug Resistance Mechanisms
• +۴ مورد دیگر

Paul Carey is a Professor in the Department of Biochemistry at Case Western Reserve University’s School of Medicine. His research focuses on advancing Raman spectroscopy techniques to study enzyme-substrate interactions, particularly in enzyme crystals and live bacterial systems. Key areas include drug resistance mechanisms, RNA ribozyme chemistry, and metal binding dynamics. He has pioneered Raman crystallography for visualizing reaction intermediates in biomolecules such as RNA polymerases and β-lactamases. Education : Doctor of Philosophy, University of Sussex Postdoctoral Research, National Research Council of Canada Research Interests : Carey’s lab integrates Raman microscopy with crystallography to probe molecular-scale biochemical processes. Recent work includes real-time monitoring of drug interactions in bacterial cells and time-resolved studies of RNA synthesis. Techniques like Raman difference spectroscopy and isotope editing enable detailed structural analysis of transient enzyme-substrate complexes. Article Trends : Publications emphasize antibiotic discovery, enzyme inhibition mechanisms, and structural insights from crystalline systems. Key topics span β-lactamase inactivation, biofilm chemistry, and Raman-based approaches to studying high-molecular-weight biomolecular complexes. Grants/Advising : While specific grants are unspecified, his work reflects sustained funding for interdisciplinary structural biology research. No formal student advisee list provided in source text. Labs/Teams : Leads the Carey Lab at Case Western Reserve, collaborating with institutions like the National Research Council Canada and Cleveland’s Case Comprehensive Cancer Center.

T Smithمشاهده پروفایل

پژوهشگر ارشد

• Black Political Behavior
• Gender and Sexuality Studies
• Black-led Social Movements
• +۴ مورد دیگر

T Smith (they/them) is a Research Fellow in Racial Politics at Johns Hopkins University's Krieger School of Arts & Sciences, Department of Political Science. They hold a PhD from the University of Chicago. Education: PhD in Political Science from the University of Chicago (no specific dates provided). Research Interests: Focus on Black political behavior, queer theory, Black Feminism, and social movements. Key areas include Black-led activism, Afrofuturism, gender and sexuality studies, and the intersection of race, politics, and identity. Scientific Awards: None explicitly listed in the provided texts. Advising & Grants: No student advisees or grant information mentioned in the text. Their role emphasizes postdoctoral research rather than formal academic supervision. Labs/Teams: No specific labs or collaborative teams explicitly noted in the provided materials.

Dimos V. Dimarogonasمشاهده پروفایل

استاد

• Multi-Agent Control Systems
• Robot Navigation
• Task Planning
• +۱۱ مورد دیگر

Dimos V. Dimarogonas is a Professor of Automatic Control at the Division of Decision and Control Systems , School of Electrical Engineering and Computer Science , KTH Royal Institute of Technology . His research focuses on multi-agent control systems, hybrid systems, and formal verification with applications to robotics and autonomous systems. Alumnus of National Technical University of Athens (NTUA) Postdoctoral experience at KTH and MIT Research areas include: Multi-agent coordination under temporal logic specifications Hybrid control and planning for autonomous robots Formal verification of safety-critical systems Networked control with limited communication Robust distributed control protocols Applications to precision agriculture, underwater vehicles, and space robotics Recent publications emphasize stochastic control , funnel-based safety , and transient control for leader-follower networks. Scientific accolades include ERC Consolidator Grant (2019) , Wallenberg Academy Fellow (2015) , and ERC Starting Grant (2014) . Supervises numerous PhD students and postdocs, with former advisees now holding academic positions at institutions like Caltech, MIT, and Oxford.

• Organic Chemistry
• Medicinal Chemistry
• Phytochemistry
• +۳ مورد دیگر

Emanuel Thomas Mahambo is affiliated with the University of Vienna as a Predoc and External Lecturer in the Department of Organic Chemistry, Faculty of Chemistry. His research centers on natural product-based drug discovery, particularly investigating phytochemical constituents of Pentas and Chassalia species for antimalarial applications. He employs techniques like mass spectrometry to study secondary metabolites and their bioactive properties. Emanuel holds a BSc and MSc degree, though specific institutions or dates for his education are not provided in the text. His work emphasizes the exploration of plant-derived compounds and their potential therapeutic uses, integrating organic chemistry with pharmacological studies. He has actively contributed to three poster presentations in 2024, focusing on antimalarial drug development and analytical chemistry approaches to characterize bioactive molecules. While no formal academic awards or grants are mentioned, his research highlights a commitment to addressing global health challenges through organic chemistry innovations. Emanuel collaborates closely with colleagues such as Lothar Brecker, Johann Schinnerl, and Martin Zehl, indicating teamwork within the Department of Organic Chemistry. His current role as an External Lecturer suggests involvement in teaching and mentoring, though no specific advisees are listed.

George Metcalfeمشاهده پروفایل

استاد

• Proof Theory
• Non-Classical Logics
• Ordered Algebraic Structures
• +۳ مورد دیگر

Prof. Dr. George Metcalfe is a Professor and Managing Director of the Mathematical Institute (MAI) at the University of Bern. His research focuses on proof theory, non-classical logics, and ordered algebraic structures, with particular emphasis on algebraic semantics and decidability questions. He holds an office at Sidlerstrasse 5, Bern, and can be contacted via george.metcalfe@unibe.ch. His work bridges logic and algebra, exploring topics such as residuated lattices, fuzzy logics, and modal logics. Recent contributions include advancements in equational theories, interpolation properties, and decision procedures for algebraic structures. His research often intersects with computational logic and automated reasoning. Publications span foundational studies of algebraic systems and their logical counterparts, with a focus on substructural logics, lattice-ordered groups, and temporal models. His work frequently addresses decidability, completeness, and computational aspects of abstract algebraic frameworks. Metcalfe has organized international conferences such as the Advances in Modal Logic and Logic, Algebra, and Truth Degrees events. His research demonstrates interdisciplinary rigor, connecting formal logic with algebraic methods to solve complex theoretical problems.

Neil Walkinshawمشاهده پروفایل

مدرس ارشد

• Software Testing
• Causal Inference
• State Machine Inference
• +۳ مورد دیگر

Dr. Neil Walkinshaw is a Senior Lecturer in Testing at the School of Computer Science, University of Sheffield, where he also serves as Inclusive Computing Lead and member of the Testing research group. He holds a PhD from the University of Strathclyde and has held academic positions at the University of Leicester before returning to Sheffield in 2018. His research focuses on software testing and analysis, particularly in complex domains involving causal inference, state machine inference, and second-order uncertainty. Key areas include testing of systems with large input spaces, cyber-physical systems, and scientific software models. He leads the EPSRC-funded CITCOM project developing causal testing frameworks. Dr. Walkinshaw has supervised PhD students including Richard Somers and contributes to academic publishing innovation through platforms like JOSS. His recent work explores applications of causal testing in healthcare systems and autonomous driving validation.

• Automated Reasoning
• Formal Verification
• Synthesis
• +۸ مورد دیگر

Rodrigo Benedito Otoni is a postdoctoral researcher at the University of Lugano (USI), affiliated with the Faculty of Informatics. His research focuses on automated reasoning techniques for verification, synthesis, and certification, with expertise in model checking, SMT/CHC solving, TLA+ specifications, process algebras, and blockchain technologies including smart contracts. He is based at the East Campus, Sector D, Office D2.09 (Level P2), via la Santa 1, 6962 Lugano-Viganello. Key research areas include formal methods for system verification, blockchain application analysis, and the development of tools for automated reasoning. His work bridges theoretical foundations with practical applications in software verification and distributed systems. The full details of his career are documented in his CV (last updated February 2025), which includes comprehensive information on his academic contributions and professional activities.

Oleg Sokolskyمشاهده پروفایل

استاد پژوهشی

• Cyber-Physical Systems
• Formal Verification
• Runtime Monitoring
• +۲ مورد دیگر

Research Professor at University of Pennsylvania leading projects on cyber-physical systems safety. Directs DARPA-funded research in assured autonomy and attack-resilient control systems. Education: PhD in Computer Science from SUNY Stony Brook (1996). Research: Develops formal methods for runtime monitoring and verification of embedded systems. Current projects include medical device interoperability and physiological closed-loop control. Created MaC runtime verification framework and contributed to AADL standardization. Teaching: Advises PhD students in real-time systems and formal verification. Teaches courses on mathematical foundations of computer security. Awards: Best Paper, IEEE/ACM CPS Week (2014) Best Student Paper, RTAS (2012) Labs & Projects: Member of PRECISE Center. Leads DARPA projects on assured autonomy and SPARCS. Collaborates with FDA on medical device safety frameworks.

• Programming Languages
• Parametricity Theory
• Type Systems
• +۶ مورد دیگر

Robert Atkey is a Chancellor’s Fellow and Lecturer in the Department of Computer and Information Sciences at the University of Strathclyde, where he is part of the Mathematically Structured Programming (MSP) group. His research focuses on programming language design and analysis, leveraging mathematical frameworks like category theory, type theory, and denotational semantics. He has contributed to parametricity theory, effect systems, and resource-aware verification systems such as ThreadSafe for Java concurrency. Key research areas include: Parametricity in higher-kinded and dependent type systems Applications of parametricity in DSL representation and scientific programming Development of parameterised monads for effect tracking Formal verification techniques for resource usage and concurrency defects Professional activities include programme committee roles for ESOP 2017 and POPL 2016, co-chairing the 2016 Mathematically Structured Functional Programming workshop, and organizing the Scottish Programming Languages and Verification Summer School 2024. His work bridges academic research with industrial applications, exemplified by the ThreadSafe static analysis tool developed at Contemplate. Current projects include ElePQuant (quantitative predicate logic foundations) and AISEC (AI security through construction). He collaborates on interdisciplinary initiatives like the DTP 2224 research consortium.

Barbara Jobstmannمشاهده پروفایل

مدرس

• Formal Verification
• Program Synthesis
• Repair of Reactive Programs
• +۹ مورد دیگر

Barbara Jobstmann is a Lecturer at the School of Computer and Communication Sciences at École Polytechnique Fédérale de Lausanne (EPFL), where she is also affiliated with the SIN - Administration unit (SIN-GE). She contributes to teaching and organizes outreach initiatives such as the IC Declic Summer School. Additionally, she works for Cadence Design Systems, indicating a strong industry-academia connection in her professional profile. Her research focuses on the development of reliable computer systems through formal methods. Key interests include the synthesis and repair of reactive programs, quantitative verification and synthesis, and the use of temporal logics for system specifications. She investigates the analysis and verification of hardware designs, transactional memories, business process models, and embedded systems. Her theoretical work extends to interface theory, infinite games, and automata theory, which underpin robust system design and verification. While no recent publications or awards are listed in the provided text, her expertise lies at the intersection of theoretical computer science and practical system reliability. She plays an active role in education and outreach within EPFL's computer science community. Barbara Jobstmann has no listed scientific awards or recognitions in the provided information. She advises or has advised no students listed in the current data. There is no mention of research grants or funding sources. She is involved in organizing the IC Declic Summer School, contributing to EPFL’s educational outreach. She is associated with the SIN (Systems, Architecture, Software) research group at EPFL’s School of Computer and Communication Sciences, where she conducts research and contributes to academic and outreach activities.

Steve Zdancewicمشاهده پروفایل

استاد

• Programming Languages
• Type Theory
• Logic
• +۱۱ مورد دیگر

Steve Zdancewic is the Schlein Family President's Distinguished Professor and Associate Chair in the Department of Computer and Information Science at the University of Pennsylvania, School of Engineering and Applied Science. He is a leading researcher in programming languages, type theory, logic, and computer security, with extensive contributions to formal verification, program synthesis, and language-based security. Affiliation: University of Pennsylvania, Department of Computer and Information Science Role: Schlein Family President's Distinguished Professor, Associate Chair Research Group: PL Club (with Benjamin Pierce and Stephanie Weirich) His research focuses on foundational and applied aspects of programming languages, including formal verification of compilers and systems, type-driven program synthesis, information-flow security, quantum programming, and mechanized metatheory. He develops tools and frameworks such as Vellvm (verified LLVM semantics in Coq), Interaction Trees (for modeling impure computations), and QWIRE (for quantum program verification). The recent publications highlight a strong trend toward formal verification, semantics engineering, and program synthesis, particularly using interactive theorem provers like Coq. His work spans functional programming, type systems, concurrency, security, and compiler correctness, with a consistent emphasis on mechanized proofs and practical verification tools. Distinguished Paper Award, ECOOP 2023 Schlein Family President's Distinguished Professor (2021) Distinguished Paper Award, POPL 2020 Christian R. and Mary F. Lindback Foundation Award for Distinguished Teaching (2018) IEEE MICRO Top Picks (2013) Alfred P. Sloan Fellow (2009–2010) NSF CAREER Award (2004) Best Paper at SOSP (2001) Intel Foundation Graduate Fellowship (2001) Best Paper at ICFP (1999) NSF Graduate Fellowship (1996) Zdancewic actively mentors graduate students and postdocs, many of whom have become faculty or researchers in industry. He has led significant research initiatives including the NSF Expedition on Deep Specification and the Vellvm project. He is currently General Chair for POPL 2025 and has served on numerous program committees for top-tier programming language conferences. He leads the Security-Oriented Languages (SOL) group and is deeply involved in the PL Club at Penn, fostering collaborative research in programming languages. His current projects include verified compiler infrastructure, quantum programming semantics, and expressive security policies.