The University of Aizu

	Name
	Junji Kitamichi
	Affiliation
	Adaptive Systems Laboratory
	Title
	Associate Professor
	Degree
	Osaka University, Ph.D. in Engineering Science

Main Research Theme

Research interests include formal verification method for VLSI design using an integer liner logic, design of reconfigurable FPGAs (field programmable gate arrays) and its application.