Faculty

Institution

Unit

Venue

Lenore Zuck

Research Professor

University of Illinois Chicago

Affiliations

College of Engineering

Computer Science

Lenore Zuck is currently serving as a College Of Engineering Research Professor at University of Illinois Chicago.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Lenore Zuck

University of Illinois Chicago

Research Professor

You can click a keyword to filter the displayed items

computer science formal methods formal verification systems engineering verification machine learning theoretical computer science logic in computer science automated reasoning model checking software analysis applied mathematics program analysis temporal logic computer security formal specification computer engineering distributed systems general systems optimizing compilers integrity verification formal technique verification and validation computer-aided verification shape analysis abstract interpretation invisible invariants run-time validation computing education information technology ranking algorithms software validation system specification code validation data sharing runtime verification temporal proof translation validation mathematical optimization system science design automation system software scientific computing data privacy communication security complex system engineering formal modeling system synthesis access control model verification condition monitoring publication ethics information ethics interaction protocol abstraction (computer science) non-transactional memory accesses partial models inductive assertions little knowledge correctness proofs machine learning research cryptographic hardware computer-aided design secure protocols cryptographic protocols computational complexity theory algorithmic information theory reconfigurable architectures compiler technology automatic deductive verification alternating bit predicate abstraction verification algorithms translation validator unreliable channels parameterized systems theorem proving software engineering automated proof software verification

Notable Scholarly Works

Notable Federal Grants

Collaborators

It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols. Communications of the ACM (2025)

David BasinNate FosterKenneth L. McMillanKedar S. NamjoshiCristina Nita-RotaruJonathan M. SmithPamela ZaveLenore D. Zuck

protocol analysiscomputer sciencenetwork protocolsdocumentationinteroperability testingsoftware analysisnetworked system designformal specificationspecification languagecommunicationinteraction protocolcommunication securityformal verificationformal specificationssystem specificationverificationformal methods

Program Correctness Through Self-Certification. Communications of the ACM (2025)

formal methodscomputer sciencesoftware verificationsoftware analysisprogram correctnessprogram checkingquality engineeringformal verificationverificationprogram analysissoftware certification

Avoiding Spurious Timeouts. Lecture notes in computer science (2024)

Lenore D. ZuckZhongkai Wen

fault-tolerant messagingcomputer sciencespurious timeouts

A Case Study in Analytic Protocol Analysis in Acl2. Electronic Proceedings in Theoretical Computer Science (2023)

Max von HippelPanagiotis ManoliosKenneth L. McMillanCristina Nita-RotaruLenore Zuck

protocol analysiscomputer scienceanalytic protocol analysistheoretical computer science

A Formal Analysis of Karn’s Algorithm. Lecture notes in computer science (2023)

Max von HippelKenneth L. McMillanCristina Nita-RotaruLenore D. Zuck

computer sciencetheoretical computer sciencenetwork analysisformal analysis

Compositional Testing of Internet Protocols. (2019)

Kenneth L. McMillanLenore D. Zuck

computer sciencecompositional testingsoftware testing

Formal Specification and Testing of Quic. (2019)

Kenneth L. McMillanLenore D. Zuck

computer scienceautomated software engineeringformal specificationsoftware testing

Invisible Invariants Are Neither. Lecture notes in computer science (2019)

Lenore D. ZuckKenneth L. McMillan

computer sciencetheoretical computer scienceinvisible invariants

Model Check What You Can, Runtime Verify the Rest. EPiC series in computing (2018)

Timothy L. HinrichsA. Prasad SistlaLenore D. Zuck

model checkingcomputer scienceruntime verificationformal methods

$$P^5$$: Planner-Less Proofs of Probabilistic Parameterized Protocols. Lecture notes in computer science (2017)

Lenore D. ZuckKenneth L. McMillanJordan Torf

computer scienceprobabilistic parameterized protocolsplanner-less proofsmachine learningtheoretical computer scienceformal methods

1
2
3
4
5
13
10 / page

Lenore Zuck

Research Professor

University of Illinois Chicago

Affiliations

College of Engineering

Computer Science

Lenore Zuck is currently serving as a College Of Engineering Research Professor at University of Illinois Chicago.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Lenore Zuck

University of Illinois Chicago

Research Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

It Takes a Village: Bridging the Gaps Between Current and Formal Specifications for Protocols. Communications of the ACM (2025)

David BasinNate FosterKenneth L. McMillanKedar S. NamjoshiCristina Nita-RotaruJonathan M. SmithPamela ZaveLenore D. Zuck

Program Correctness Through Self-Certification. Communications of the ACM (2025)

formal methodscomputer sciencesoftware verificationsoftware analysisprogram correctnessprogram checkingquality engineeringformal verificationverificationprogram analysissoftware certification

Avoiding Spurious Timeouts. Lecture notes in computer science (2024)

Lenore D. ZuckZhongkai Wen

fault-tolerant messagingcomputer sciencespurious timeouts

A Case Study in Analytic Protocol Analysis in Acl2. Electronic Proceedings in Theoretical Computer Science (2023)

Max von HippelPanagiotis ManoliosKenneth L. McMillanCristina Nita-RotaruLenore Zuck

protocol analysiscomputer scienceanalytic protocol analysistheoretical computer science

A Formal Analysis of Karn’s Algorithm. Lecture notes in computer science (2023)

Max von HippelKenneth L. McMillanCristina Nita-RotaruLenore D. Zuck

computer sciencetheoretical computer sciencenetwork analysisformal analysis

Compositional Testing of Internet Protocols. (2019)

Kenneth L. McMillanLenore D. Zuck

computer sciencecompositional testingsoftware testing

Formal Specification and Testing of Quic. (2019)

Kenneth L. McMillanLenore D. Zuck

computer scienceautomated software engineeringformal specificationsoftware testing

Invisible Invariants Are Neither. Lecture notes in computer science (2019)

Lenore D. ZuckKenneth L. McMillan

computer sciencetheoretical computer scienceinvisible invariants

Model Check What You Can, Runtime Verify the Rest. EPiC series in computing (2018)

Timothy L. HinrichsA. Prasad SistlaLenore D. Zuck

model checkingcomputer scienceruntime verificationformal methods

$$P^5$$: Planner-Less Proofs of Probabilistic Parameterized Protocols. Lecture notes in computer science (2017)

Lenore D. ZuckKenneth L. McMillanJordan Torf

computer scienceprobabilistic parameterized protocolsplanner-less proofsmachine learningtheoretical computer scienceformal methods

1
2
3
4
5
13
10 / page

Similar Faculty Members

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Tevfik Bultan

Institution

University of California, Santa Barbara

access control

automated software engineering

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Clark Barrett

Institution

Stanford University

computer science

formal methods

Ranjit Jhala

Institution

University of California, San Diego

programming language

automated deduction

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

W. Rance Cleaveland

Institution

University of Maryland, College Park

systems modeling

automatic verification tools

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification

Similar Faculty Members

John Hatcliff

Institution

Kansas State University

network-enabled medical devices

system safety

Tevfik Bultan

Institution

University of California, Santa Barbara

access control

automated software engineering

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Clark Barrett

Institution

Stanford University

computer science

formal methods

Ranjit Jhala

Institution

University of California, San Diego

programming language

automated deduction

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

W. Rance Cleaveland

Institution

University of Maryland, College Park

systems modeling

automatic verification tools

Sasa Misailovic

Institution

University of Illinois Urbana-Champaign

energy efficiency

software engineering

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

Ganesh Gopalakrishnan

Institution

University of Utah

programming language

formal verification