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

Byron Cookمشاهده پروفایل

استاد

• Theorem Proving
• Program Analysis/Verification
• Formal Methods
• +۴ مورد دیگر

Byron Cook is a Professor of Computer Science at University College London (UCL) and Vice President & Distinguished Scientist at Amazon / AWS . His work bridges formal methods , automated reasoning , and program verification in domains spanning GenAI , distributed systems , hardware , operating systems , and biological systems . Academic Roles : UCL Professor (since 2014), Microsoft Researcher (2004-2014) Industry Leadership : Amazon (2018-present), Microsoft (1999-2014) Research Interests focus on theoretical computer science with applications in: Program Termination Proving (TERMINATOR/T2 tools) Memory Safety (SLAyer project) Biological Systems Modeling (Bio Model Analyzer) Cloud Security (AWS Access Analyzer, Tiros) Formal Verification of Windows device drivers (Static Driver Verifier) Scientific Contributions include groundbreaking work on automated termination proofs , shape analysis , and access policy verification . His 15 recent publications (2016-2023) demonstrate sustained impact in formal verification of AWS systems , biological modeling , and distributed SMT solving . PhD Students Advised : Alexey Gotsman, Eric Koskinen Current PhD Student : Kaustubh Nimkar Awards : Fellow of the Royal Academy of Engineering (FREng)

Sharon Shohamمشاهده پروفایل

استاد

• formal verification
• program analysis
• model checking
• +۴ مورد دیگر

Sharon Shoham is a Professor at the School of Computer Science, Tel Aviv University, specializing in formal verification and program analysis. She leads research under a 5-year ERC grant on supervised verification of infinite-state systems and mentors PhD students, postdocs, and visiting scholars. Research Interests : Her work focuses on formal verification, program analysis, model checking, and verification of distributed systems. She explores inductive invariants, quantifier instantiation, and abstract interpretation. Recent Publications (2023-2025) highlight advancements in liveness properties , hyperproperty verification , quantifier elimination , and distributed protocol verification , often leveraging first-order logic and constraint-solving techniques. Scientific Awards : Distinguished paper awards at POPL 2025 and POPL 2024 Best paper and best student paper awards at DISC 2024, CAV 2019, and DISC 2018 Best paper awards at VMCAI 2016, ATVA 2009, SPIN'08, SAS'07, and FMCAD'07 Advising & Grants : Actively recruits strong PhD students and postdocs under an ERC grant. Collaborates with institutions like Technion and Tel Aviv University on verification frameworks and tools such as Ivy and mypyvy.

Julian W. Märzمشاهده پروفایل

پژوهشگر ارشد

• Biomedical Innovation Law
• Research Ethics
• Pharmaceutical Pricing
• +۳ مورد دیگر

Julian W. März serves as a Senior Teaching and Research Assistant and research fellow at the Institute of Biomedical Ethics and History of Medicine (IBME) within the Medical Faculty of the University of Zurich. He additionally holds associated researcher positions at the Digital Society Initiative (DSI), the Competence Center Medicine – Ethics – Law Helvetiae (MERH), and the URPP Innovative Therapies in Rare Diseases (ITINERARE). His teaching spans the University of Zurich, ZHAW, and FFHS, while he concurrently advises the WHO on digital and public health ethics, leading their curriculum development project for AI in health since March 2023. His educational trajectory includes: Master’s in Economic Law (IEP de Paris, 2016) Ph.D. in Law (University of Passau, 2020) Ph.D. in Bioethics (University of Zurich, 2023) Doctorate in Medicine (University of Regensburg, 2023) German State Diploma in Medicine (2023) Dr. März’s research centers on biomedical innovation law, research ethics, and pharmaceutical pricing, with specialized focus on gene/cell therapies, AI in pharmaceutical R&D, and rare disease treatments. His interdisciplinary approach bridges legal frameworks, medical practice, and ethical considerations to address emerging global health challenges. Analysis of his 15 most recent publications (2021-2025) reveals consistent engagement with pandemic ethics, vaccine allocation, migrant healthcare access, and sanctions' health impacts. A dominant thread is the application of proportionality principles to public health crises, alongside growing emphasis on AI governance and rare disease innovation. Funded throughout his studies by the German National Academic Foundation, he now leads WHO initiatives integrating ethics into AI health technologies. His advisory role extends to WHO’s Digital Health and Innovation and Health Ethics & Governance Units, though specific grant details beyond this project remain unreported. His institutional affiliations—including DSI, MERH, and ITINERARE—demonstrate deep integration within Zurich’s interdisciplinary research ecosystem focused on ethics-law-medicine intersections, particularly in digital health and rare disease innovation.

• Database Systems
• Spatial Data Processing
• Indexing Algorithms
• +۳ مورد دیگر

Walid G. Aref is a Professor at Purdue University, West Lafayette, USA, specializing in database systems, spatial data processing, and big data technologies. His work focuses on adaptive indexing, LSM trees, and graph data systems. 2025: Research on skiplists, GTX graph systems, and BMTree indexing 2024: Contributions to trajectory indexing and HTAP-optimized data systems 2023: Editorial roles in ACM Transactions on Spatial Algorithms and Systems His research spans scalable spatial-keyword query processing, distributed streaming systems, and hardware-aware database optimization. Notable collaborations include Ahmed R. Mahmood and Mourad Ouzzani. Recent publications highlight trends in machine learning for indexing , NUMA-aware optimization , and multi-dimensional data structures . He has no listed scientific awards in this dataset. Walid actively contributes to transactional graph systems , load balancing , and spatiotemporal data management , with a 2021 IEEE Transactions paper on attack-resilient load balancing.

Eric Goubaultمشاهده پروفایل

استاد

• Computer Science
• Concurrency
• Formal Verification
• +۴ مورد دیگر

Eric Goubault is a Professor of Computer Science at École Polytechnique , where he leads the computer science department and the LIX laboratory (UMR 7161). His research centers on verification of numerical programs and systems , geometric methods for concurrency , and directed topology with applications in distributed and fault-tolerant computing. He oversees the Engineering of Complex Systems academic and research chair, sponsored by major industry partners like Thales and Naval Group, and manages the COMASIC master program. Current projects include: ACAT (Applied and Computational Algebraic Topology) COVERIF (Abstract interpretation for floating-point verification) MALTHY (Algebraic methods for timed systems) CAFEIN (Numerical invariants analysis) He has supervised multiple students, including: Current: Jérémy Ledent, Bibek Kabi, Nikolas Stott, Jérémy Dubut Past: Khalil Ghorbal

Sérgio Duarteمشاهده پروفایل

استادیار

• Distributed Systems
• Cloud Computing
• Database Management
• +۳ مورد دیگر

Sérgio Duarte is an Assistant Professor at the Department of Informatics, Faculty of Sciences and Technology, Universidade Nova de Lisboa (FCT/UNL). His research focuses on distributed systems, cloud computing, and database management, particularly in consistency models and replication mechanisms. Research Interests: Distributed Systems, Cloud Computing, Conflict-free Replicated Data Types (CRDTs), Consistency Models, Geo-replication, Event-based Systems. Key Contributions: Work on causal consistency, invariant preservation in databases, and client-side fault tolerance in geo-replicated environments. Email: smd@fct.unl.pt

• Security Protocols
• Protocol Analysis
• Formal Verification
• +۵ مورد دیگر

Alessandro Bruni is a Lecturer in Theoretical Computer Science at the IT University of Copenhagen, specializing in Programming Logic and Semantics within the Department of Computer Science. He is affiliated with the Center for Information Security and Trust and maintains an active research profile with numerous publications and projects spanning from 2016 to the present, including ongoing work through 2025. His research interests focus on Security Protocols, Protocol Analysis, Formal Verification, Ethical Hacking, Electronic Voting, and Internet of Things Security . Bruni's work bridges theoretical computer science with practical security applications, particularly in constrained environments like IoT devices. He has made significant contributions to the formal analysis of security protocols such as EDHOC (Ephemeral Diffie-Hellman Over COSE) using tools like Tamarin and ProVerif. Analysis of his recent publications (2023-2025) reveals a growing interest in differentiable logics and their formalization in proof assistants like Coq, alongside continued work on security protocols for constrained environments. His research increasingly intersects with machine learning verification and robust statistical methods for security applications. Bruni serves as Principal Investigator for multiple research projects including VeriFunAI: Verified Functional Analysis for Safe AI (funded by Carlsbergfondet, 2025), GAMESS: GAMification and Education for Secure Software (Danish Agency for Research and Education, 2023-2024), and the De Danske Cybermesterskaber (Danish Cyber Championships) funded by Industriens Fond. His projects consistently focus on formal verification, security education, and practical cybersecurity applications. As an active contributor to public discourse, Bruni has participated in media discussions about ethical hacking frameworks, EU cybersecurity directives, and security improvements for platforms like WhatsApp. His work demonstrates a commitment to both theoretical rigor and practical impact in the cybersecurity field.

• Filesystems
• High Performance Computing
• Distributed Storage
• +۴ مورد دیگر

Ramnatthan Alagappan is an Assistant Professor at the Siebel School of Computing and Data Science, University of Illinois. His research focuses on distributed systems, storage systems, and fault tolerance in modern datacenter environments. He leads projects investigating high-performance storage abstractions, replication strategies, and reliability engineering for distributed infrastructure. Key research areas include filesystem design, crash consistency mechanisms, and optimizing storage hierarchies for hybrid NVM environments. His work emphasizes practical implementations of theoretical models, such as the LazyLog shared log abstraction and IONIA replication framework for disk-based key-value stores. Alagappan has received the NSF CAREER Award (2024) for his research on datacenter-aware storage systems. His recent publications address challenges in disaggregated datacenters, fault tolerance for modern workloads, and automated reliability testing for cluster management systems. He collaborates extensively on projects involving distributed storage protocols, log-based systems, and performance optimization for large-scale infrastructures. His research spans theoretical contributions (e.g., consistency models) to applied systems work (e.g., implementing fault-tolerant storage stacks), with a focus on bridging gaps between hardware capabilities and software system design.

Yehia Abd Alrahmanمشاهده پروفایل

مدرس ارشد

• Formal Methods
• Model Checking
• Reconfigurable Systems
• +۳ مورد دیگر

Yehia Abd Alrahman is a Senior Lecturer at the Department of Formal Methods within the University of Gothenburg. His work focuses on formal methods, model checking, and reconfigurable systems, with particular emphasis on multi-agent systems and attribute-based communication. He develops verification tools like R-CHECK and contributes to theoretical foundations for collective adaptive systems. His research integrates formal verification techniques with practical applications in distributed systems and energy grids. Key research interests include formal verification of reconfigurable systems, attribute-based communication models, and correct-by-design teamwork plans for multi-agent systems. He has published extensively on topics such as bisimulation theory, distributed coordination frameworks, and protocol analysis. His work often bridges theoretical computer science with practical implementation in domains like power grid control and system resilience. Academic contributions span programming language design for CAS, verification frameworks, and pedagogical approaches to formal methods education. Collaborations include projects on runtime verification, distributed API design, and adaptive system coordination protocols. Current research trends emphasize enhancing system correctness through automated synthesis and rigorous formal methods.

Anna Szostak-Chrzanowskiمشاهده پروفایل

استاد

• Geomatics Engineering
• Geotechnical Engineering
• Mining Engineering
• +۴ مورد دیگر

Anna Szostak-Chrzanowski is a Titular Professor at the Department of Geodesy and Geomatics Engineering, University of New Brunswick (UNB), where she has served for over 30 years. She concurrently held a full professorship at Wroclaw University of Technology, Poland (2008–2020), and was Chair of the Department of Geodesy and Cartography there until 2020. She holds a Doctor Habilitatus from the University of Varmia and Mazuria, Poland, and degrees from multiple institutions including UNB and Warsaw Technical University. Her research focuses on interdisciplinary deformation analysis, integrating geodetic monitoring with deterministic modeling. Key areas include dam stability, mining subsidence, and geomechanical modeling. She has contributed to projects globally, such as the Shibuya Dam in China and potash mining in New Brunswick. Anna pioneered the ALERT Deformation Detection System and co-developed the Canadian Centre for Geodetic Engineering at UNB. She has authored seven books and over 300 publications, with notable awards including Poland’s Medal for Merit in Mining and recognition as a Mining General. Her work emphasizes public safety through integrated deformation analysis, particularly in mining and infrastructure projects. Her affiliations include the European MSc program EC-Geo-Sustain and the PhD Evaluation Committee at Wroclaw University. She remains active in projects like Nutrien’s potash mining and KGHM’s copper operations.

Matthew Malensekمشاهده پروفایل

دانشیار

• Big Data
• Distributed Systems
• Cloud Computing
• +۴ مورد دیگر

Matthew Malensek is an Associate Professor in the Department of Computer Science at the University of San Francisco and Academic Director of the MSCS, MSCS Bridge, and MSCS 4+1 programs. He holds a PhD in Computer Science from Colorado State University. Education: PhD in Computer Science (Colorado State University) His research focuses on systems approaches to data science, including scalable analytics, geospatial data management, fog computing, and cloud-edge integration. Notable projects include Galileo (distributed geospatial storage), Minerva (cloud resource management), and Agami (visual analytics for data streams). He co-authored An Introduction to Parallel Programming , a textbook used at USF. Recent work explores computer science identity development among undergraduates and community-engaged learning initiatives addressing tech inequities. His awards include Best Paper recognitions at IEEE/ACM Symposia in 2014 and 2012. Teaching responsibilities include Operating Systems (CS 326) and the Senior Team Project (CS 490). He advises capstone projects in areas like distributed systems, cloud computing, and machine learning. Research labs and collaborations involve fog/cloud hybrid systems, high-throughput data streams, and geospatial analytics frameworks. He actively contributes to open-source projects like FogOS, emphasizing collaborative development and real-world applicability.

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

Andrew Hirsch is an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo, School of Engineering and Applied Sciences. His research focuses on programming languages, epistemic logic, type theory, concurrency, and security mechanisms such as language-based security and information-flow control. He earned his PhD in Computer Science from Cornell University in 2019. His research interests emphasize formal methods for secure and concurrent systems, with notable contributions to choreographies, session types, and compositional security definitions. Recent work includes projects funded by grants like the SHF: Small grant for Open Choreographies. He maintains an active Google Scholar profile and a personal website detailing his research and publications. No awards are explicitly listed in his profile. His advising and grants include contributions to the NSF-funded SHF project (2025) and other collaborative efforts in secure software semantics. He is affiliated with the Department’s research groups focused on programming languages and formal methods.

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

استاد

• Computer Architecture
• GPU Computing
• Quantum Computing
• +۲ مورد دیگر

Lu Peng holds the Yahoo! Founder Chair in Science and Engineering at Tulane University. His research spans computer architecture with focus on GPU optimization, quantum computing, and blockchain acceleration. Peng develops specialized hardware architectures for emerging computing paradigms, including quantum processors, blockchain processing units (BPUs), and efficient GPU memory systems. Recent innovations include GeauxTrace blockchain contact tracing and high-throughput GPU database indexing techniques. Awarded the ORAU Powe Award (2007) and IEEE conference best papers (2019, 2001), Peng maintains active research in computer systems design. He teaches graduate and undergraduate courses in computer architecture while directing research on next-generation computing paradigms.

Carlos Varelaمشاهده پروفایل

استاد

• Formal Verification
• Cyber-Physical Systems
• Cloud and Edge Computing
• +۵ مورد دیگر

Carlos Varela is a Professor in the Department of Computer Science at Rensselaer Polytechnic Institute (RPI). His research focuses on formal verification of cyber-physical systems, cloud/edge computing, and concurrent programming models. He leads the Worldwide Computing Lab at RPI ( link ). B.S., M.S., Ph.D. in Computer Science from the University of Illinois at Urbana-Champaign Research Interests: Fundamental distributed computing principles for data-driven aerospace systems, including safety envelopes for flight systems, middleware for adaptive distributed systems, and formal verification of cyber-physical systems. His work extends to self-driving cars and health informatics. Publication Trends: His recent work emphasizes formal verification of aerospace systems, ethical decision-making in autonomous agents, and middleware for UAV networks. Keywords include cyber-physical systems, edge computing, and data-driven analytics. Scientific Awards: NSF CAREER Award Best Paper Awards at HPDC-GECO, eScience, CCGrid, CLEI, DASC Industry Awards from IBM, Google, Amazon, and PSEG Grants & Leadership: His research has been funded by the National Science Foundation and the Air Force Office of Scientific Research. He has chaired major conferences like CCGrid 2016 and DDDAS2022, authored a foundational textbook (MIT Press, 2013), and supervised 26 graduate students. As an instrument-rated private pilot with 1100+ flight hours, his work bridges theoretical computer science and practical aerospace systems.

Sebastian Schmidlمشاهده پروفایل

پژوهشگر

• Distributed Computing
• Data Profiling
• Time Series Anomaly Detection
• +۳ مورد دیگر

Sebastian Schmidl is a Ph.D. researcher at the Information Systems Group (University of Potsdam, Digital Engineering Faculty ). He is also affiliated with the Big Data Analytics Group at Philipps-Universität Marburg . Research Interests : Distributed computing, time series anomaly detection, data profiling, and scalable reactive systems using actor programming. Academic Roles : Supervised multiple master's and bachelor's theses, delivered guest lectures on reproducibility and order dependencies, and contributed to academic reviewing for conferences like SIGMOD and journals like SoftwareX. His recent publications focus on time series anomaly detection , data profiling query languages , and distributed algorithm design . He has collaborated extensively on benchmarking frameworks and optimization techniques for univariate and multivariate time series data.