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

• Software Verification
• Formal Methods
• Programming Languages
• +۵ مورد دیگر

Jenna Wise DiVincenzo is an Assistant Professor at the Elmore Family School of Electrical and Computer Engineering at Purdue University. She specializes in research areas such as software verification, formal methods, and programming languages, with a focus on gradual verification techniques that combine static and dynamic analysis. Her work emphasizes usability and scalability in verification tools, and she has contributed to projects like Gradual C0 and gradual null-pointer analysis. Dr. DiVincenzo earned her PhD in Software Engineering from Carnegie Mellon University (2023) and a BS in Mathematics and Computer Science from Youngstown State University (2017). She has interned at IBM Research, MIT Lincoln Laboratory, and the Software Engineering Research and Empirical Studies Lab at YSU. Her awards include the Google PhD Fellowship, NSF GRFP Fellowship, and 2022 Rising Star in EECS. Her research projects span theoretical advancements in gradual verification, empirical studies on usability, and practical tool development. She advises PhD students (e.g., Craig Liu, Conrad Zimmerman) and collaborates on initiatives like gradual verification for Rust and educational tools to teach verification concepts. Her work also explores leveraging large language models for specification generation and enhancing verification tool soundness through formal proofs.

Deian Stefanمشاهده پروفایل

دانشیار

• Security
• Programming Languages
• Systems
• +۶ مورد دیگر

Deian Stefan is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego (UCSD). His research focuses on building secure systems through interdisciplinary approaches spanning security , programming languages , and systems . Key areas include WebAssembly security , JavaScript JITs , constant-time programming , memory safety , information flow control , and program analysis tools. He co-founded Intrinsic , a web-security startup later acquired by VMWare, and contributed to standards like W3C WebAppSec and Node.js Security Working Groups. Education: PhD in Computer Science from Stanford University (2015), advised by David Mazières, John C. Mitchell, and Alejandro Russo BE and ME in Electrical Engineering from Cooper Union (2011) Research Trends: His work targets secure systems (Web frameworks, sandboxing, runtime systems), language-based security (constant-time programming, memory safety), and verification for security . Recent publications focus on mitigating speculative execution attacks, hardware-assisted sandboxing, and WebAssembly security. Awards & Recognition: Distinguished Paper Award at POPL 2021 and IEEE MICRO Top Picks 2024 Best Paper Award at CollaborateCom 2010 2010.01 Prize by Daniel J. Bernstein (DJB) Most Influential Paper Award at ICFP 2022 Teaching: He has taught graduate and undergraduate courses including Graduate Computer Security (CSE 227) , Building Secure Systems with Rust , and Programming Languages: Principles and Paradigms at UCSD since 2018. Prior teaching experience includes Stanford and Cooper Union.

Nadia Polikarpovaمشاهده پروفایل

دانشیار

• Program Synthesis
• Program Verification
• Type Systems
• +۵ مورد دیگر

Nadia Polikarpova is an Associate Professor in the Department of Computer Science and Engineering at the University of California, San Diego . She earned her PhD from ETH Zurich in 2014 under Bertrand Meyer , followed by postdoctoral research at MIT CSAIL with Armando Solar-Lezama . Her academic contributions have been recognized with prestigious awards including the 2020 Sloan Fellowship , 2020 Intel Rising Stars Award , and 2020 NSF CAREER Award . Polikarpova's research focuses on program synthesis , program verification , and type systems . She leads the Programming Systems group at UCSD and contributes to the IFIP Working Group 2.8 on Functional Programming since 2022. Her work spans foundational research and practical tools, including projects like Synquid , SuSLik , and Laurel that combine formal methods with machine learning for code generation. Her recent publications in venues like OOPSLA , NeurIPS , and ICFP reveal trends in AI-assisted programming , live programming environments , and formal verification . She has advised numerous PhD and Master’s students including Shraddha Barke , Zheng Guo , and Tristan Knoth , many of whom have moved to prominent academic and industry positions. Notable artifacts from her lab include tools like ColDeco for spreadsheet inspection and Superfusion for eliminating intermediate data structures. 2020 : Sloan Fellow 2020 : Intel Rising Stars Award 2020 : NSF CAREER Award 2021 : Distinguished Paper at POPL 2023 : Distinguished Artifact at PLDI 2023 : Distinguished Paper at OOPSLA Polikarpova actively contributes to academic service, serving on program committees for PLDI , POPL , and OOPSLA , and co-chairing the OOPSLA Review Committee in 2023. She has delivered keynotes at APLAS'20 and PLDI'24 , emphasizing the integration of large language models with formal methods.

Deian Stefanمشاهده پروفایل

دانشیار

• security
• programming languages
• systems
• +۷ مورد دیگر

Deian Stefan is an Associate Professor at the University of California San Diego (UCSD) in the Department of Computer Science and Engineering . His research spans security , programming languages , and systems , with a focus on building principled and practical secure systems. He has served as a co-founder and Chief Scientist at Intrinsic (acquired by VMWare) and contributed to standards bodies like the W3C WebAppSec and Node.js Security Working Groups . His research interests include: Secure Systems : Web frameworks, browser designs, sandboxing, runtime systems Language-Based Security : Constant-time programming, memory safety, information flow control Verification : Security verification, static/symbolic analysis tools WebAssembly and JavaScript JITs security Deian Stefan has received multiple scientific awards , including several Distinguished Paper Awards at venues like POPL, ICFP, and USENIX Security, as well as the IEEE Cybersecurity Award for Practice (2022) and CSAW 2020 First Place for Applied Research. He has taught courses on Computer Security (CSE 127, CSE 227) and advanced topics in Building Secure Systems (CSE 291) using Rust, WebAssembly, and blockchain security. His work has been supported by collaborations with industry and academia, including projects like RLBox and COWL .

Tong Lamمشاهده پروفایل

دانشیار

• History
• Science and Technology Studies
• Media Studies
• +۳ مورد دیگر

Tong Lam is an Associate Professor in the Department of Historical Studies and the Graduate Department of History at the University of Toronto, where he also directs the Dr. David Chu Program in Asia-Pacific Studies at the Asian Institute. His research sits at the intersection of media studies, environmental history, and science and technology studies (STS), focusing on the politics and aesthetics of mobilization in China’s special zones across socialist and postsocialist eras. Employing interdisciplinary methodologies, his work explores themes such as state-precipitated violence, industrial ruination, and the socio-political implications of technology. He is a visual artist whose lens-based projects interrogate military violence, surveillance, and postindustrial landscapes. His recent scholarship analyzes postsocialist urbanism, digital governance, and the temporalities of infrastructure. While the absence of explicit scientific awards or student advisement records in the provided text precludes their inclusion here, his publications and creative practice reflect a sustained engagement with critical historical inquiry and contemporary socio-technological challenges.

Alexander Pretschnerمشاهده پروفایل

استاد

• Software Engineering
• Testing
• Information Security
• +۵ مورد دیگر

Prof. Alexander Pretschner is a Professor of Software & Systems Engineering at the Technical University of Munich (TUM) and Founding Director of the Bavarian Research Institute for Digital Transformation (bidt). He also serves as Scientific Director of fortiss, a Bavarian research institute for software-intensive systems. His research focuses on software engineering, testing, information security, and ethical software development. Pretschner holds a PhD from TUM and has held academic positions at Karlsruhe Institute of Technology (KIT) and TU Kaiserslautern. He is a co-editor of several prestigious journals, including IEEE Transactions on Reliability and the Journal of Software Testing, Verification and Reliability. Education: PhD in Computer Science, Technical University of Munich MSc in Computer Science, University of Kansas (on Fulbright Scholarship) Diplom in Computer Science, RWTH Aachen University Research Interests: His work spans testing methodologies, secure software design, and ethical considerations in agile development. Notable contributions include frameworks for metamorphic testing, distributed data usage control, and accountability mechanisms for cyber-physical systems. Awards: IBM Faculty Award (2012, 2013) Google Focused Research Award (2011, 2012) EARTO Innovation Prize (2014) 2nd Platz Supervisory Award (2020) Advising & Grants: Pretschner has supervised numerous PhD and Master’s students, contributing to over 200 publications. He leads projects like EDAP (Ethical Deliberation in Agile Processes) and collaborates with industry partners on cybersecurity and AI ethics initiatives. Labs & Teams: His work is anchored in bidt, fortiss, and TUM’s Chair of Software & Systems Engineering, focusing on societal impacts of digitalization and trustworthy AI systems.

Cyrille Arthoمشاهده پروفایل

دانشیار

• Software Engineering
• Formal Methods
• Cybersecurity
• +۵ مورد دیگر

Cyrille Artho is an Associate Professor in the Division of Theoretical Computer Science at KTH Royal Institute of Technology, actively contributing to research in formal methods, software testing, and cybersecurity. His work spans model checking, smart contract security, and concurrent systems verification, with significant contributions to tools like Java Pathfinder and Modbat. PhD from ETH Zurich (2005) with dissertation on multi-threading fault detection Teaches Software Safety and Security, Software Engineering Fundamentals, and supervises degree projects His research focuses on developing formal techniques for safety-critical systems, particularly in blockchain security and distributed applications. Recent work emphasizes smart contract verification, anomaly detection in microservices, and trusted execution environments for secure cloud analytics. The 15 most recent publications reveal a strong trend toward blockchain security (6 articles), formal verification of distributed systems (5), and novel testing methodologies (4), with increasing integration of machine learning for vulnerability detection. As chair of the FTSCS workshop series and contributor to major conferences like ASE and ICST, Artho has significantly shaped the formal methods community. His leadership in organizing workshops demonstrates commitment to advancing safety-critical systems research. Principal investigator for C3.ai DTI Cyber Safety Cage for Networks project Develops Modbat framework for model-based API testing Active in Digital Futures research initiative at KTH

David I. Augustمشاهده پروفایل

استاد

• Compilers
• Computer Architecture
• Parallel Processing
• +۴ مورد دیگر

David I. August is a Professor of Computer Science at Princeton University, affiliated with the Department of Electrical Engineering. He earned his Ph.D. from the University of Illinois at Urbana-Champaign in 2000. His research focuses on compilers and computer architecture, emphasizing synergistic design between compilers and microarchitecture. He leads the Liberty Research Group, which explores topics such as automatic parallelization, memory profiling, and speculative execution. August joined Princeton in 1999 as a lecturer, advancing to full professor in 2012. He has served as program chair for MICRO 2009 and on committees for ISCA, PLDI, and ASPLOS. His notable accolades include the IEEE Fellow designation, Best Paper Awards at PLDI and CGO, and teaching awards from Princeton's School of Engineering. His work spans compiler optimizations, hardware-software co-design, and security architectures like TrustGuard. Recent research includes GPU scheduling (GhOST), memory profiling frameworks (PROMPT), and instruction prefetching (PDIP). He advises over 20 graduate students, many now leading roles at tech companies and academia. August teaches courses such as COS-126 (Intro to CS), COS-375 (Computer Architecture), and graduate seminars. His projects often bridge theory and practice, with tools like NOELLE and Liberty Research Group initiatives advancing compiler infrastructure and parallelism extraction.

Danyang Zhuoمشاهده پروفایل

استادیار

• Datacenter and Cloud Computing
• Machine Learning Systems
• Operating Systems
• +۳ مورد دیگر

Danyang Zhuo is an Assistant Professor of Computer Science at Duke University, Trinity College of Arts & Sciences, with expertise in datacenter/cloud computing and machine learning systems. He joined Duke in 2020 after postdoctoral research at UC Berkeley under Ion Stoica and a PhD at the University of Washington advised by Tom Anderson and Arvind Krishnamurthy. Education: PhD in Computer Science (University of Washington, 2019) His research focuses on improving cloud infrastructure through systems like Phoenix (application-level abstractions) and Phantora (GPU cluster simulation). Recent work explores LLM verification, tensor compression via video codecs, and fairness in LLM serving. His 15 most recent publications span operating systems, machine learning, and networked systems conferences like HOTOS, NSDI, SIGCOMM, and OSDI. Scientific honors include NSF CAREER Award (2023), USENIX Security Distinguished Paper (2023), and multiple industry research awards. He has secured major NSF grants for projects including "OS-Managed Remote Procedure Call" and "Campus-level RDMA Networking." At Duke, he advises PhD students and teaches courses such as Introduction to Operating Systems (CompSci 310) and Systems for Machine Learning (CompSci 590.05). His work appears in leading conferences and journals, with collaborations across institutions including UC Berkeley, University of Washington, and industry partners.

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

Alexander Summers is an Associate Professor at the Department of Computer Science , University of British Columbia . He joined UBC in March 2020 after serving as a Senior Researcher (Oberassistent) at ETH Zurich from 2014-2020. His research bridges Programming Languages , Formal Methods , and Software Engineering , with a focus on automated verification tools for heap-based and concurrent programs. MSc Joint Mathematics and Computer Science, Imperial College London (2004) PhD Computer Science, Imperial College London (2009) Postdoc, ETH Zurich (2009-2014) Summers leads the Prusti Project , developing deductive verification tools for Rust, and contributes to the Viper Project for intermediate verification languages. His work addresses challenges in: Memory safety and concurrency verification Ownership models and aliasing control Automated reasoning with SMT solvers Resource-oriented programming specifications Debugging verification condition quantifiers Formal validation of verification infrastructure His research has been recognized with a Amazon Research Award and ACM SIGPLAN Distinguished Paper Awards . He teaches courses like Advanced Software Engineering and Program Verifiers and Program Verification , and supervises graduate students in formal verification and Rust-related research.

Limin Jiaمشاهده پروفایل

استاد پژوهشی

• Security
• Programming Languages
• Formal Verification
• +۳ مورد دیگر

Limin Jia is a Research Professor in the Electrical and Computer Engineering (ECE) department at Carnegie Mellon University, with a courtesy appointment in the Computer Science Department (CSD). Affiliated with CyLab, their work focuses on applying formal techniques to enhance software security through programming language design, formal verification, and information flow analysis. Research interests span Security Programming Languages Formal Verification Information Flow Control Intermittent Computing Rust Programming . Recent publications integrate formal methods with practical security challenges, including Node.js vulnerability detection Rust API testing Secure multi-execution Intermittent computing type systems IFTTT security analysis Browser security frameworks . Limin serves on program committees for conferences like POPL, PLDI, VMCAI, and is actively involved in teaching courses such as Browser Security (18-636) Introduction to Information Security (18-631) .

Laurie Williamsمشاهده پروفایل

استاد

• Software Security
• Agile Software Development
• Software Supply Chain Security
• +۴ مورد دیگر

Laurie Williams serves as a Goodnight Distinguished University Professor in the Computer Science Department within the College of Engineering at North Carolina State University. She co-directs both the NCSU Secure Computing Institute and the NC State Science of Security Lablet, demonstrating deep institutional leadership in cybersecurity research. With over 260 refereed publications, her work establishes her as a prominent figure in software security academia. Her research spans critical areas including software security, agile development practices (particularly continuous deployment), software reliability, and software supply chain security. Williams focuses on practical security solutions addressing modern challenges like malicious dependencies in open-source ecosystems, AI-generated code vulnerabilities, and runtime protection mechanisms. Her work bridges theoretical security principles with industry-relevant applications. Recent publications reveal strong trends toward software supply chain security, with multiple 2024-2025 papers addressing vulnerability exploitability, malicious commit detection, and metrics-driven security control selection. Her research increasingly incorporates machine learning for threat detection while maintaining focus on human factors in secure development practices. IEEE Fellow (2018) National Science Foundation CAREER Award (2004) ACM SIGSOFT Influential Educator Award (2009) Multiple IBM Faculty Awards (2002-2012) NCSU Alumni Association Outstanding Research Award (2015-2016) Williams leads multiple major NSF-funded projects including the $5.7M SaTC Frontiers grant on secure software supply chains and the Science of Security Lablet with $3.6M in DoD funding. Her research emphasizes practical industry impact through collaborations with Cisco and Laboratory for Analytic Sciences. She actively mentors through the NCSU Research Leadership Academy and maintains significant educational outreach in software security. Her laboratory work centers on the Secure Computing Institute and Science of Security Lablet, where her team develops frameworks for vulnerability prediction, supply chain risk assessment, and secure development methodologies. Current projects focus on machine learning integrity, cognitive modeling for security decisions, and empirical analysis of build/deployment logs for anomaly detection.

Peter Müllerمشاهده پروفایل

استاد

• Formal Methods
• Program Verification
• Programming Languages
• +۴ مورد دیگر

Prof. Peter Müller is a Full Professor at the Department of Computer Science at ETH Zurich since 2008. Previously, he held positions as Assistant Professor at ETH Zurich (2003-2008), Researcher at Microsoft Research Redmond (2007-2008), and IT project manager at Deutsche Bank. He earned his Diploma in Computer Science from Technical University of Munich (1996) and his Dr. rer. nat. from University of Hagen (2001) with a dissertation on modular verification of object-oriented programs. His research focuses on enabling correct software development through programming languages, verification methods, and tools. Key areas include formal verification for Rust and Go programs (Prusti and Gobra projects), separation logic, security protocols, and distributed systems verification. Müller's work emphasizes practical verification techniques for real-world systems, including secure router implementations and smart contract verification. Recent research trends highlight advancements in hyperproperties, modular reasoning for iterators and closures in Rust, and formal validation of verification tools. His methodologies bridge theoretical foundations with industrial applications, addressing challenges in concurrency, memory safety, and security assurance. Notable contributions include the SCION internet architecture, the Prusti verifier for Rust, and formal verification frameworks for distributed systems. His work often integrates rigorous mathematical foundations with scalable software engineering practices.

Bryan Parnoمشاهده پروفایل

استاد

• Secure Systems
• Formal Software Verification
• Verifiable Computation
• +۷ مورد دیگر

Bryan Parno is a Professor at Carnegie Mellon University in the Departments of Electrical & Computer Engineering and Computer Science . He is the recipient of the Kavčić-Moura Chair and leads the Secure Foundations Lab , focusing on end-to-end secure systems through formal verification. Research spans secure systems , applied cryptography , distributed systems , and zero-knowledge proofs Developed Verus (verified Rust systems) and Project Everest (verified HTTPS stack) Key contributions include Ironclad , Flicker , and Pinocchio , with impacts on Intel CPUs and Windows/iOS security models His work emphasizes open-source tools and reproducibility , often published in top venues like POPL, PLDI, and IEEE S&P. Recent projects address WebAssembly security and formal verification of complex distributed systems . Major Awards Jay Lepreau Best Paper Award (OSDI 2025) IEEE Cybersecurity Award for Practice (2024) Sloan Research Fellowship (2018) Test-of-Time Awards (IEEE S&P 2023, IEEE S&P 2020) Best Paper Awards at USENIX Security, OOPSLA, and PLDI

Raul Castro Fernandezمشاهده پروفایل

استادیار

• Data Management
• Data Science
• Databases
• +۶ مورد دیگر

Raul Castro Fernandez is an Assistant Professor of Computer Science at the University of Chicago, where he researches data ecology, a concept he created to study how data shapes our world and how we can shape it back. He is the faculty co-lead of the Data Science Institute's Data Ecology Research Initiative and a member of ChiData, the data systems research group at the University of Chicago. He is also co-founder and Chief Research Officer at invocate and co-runs Chicago Data Night, a forum connecting industry and academia in Chicago. Castro Fernandez's research focuses on data ecology, data discovery, data markets, and data integration. He develops both theory and systems that help people and organizations find, evaluate, and use data effectively. His work often uses techniques from data management, statistics, and machine learning. He has pioneered concepts in data market design, understanding the economics of data, and building platforms to support markets of data. His research on data ecology frames how data moves through and transforms technological, economic, and social systems—and how to design interventions to make those ecosystems more valuable, equitable, and resilient. His publications reveal a strong focus on data markets, data discovery, and LLM applications for data management. Recent work includes Pneuma (leveraging LLMs for tabular data), Solo (data discovery using natural language), and Nexus (correlation discovery for spatio-temporal data). His research spans theoretical foundations of data value to practical systems for data sharing and discovery. SIGMOD Test of Time Award (2023) NSF CAREER Award (2024) Sloan Research Fellowship (2025) Castro Fernandez has advised numerous PhD, Master's, and undergraduate students who have gone on to pursue PhDs at institutions like University of Washington and Stony Brook, joined companies like Google, Anthropic, and Citadel, or founded startups. His teaching includes courses on The Value of Data, Ethics in Data Science, and Introduction to Databases. He serves on program committees for major conferences including SIGMOD, VLDB, and CIDR, and has been recognized as a Distinguished Reviewer by multiple venues.