Takeshi Tsukada

J-GLOBAL         Last updated: Dec 10, 2018 at 19:37
 
Avatar
Name
Takeshi Tsukada
Affiliation
The University of Tokyo
Section
The Graduate School of Information Science and Technology
Research funding number
50758951

Research Areas

 
 

Academic & Professional Experience

 
Apr 2015
 - 
Today
Assistant professor, Graduate school of information science and technology, The University of Tokyo
 
Oct 2013
 - 
Mar 2015
Sponsored visiting researcher, University of Oxford
 
Apr 2013
 - 
Sep 2013
Postdoc researcher, Graduate school of information science and technology, The University of Tokyo
 
Apr 2010
 - 
Mar 2013
JSPS Research Fellowship for Young Scientists (DC1)
 

Published Papers

 
Kazuyuki Asada,Naoki Kobayashi 0001,Ryoma Sin'ya,Takeshi Tsukada
CoRR   abs/1801.03886    2018   [Refereed]
Takeshi Tsukada,Kazuyuki Asada,C.-H. Luke Ong
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018   889-898   2018   [Refereed]
Naoki Kobayashi 0001,Takeshi Tsukada,Keiichi Watanabe
Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings   711-738   2018   [Refereed]
Naoki Kobayashi 0001,Takeshi Tsukada,Keiichi Watanabe
CoRR   abs/1710.08614    2017   [Refereed]
Ryota Suzuki 0002,Koichi Fujima,Naoki Kobayashi 0001,Takeshi Tsukada
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK   32:1-32:18   2017   [Refereed]