Graduate School of Informatics, Department of Informatics Professor
Shin-ichi Minato is a Professor at Laboratory for Algorithmics, Graduate School of Information Science and Technology, Hokkaido University. He also serves a Research Director of ERATO (Exploratory Research for Advanced Technology) MINATO Discrete Structure Manipulation System Project, executed by JST (Japan Science and Technology Agency). His research topics include efficient representations and manipulation algorithms for large-scale discrete structure data. He received the B.E., M.E., and D.E. degrees in Information Science from Kyoto University in 1988, 1990, and 1995, respectively. He had been working at NTT Laboratories since 1990 until March 2004. He was a Visiting Scholar at Computer Science Department of Stanford University in 1997. He was a Senior Researcher of NTT Network Innovation Laboratories in 1999. From 1999 to 2000, he concurrently served a Visiting Lecturer at Shonan-Fujisawa Campus of Keio University. He joined Hokkaido University as an Associate Professor in 2004, and has been a Professor since Oct. 2010. He started the ERATO Project from Oct. 2009. From 2011, he is also an Adjunct Researcher at Research Institute for Advanced Network Technology of Waseda University. He published "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer,1995). His original data structure "ZDD" is minutely discussed using many pages in the Knuth's book "The Art of Computer Programming" (Vol. 4, Fascicle 1, 2009). He supervised an exhibition "The Art of 10^64 -Understanding Vastness-" at "Miraikan" (National Future Science Museum of Japan) from Aug. 2012 to Feb. 2013. From 2008 to 2011, Minato serves a TPC Sub-Topic Chair of Asia and South-Pacific Design Automation Conference (ASPDAC). He served the Workshop Chair of ALSIP-2008. He is a project member of Hokkaido University Global COE program from 2007. He is also involved in Japan MEXT "info-plosion" project from 2006 to 2010 and "ELC" project from 2012 to 2016. He is a senior member of IEICE and a member of IEEE, IPSJ, and JSAI.