Unno Hiroshi
Associate Professor
Faculty of Engineering, Information and Systems
University of Tsukuba
Japan
Biography
Dr. Unno Hiroshi is currently working as a Associate Professor in the Department of Engineering, Information and Systems, University of Tsukuba , Japan. His research interests includes Theory of gradual type system for modern programming language. Dr. Unno Hiroshi is serving as an editorial member and reviewer of several international reputed journals. Dr. Unno Hiroshi is the member of many international affiliations. Dr. Unno Hiroshi has successfully completed his Administrative responsibilities. Dr. Unno Hiroshi has authored of many research articles/books related to Theory of gradual type system for modern programming language.
Research Interest
Theory of gradual type system for modern programming language
Publications
-
Terauchi T, Unno H. Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement. InESOP 2015 Apr 11 (Vol. 9032, pp. 610-633).
-
Hashimoto K, Unno H. Refinement type inference via horn constraint optimization. InInternational On Static Analysis 2015 Sep 9 (pp. 199-216). Springer Berlin Heidelberg.
-
Matsumoto Y, Kobayashi N, Unno H. Automata-based abstraction for automated verification of higher-order tree-processing programs. InAsian Symposium on Programming Languages and Systems 2015 Nov 30 (pp. 295-312). Springer, Cham.
