Hiromasa Shimada (島田裕正)

About Me
I am a Ph.D candidate of Distributed and Ubiquitous Computing Lab.(DCL) at Department of Computer Science and Engineering, Waseda University (早稲田大学), Japan.I belong to Operating System Research Group, and my research interests are in the area of computer security and computer reliability.Recent my research topic is to generate correct states of OS automatically.