Prof. Jose Meseguer — Research Profile
University of Illinois Urbana-Champaign · Computer Science
About
Prof. Jose Meseguer at University of Illinois Urbana-Champaign Computer Science lists Formal methods, programming languages, concurrency, automated deduction as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Formal Methods in Verification
Clark Barrett 교수 연구실
Stanford University · Computer Science
Solving LIA⋆ Constraints Using Hilbert BasesNewOAPEN (The OAPEN Foundation) · Sep 1Stefan Kiefer 교수 연구실
University of Oxford · Department of Computer Science
Perturbation equivalence in labelled Markov chainsPreprintarXiv (Cornell University) · Sep 11Bernd Finkbeiner 교수 연구실
Technical University of Munich · Department of Computer Science
Stream-based Online and Offline Monitoring under Measurement NoisePreprintarXiv (Cornell University) · Aug 13
Other labs in this department
- Bo Li 교수 연구실
Trustworthy machine learning, adversarial machine learning, security and privacy
- Brighten Godfrey 교수 연구실
Networked systems, software-defined networking, data center architectures, network verification
- Chandra Chekuri 교수 연구실
Theory and algorithms, approximation algorithms, graph algorithms, combinatorial optimization
- Text Information Management and Analysis Research (TIMAN)
ChengXiang Zhai
Information retrieval, data mining, natural language processing, bioinformatics
- Craig Zilles 교수 연구실
Computer architecture, compilers, computer science education, learning analytics
- Darko Marinov 교수 연구실
Software engineering, formal methods, programming languages