The new hardware verification course introduces students to the principles and practices used by verification engineers in industry.
Nakahira received a Young Investigator Award for developing a machine that builds autonomous systems.
Testing the ability of popular network characterization tools to assess critical components of Africa's network infrastructure ecosystem.
ACM Fellows are selected by their peers for achieving remarkable results through their technical innovations and/or service to the field.
