Here are three different introductions of me. Pick whichever one you find the most interesting.
Academic
I’m currently a PhD student supervised by Professor Andreas Veneris at the University of Toronto in the Department of Electrical and Computer Engineering. My research interests are in the development of Computer Aided Design (CAD) tools for debugging, test and verification of digital VLSI circuits and systems. In particular, I’m interested in topics relating to the use and application of formal methods. I received my Master of Applied Science (MASc) in Electrical and Computer Engineering from the University of Toronto in 2009 supervised by my PhD Supervisor and my Bachelor of Applied Science (BASc) in Computer Engineering (co-op) from the University of Waterloo in 2007. I’m also a student member of the IEEE.
Personal
I’ve lived in the Greater Toronto Area all my life. I can speak English fluently and Chinese (Mandarin) to a lesser extent. I’ve recently developed a fondness of guitar which I’m actively learning. As for sports, I’ve recently been playing a lot of badminton but I’ve been known to play a bunch of others as well. I like learning new things about a whole variety of subjects such as computers, technology, investing, magic, math, people, psychology, entrepreneurship, software development, innovation and any other useful skills or interesting things that may come up. I use reading as my main tool to accomplish these things. I’m also part of the University of Toronto Engineering Toastmasters which helps me learn things where reading just won’t do.
Philosophical
I like things simple. When things are complicated, I like to make them simpler. Simple things are flexible, so I like to be flexible. When I’m flexible, I can change. Change helps you learn, so I like to learn. When I learn, it makes things simple again.
Contact Info
You can contact me at brian.keng
.
