Schlein Center for Cybersecurity
Advancing programming languages and software analysis to improve software security, reliability, and correctness.
Building the next generation of confidential computing platforms with the use of trusted hardware and cryptography.
Designing secure, reliable distributed systems with accountability and privacy guarantees.
Creating efficient cryptographic proof systems for practical secure computation
Improving the reliability, security, and trustworthiness of machine learning systems.
Advancing programming languages to enforce security and verify
Professor, Penn Carey Law
Examining insurance, risk, and regulation at the intersection of technology, security, and society.
Professor, CIS
Building trustworthy machine learning systems using programming languages, verification, and neurosymbolic AI.
Professor, ESE / CIS
Designing reconfigurable and efficient computing architectures for next-generation hardware systems.
CISO, Penn Information Systems & Computing
Advancing applied cybersecurity through real-world systems, infrastructure security, and operational practice.
Assistant Professor, CIS
Designing efficient datacenter software systems for faster, more adaptive cloud computing.
Enabling secure collaboration and digital trust through cryptography and secure multi-party computation.
Studying cyber conflict, military innovation, and the global security implications of emerging technologies.
Analyzing technology regulation, competition policy, and the economics of cybersecurity law.
Associate Professor, ESE / CIS
Developing high-performance and memory-centric computer architectures for future systems.
Building secure and adaptive systems for data management with machine learning.
Building human-centered systems and evaluations for AI accountability and user empowerment.
Creating tools that make software and AI systems more reliable, scalarchitectures for future systems
Advancing programming language theory, type systems, and formal foundations of software.g.
Designing algorithms that ensure privacy, fairness, and accountability in AI- and data-driven systems.
Exploring dependable and secure computer systems and networked infrastructure.
Studying intellectual property and innovation policy in technology-driven fields.
Bridging law, policy, and technology in cybersecurity and communications governance.riven fields.
