Jose Meseguer 교수 연구 프로필
일리노이 대학교 어배너-섐페인 · 컴퓨터과학과
소개
일리노이 대학교 어배너-섐페인 컴퓨터과학과 소속 Jose Meseguer 교수의 등록된 연구 분야는 Formal methods, programming languages, concurrency, automated deduction입니다.
연구 키워드
최근 논문
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
겹치는 주제: Formal Methods in Verification
Clark Barrett 교수 연구실
스탠퍼드 대학교 · 컴퓨터과학과
Solving LIA⋆ Constraints Using Hilbert Bases새 논문OAPEN (The OAPEN Foundation) · 9월 1일Stefan Kiefer 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Perturbation equivalence in labelled Markov chains프리프린트arXiv (Cornell University) · 9월 11일Bernd Finkbeiner 교수 연구실
뮌헨 공과대학교 · 컴퓨터과학과
Stream-based Online and Offline Monitoring under Measurement Noise프리프린트arXiv (Cornell University) · 8월 13일
같은 학과의 다른 연구실
- 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
- 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