Ramanathan Thinniyam Srinivasan 교수 연구 프로필
웁살라 대학교 · 컴퓨터시스템학과
소개
웁살라 대학교 컴퓨터시스템학과 소속 Ramanathan Thinniyam Srinivasan 교수의 등록된 연구 분야는 program verification, quantum computing, concurrency, model checking, programming languages입니다.
연구 키워드
같은 학과의 다른 연구실
- Bengt Jonsson 교수 연구실
formal methods, real-time and distributed systems, semantics of concurrent systems, verification of concurrent systems
- Chang Hyun Park 교수 연구실
virtual memory and address translation, cache hierarchy, non-volatile memory, heterogeneous memory systems, virtualization technology, high speed I/O devices
- Christian Rohner 교수 연구실
- David Black-Schaffer 교수 연구실
performance, computer architecture, memory systems, simulation, runtimes, scheduling, efficiency, active teaching, commercialization
- Didem Gürdür Broo 교수 연구실
robotics, multi-agent systems, sustainability, data science, design thinking, future studies, transdisciplinary research, cyber-physical systems, autonomous systems, human-centered design, systems thinking
- José Mairton Barros da Silva Júnior 교수 연구실
wireless communications, machine learning, optimization, federated machine learning, distributed machine learning, wireless networks and communications, distributed optimization, 6g