Faculty

Institution

Unit

Venue

Alexandra Silva

Professor of Computer Science

Cornell University

Affiliations

College of Computing and Information Science

Department of Computer Science

Alexandra Silva is currently serving as a College Of Computing And Information Science Professor of Computer Science at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Alexandra Silva

Cornell University

Professor of Computer Science

You can click a keyword to filter the displayed items

computer science logic in computer science formal methods automated reasoning mathematics formal verification theory of computation theoretical computer science automated deduction programming languages mathematical logic automaton operation software analysis algebra algebraic semantics algebraic logic category theory applied mathematics semantics distributed systems probabilistic programming systems engineering concurrency theory automated proof concurrent systems mathematical sciences probabilistic verification logical automaton probabilistic computations networked system design logic programming probabilistic system combinatorial theory equivalence checking weighted automaton computational intelligence tree automaton programming language theory equational logic discrete algorithms general systems formal systems computational logic well-founded semantics computability theory functional programming languages kleene algebra weighted automata automata learning markov kernels automaton network computer-aided verification higher-order logic model checking operational semantics pushdown automaton applied logic coinductive framework service computing natural computing functional programming quality-of-service labelled transition systems coalgebraic perspective mathematical optimization numerical algorithms abstract interpretation deterministic automata trace semantics computer aided verification convex algebras convex algebra polynomial coalgebras program semantics coinductive types algebraic label structure formal specification specification language design automation modular development system specification

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Active Learning of Symbolic Netkat Automata. Proceedings of the ACM on Programming Languages (2025)

Mark MoellerTiago FerreiraThomas LuNate FosterAlexandra Silva

systems engineeringnetworked system designautomated reasoningprogramming languagesverificationactive learningsymbolic netkat automatacomputer scienceautomaton networkautomaton operationlogical automatonformal methodsnetkat automataformal verificationsoftware analysis

A Demonic Outcome Logic for Randomized Nondeterminism. Proceedings of the ACM on Programming Languages (2025)

Noam ZilbersteinDexter KozenAlexandra SilvaJoseph Tassarotti

non-deterministic gamefair coinslogic in computer scienceautomated reasoningverificationrandomized nondeterminismcomputer sciencealgorithmic mechanism designprobabilistic programmingformal methodsdemonic outcome logicrandomized algorithmsformal verification

Convex Language Semantics for Nondeterministic Probabilistic Automata. Theoretical Computer Science (2025)

Gerco van HeerdtJustin HsuJoël OuaknineAlexandra Silva

probabilistic systemconvex language semanticsautomated reasoningprobabilistic computationscomputer scienceautomaton operationtheory of computationlogic in computer sciencesemanticstheoretical computer science

STACKAT: Infinite State Network Verification. Proceedings of the ACM on Programming Languages (2025)

Jules JacobsNate FosterTobias KappéDexter KozenLily SaadaAlexandra SilvaJana Wagemaker

stackat program equivalencedistributed systemsautomated reasoningprogramming languageslogic in computer scienceverificationnetworked system designcomputer sciencestackat equivalencenetwork verification languagepushdown automatonreachability analysisformal methodsprogram analysisformal specificationformal verificationformal techniquesoftware analysis

27Th Workshop on Logic, Language, Information and Computation - Wollic 2021. Journal of Logic and Computation (2024)

Alexandra SilvaRenata WassermannRuy de Queiroz

first-order logiclogic in computer scienceknowledge representation and reasoningautomated reasoningcomputational logicapplied logiccomputer scienceknowledge-based systemslogic programmingtheory of computationautomated deductionhigher-order logicphilosophical logicmathematical logicformal methodsformal verificationwollic 2021theoretical computer science

A Categorical Approach to Dibi Models. arXiv (Cornell University) (2024)

Gu, TaoBao, JialuHsu, JustinSilva, AlexandraZanasi, Fabio

categorical approachcategorical modellogic in computer scienceinferenceautomated reasoningnew modelscategorical logiccategory theoryconditional logicdibi modelsmathematical logicformal methods

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. arXiv (Cornell University) (2024)

Piedeleu, RobinTorres-Ruiz, MateoSilva, AlexandraZanasi, Fabio

logic in computer sciencemathematicsautomated reasoningprogramming languagesprobabilistic computationscomputer sciencecomplete axiomatisationprobability theoryautomated deductionprobabilistic programmingmathematical logicformal methodsmarkov categoriesprobability logictheoretical computer sciencemarkov kernels

A Completeness Theorem for Probabilistic Regular Expressions. (2024)

Wojciech RóżowskiAlexandra Silva

completeness theoremautomated reasoningmathematicsprobabilistic computationscomputer scienceprobability theorymathematical logiclogic in computer sciencetheoretical computer science

A Cyclic Proof System for Guarded Kleene Algebra With Tests. Lecture notes in computer science (2024)

Jan RooduijnDexter KozenAlexandra Silva

proof searchmathematical logicabstract interpretationlogic in computer sciencemathematicsautomated reasoningprogramming languagesautomated proofcyclic proof systemcomputer sciencealgebraic semanticsalgebraic logicautomated deductionguarded language modelalgebraformal methodsformal verificationproof theory

A Cyclic Proof System for Guarded Kleene Algebra With Tests (Full Version). arXiv (Cornell University) (2024)

Rooduijn, JanKozen, DexterSilva, Alexandra

proof searchlogic in computer sciencemathematicsautomated reasoningverificationprogramming languagesautomated proofcyclic proof systemcomputer sciencealgebraic semanticsautomated deductionproof assistantsguarded language modelmathematical logicformal methodsproof systemformal verificationproof theory

1
2
3
4
5
19
10 / page

Alexandra Silva

Professor of Computer Science

Cornell University

Affiliations

College of Computing and Information Science

Department of Computer Science

Alexandra Silva is currently serving as a College Of Computing And Information Science Professor of Computer Science at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Alexandra Silva

Cornell University

Professor of Computer Science

You can click a keyword to filter the displayed items

Video Presentations

Notable Scholarly Works

Notable Federal Grants

Collaborators

Active Learning of Symbolic Netkat Automata. Proceedings of the ACM on Programming Languages (2025)

Mark MoellerTiago FerreiraThomas LuNate FosterAlexandra Silva

A Demonic Outcome Logic for Randomized Nondeterminism. Proceedings of the ACM on Programming Languages (2025)

Noam ZilbersteinDexter KozenAlexandra SilvaJoseph Tassarotti

Convex Language Semantics for Nondeterministic Probabilistic Automata. Theoretical Computer Science (2025)

Gerco van HeerdtJustin HsuJoël OuaknineAlexandra Silva

STACKAT: Infinite State Network Verification. Proceedings of the ACM on Programming Languages (2025)

Jules JacobsNate FosterTobias KappéDexter KozenLily SaadaAlexandra SilvaJana Wagemaker

27Th Workshop on Logic, Language, Information and Computation - Wollic 2021. Journal of Logic and Computation (2024)

Alexandra SilvaRenata WassermannRuy de Queiroz

A Categorical Approach to Dibi Models. arXiv (Cornell University) (2024)

Gu, TaoBao, JialuHsu, JustinSilva, AlexandraZanasi, Fabio

categorical approachcategorical modellogic in computer scienceinferenceautomated reasoningnew modelscategorical logiccategory theoryconditional logicdibi modelsmathematical logicformal methods

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming. arXiv (Cornell University) (2024)

Piedeleu, RobinTorres-Ruiz, MateoSilva, AlexandraZanasi, Fabio

A Completeness Theorem for Probabilistic Regular Expressions. (2024)

Wojciech RóżowskiAlexandra Silva

completeness theoremautomated reasoningmathematicsprobabilistic computationscomputer scienceprobability theorymathematical logiclogic in computer sciencetheoretical computer science

A Cyclic Proof System for Guarded Kleene Algebra With Tests. Lecture notes in computer science (2024)

Jan RooduijnDexter KozenAlexandra Silva

A Cyclic Proof System for Guarded Kleene Algebra With Tests (Full Version). arXiv (Cornell University) (2024)

Rooduijn, JanKozen, DexterSilva, Alexandra

1
2
3
4
5
19
10 / page

Similar Faculty Members

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing

Fred B. Schneider

Institution

Cornell University

cybersecurity system

information security

Similar Faculty Members

Justin Alpine Hsu

Institution

Cornell University

programming language theory

programming language

J Strother Moore

Institution

University of Texas at Austin

proof system

formal methods

Elsa Gunter

Institution

University of Illinois Urbana-Champaign

software engineering

technology

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Robert Harper

Institution

Carnegie Mellon University

programming languages

networking

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Madhusudan Parthasarathy

Institution

University of Illinois Urbana-Champaign

secure software engineering

software engineering

Matthew Dwyer

Institution

University of Virginia

computer science

software analysis

Frank Pfenning

Institution

Carnegie Mellon University

reliability

digital image processing

Fred B. Schneider

Institution

Cornell University

cybersecurity system

information security