Hiroshi Unno (Preferred)
Hiroshi Unno
Full Professor, Research Institute of Electrical Communication, Tohoku University
Joined
August 2024
Names
Emails
****@acm.org (Confirmed)
****@tohoku.ac.jp (Confirmed)
Personal Links
Career & Education History
Full Professor
Research Institute of Electrical Communication, Tohoku University (tohoku.ac.jp)
2024 – Present
Advisors, Relations & Conflicts
Expertise
program verification
, program synthesis
, constraint solving and optimization
, model checking
, type systems
Present
Publications
Co-Authors
- Akihiro Murase
- Akinori Yonezawa
- Atsushi Igarashi
- Eric Koskinen
- Fuga Kawamata
- Hinata Yanagi
- Hiroki Sakamoto
- Ichiro Hasuo
- Issei Sato
- Jie-Hong Roland Jiang
- Kodai Hashimoto
- Kohei Suenaga
- Naoki Kobayashi
- Naoshi Tabuchi
- Oded Padon
- Ryosuke Sato
- Satoshi Kura
- Sharon Shoham
- Sho Torii
- Tachio Terauchi
- Takeshi Nishikawa
- Takeshi Tsukada
- Takuya Kuwahara
- Taro Sekiyama
- Yoji Nanjo