연구실 목록
Elaine Pimentel 교수 연구 프로필
유니버시티 칼리지 런던 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
유니버시티 칼리지 런던 컴퓨터과학과 소속 Elaine Pimentel 교수의 등록된 연구 분야는 Logic and Computation입니다.
연구 키워드
Logic and Computation
최근 논문
- A generalised and modular proof-theoretic semantics for sequent systems새 논문프리프린트arXiv (Cornell University) · 10월 16일
- Mathematical Explanations and Axioms as RulesTopoi · 9월 16일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Aleks Kissinger 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
TensorRocq: Enabling Diagrammatic Reasoning in RocqProceedings of the ACM on Programming Languages · 10월 1일겹치는 주제: Advanced Algebra and Logic
Sam Staton 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Hippogriff: a semantic approach to uniting core and modules프리프린트arXiv (Cornell University) · 8월 20일겹치는 주제: Advanced Algebra and Logic
Stefan Kiefer 교수 연구실
옥스퍼드 대학교 · 컴퓨터과학과
Perturbation equivalence in labelled Markov chains프리프린트arXiv (Cornell University) · 9월 11일겹치는 주제: Logic, programming, and type systems
같은 학과의 다른 연구실
- Alexandra Silva 교수 연구실
Algebra, Semantics, and Computation
- Ann Blandford 교수 연구실
Human Computer Interaction
- Anthony Steed 교수 연구실
Virtual Environment and Computer Graphics
- Arthur Gervais 교수 연구실
Information Security
- Benjamin Guedj 교수 연구실
Machine Learning and Foundational AI
- Brad Karp 교수 연구실
Computer Systems and Networks