Faculty

Institution

Unit

Venue

Jose Meseguer

Professor

UIUC

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Jose Meseguer is currently serving as a Siebel School Of Computing And Data Science Professor at Uiuc.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jose Meseguer

UIUC

Professor

You can click a keyword to filter the displayed items

formal methods logic in computer science computer science automated reasoning formal verification mathematics automated deduction programming languages mathematical logic theory of computation software analysis verification rewriting systems formal specification systems engineering theoretical computer science semantics regulated rewriting software engineering computer engineering higher-order logic distributed systems equational logic system software communication security design automation formal technique logic programming model checking data security operational semantics order theory computer-aided verification algebraic logic programming language theory mathematical sciences formal modeling automated proof system science petri net cryptographic protocols concurrency theory real-time computing system specification general systems concurrent systems formal systems type theory algebraic semantics abstract interpretation real-time maude applied logic specification language petri nets databases system safety temporal logic model verification combinatorial theory real-time operation logical frameworks type systems rewriting logic operational termination strategy language rewrite rule machine finite variant property dependency pair framework order-sorted algebra nrl protocol analyzer hybrid systems logic semantics generalized rewrite theories logical synchrony tile logic equational unification

Notable Scholarly Works

Notable Federal Grants

Collaborators

Capturing System Designs With Formal Executable Specifications. Lecture notes in computer science (2025)

José Meseguer

systems engineeringautomated deductionsoftware analysisspecification languagedesign automationformal specificationsoftware designsystem softwareformal verificationformal executable specificationssystem specificationverificationformal methods

Inductive Reasoning With Equality Predicates, Contextual Rewriting and Variant-Based Simplification. Journal of Logical and Algebraic Methods in Programming (2025)

José Meseguer

computer sciencelogic in computer sciencecontextual rewritinglinguisticsinferencerewriting systemsinductive logicknowledge representation and reasoningautomated reasoninginductive logic programminginductive inferenceformal methods

Equivalence, and Property Internalization and Preservation for Equational Programs. Lecture notes in computer science (2024)

José Meseguer

logic in computer scienceequational logicmathematical logicprogramming languagesproperty internalizationformal specificationmathematicsgeneral systemstheoretical computer scienceformal verificationautomated reasoningformal methodsabstract interpretation

NUITP: An Inductive Theorem Prover for Equational Program Verification. (2024)

Francisco DuránSantiago EscobarJose MeseguerJulia Sapiña

computer sciencelogic in computer scienceautomated deductioncomputer-aided verificationprogram analysissoftware analysisinductive theorem proverformal verificationautomated reasoningautomated proofverificationformal methodsprogram derivation

Programming Open Distributed Systems in Maude. (2024)

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerRubén RubioCarolyn Talcott

computer sciencedistributed environmentprogramming languagesdistributed systemsdistributed computingopen distributed systemssystem softwareformal methods

Protocol Dialects as Formal Patterns. Lecture notes in computer science (2024)

D. GalánV. GarcíaS. EscobarC. MeadowsJ. Meseguer

protocol analysislinguisticsprogramming languagesformal specificationprotocol dialectsgeneral linguisticslanguagesyntaxformal methods

Verifying Invariants by Deductive Model Checking. Lecture notes in computer science (2024)

Kyungmin BaeSantiago EscobarRaúl López-RuedaJosé MeseguerJulia Sapiña

computer sciencelogic in computer scienceautomated deductionmodel verificationdeductive model checkingcomputer-aided verificationmodel checkingformal verificationautomated reasoningverificationformal methods

Building Correct-By-Construction Systems With Formal Patterns. Lecture notes in computer science (2023)

José Meseguer

software design patternautomated deductionlogic in computer scienceprogramming languagesformal modelingformal specificationdesign automationformal patternsformal verificationdesignautomated reasoningverificationformal methods

Optimizing Maude Programs via Program Specialization. Lecture notes in computer science (2023)

María AlpuenteDemis BallisSantiago EscobarJose MeseguerJulia Sapiña

computer scienceprogram specializationprogramming languagesprogram analysissoftware analysisoptimizing compilerscomputational optimizationsoftware engineeringprogram optimizationformal methods

Strand Spaces With Choice via a Process Algebra Semantics. Lecture notes in computer science (2023)

Fan YangSantiago EscobarCatherine MeadowsJose MeseguerSonia Santiago

logic in computer scienceprocess algebra semanticsprocess calculusmathematicsalgebraic topology

1
2
3
4
5
44
10 / page

Jose Meseguer

Professor

UIUC

Affiliations

The Grainger College of Engineering

Siebel School of Computing and Data Science

Jose Meseguer is currently serving as a Siebel School Of Computing And Data Science Professor at Uiuc.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Jose Meseguer

UIUC

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Capturing System Designs With Formal Executable Specifications. Lecture notes in computer science (2025)

José Meseguer

Inductive Reasoning With Equality Predicates, Contextual Rewriting and Variant-Based Simplification. Journal of Logical and Algebraic Methods in Programming (2025)

José Meseguer

Equivalence, and Property Internalization and Preservation for Equational Programs. Lecture notes in computer science (2024)

José Meseguer

NUITP: An Inductive Theorem Prover for Equational Program Verification. (2024)

Francisco DuránSantiago EscobarJose MeseguerJulia Sapiña

Programming Open Distributed Systems in Maude. (2024)

Francisco DuránSteven EkerSantiago EscobarNarciso Martí-OlietJosé MeseguerRubén RubioCarolyn Talcott

computer sciencedistributed environmentprogramming languagesdistributed systemsdistributed computingopen distributed systemssystem softwareformal methods

Protocol Dialects as Formal Patterns. Lecture notes in computer science (2024)

D. GalánV. GarcíaS. EscobarC. MeadowsJ. Meseguer

protocol analysislinguisticsprogramming languagesformal specificationprotocol dialectsgeneral linguisticslanguagesyntaxformal methods

Verifying Invariants by Deductive Model Checking. Lecture notes in computer science (2024)

Kyungmin BaeSantiago EscobarRaúl López-RuedaJosé MeseguerJulia Sapiña

Building Correct-By-Construction Systems With Formal Patterns. Lecture notes in computer science (2023)

José Meseguer

Optimizing Maude Programs via Program Specialization. Lecture notes in computer science (2023)

María AlpuenteDemis BallisSantiago EscobarJose MeseguerJulia Sapiña

computer scienceprogram specializationprogramming languagesprogram analysissoftware analysisoptimizing compilerscomputational optimizationsoftware engineeringprogram optimizationformal methods

Strand Spaces With Choice via a Process Algebra Semantics. Lecture notes in computer science (2023)

Fan YangSantiago EscobarCatherine MeadowsJose MeseguerSonia Santiago

logic in computer scienceprocess algebra semanticsprocess calculusmathematicsalgebraic topology

1
2
3
4
5
44
10 / page