tree tops

Short Bio:

I am a PhD cadidate at the University of Michigan majoring in Computer Science and Engineering. I am advised by Professor Todd Austin. My research interests include computer hardware and systems security. My particular focus is on building scalable provably secure systems with verification technologies. I graduated with B.Sc. in Computer Engineering from Addis Ababa University, Ethiopia in 2008.