About

Notice: I’ve moved my site to http://csrdu.org/nauman. You may be able to find an updated version of this page here.

My name is Mohammad Nauman and I am, foremost, a Muslim. I am also a teacher by profession, a designer in my free time and a perpetual student.

You can download my resume from here: PDF

Research Statement

My research is along two main lines. My primary work is regarding application of Artificial Intelligence concepts in practical scenarios of Software Engineering practice. The primary scope of my work is the world wide web and software engineering concepts related to quality attributes such as usability, security and safety. My research work in MS is about usability in search in the context of social networks.

The area of my research aimed at security is related to the application of Artificial Intelligence concepts (such as theorem provers) through formal specification and verification of security protocols and frameworks. I work with Isabelle theorem prover and Z notation for computer supported modeling and reasoning of these frameworks. Recently, my focus has shifted to security on the smartphone platforms, specifically Android. I am currently working on usage control and attestation of this immensely popular smartphone software stack.

My aim through this research is not only to contribute to the global knowledge but also to enable the local market and industry in development and utilization of better techniques and technologies.

Teaching Statement

Teaching is an art as well as a science. With computer science, this dual nature becomes much more apparent with the theory and practicality of the different fields merging together. A good computer science teacher must have knowledge related to all the subfields of computer science. My experience in the commercial market and detailed knowledge of the low level details of programming and design enable me to convey the essence of contemporary technologies to my students. I believe in conveying a thorough understanding of the theoretical grounds on which a science is built and in enabling the students to understand the rhythm behind the practical applications of these theoretical concepts. The right mix of science and art is a key element in learning and teaching of computer science. Keeping with this view, I maintain a web site2 which offers resources related to computer science and contains my thoughts on how I find, practice and learn new technologies. I encourage my students to use this resource and even contribute to it.

The motivation in a computer science class comes not only from the feeling of seeing one’s work being applied but also from seeing how each part of the learning fits in to the greater whole. I believe in creating a classroom environment in which both these feelings can be mixed together. The aim is always to let the students have an enjoyable semester which conveys the details of the subject and enables them to continue their study after the semester is finished.

Above all, my experience in teaching has shown me that the best way to gain knowledge is to pass it on. I learn through my teaching and convey my knowledge to all those who have helped me gain it.

Publications

You can take a look at my publications here.

PGP Key

My PGP public key is available from the Ubuntu Key server (ID = 63F272B2). Below is the text version of the key.


-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v1.4.9 (MingW32)

mQGiBEqfkEsRBAD0mRX+UCU1rkGXcOll2ef4cpdMRLkavKNPKO7jivtyKNHfr8q5
GDFZ80GZDHp3QVXQoi4dp07Ll3BtQ2JGnmScokaNv42VcLGjiXfqinEW7/tK3XUZ
AJSq7ns9DmYHnzcqeaYyRSnjvr2u1xIIz/QAnvk1yv0LnsRFGtNE+Mr91wCgo7Dy
ArIzbVBzhdH3atdstJtrC/cD/2sKPTfhu0hc9ogE8pBw+GUSmxyyKk8uaRk44cpr
krXhr25Y2bM5ptxNv5Lqn+YhwzcDUIGTr7y/IteMEAM7ds0gjicoESc9UL7IpxQx
gOwigSJBxVVdYrfDyhose3KYD38CC1lhUpFLupWuB2ravj/EO+g96bQZ/uxXi6ta
JHPoA/4s+hZ60Nn9E5agFlZYwqKz3ySRbJwoJblyR87ntio+oenhfIOFRuT8FmtC
aJ08MWLozB4KIbfPQj2BL/nDnWKZwUnDm/TZLV5iQmomAPccLMGPCu/n1Rxn7QGj
SlL6p5lr+1hqyD+XDq71YrcKM0W+p4AZQ9d6N8UvL2DmuliVBbRCTW9oYW1tYWQg
TmF1bWFuIChodHRwOi8vcmVjbHV6ZS53b3JkcHJlc3MuY29tKSA8cmVjbHV6ZUBn
bWFpbC5jb20+iGAEExECACAFAkqfkEsCGyMGCwkIBwMCBBUCCAMEFgIDAQIeAQIX
gAAKCRANUwoEY/JysmchAJ0aozm34oLj0Q+6wG6F1rKKpRSUeACgiTvlDlRG7ijW
UNfIl4Om6w187oS5Ag0ESp+QSxAIAKXDyg3C1C2nF9nnIP2FXd+/r2bmUbwXBjZ7
p8Fh1u2TywNYHJUX3SVynGll9ZRS53lefBz9U/SUqpnujkk0TzImuALMRS9YJmkz
hsCd1A+lUK9K5y3qw1aGGbIQw4ucWWTclBfN+bFf6OolRTVo6hzZUWmdfCnXhA9D
dwMqqgy+HOznkSNwHtjs757b0/oy+2mWRcK+0Pv+UQK+fcJpfJMUvzXARM02mlD8
4EOmaABPVQs97UD2Lp41Z/4E+RuVswYgWB4piKCbL7Tqsb6l1KOGzVxTAj0DYIwa
gMt1HnWq6HBU28Movc61RlRx27CAXuOAYeVqomxoKMwl3vFwrvMAAwUH/0Ec7NVe
+L+kLx7LnW+dp1APjJFYE0zgNGsIV18exxVu5V+SGd+V4AUvwVLFzNEwnjogEIlJ
cNz1FvT8xDyTFKbMycDOgzzwQhEfFW4Mhs/xwpyCEqOibtRHKlGDaF+SupsheFVf
EwpDfOsXuor7GHQrNTd1j7tupZ/MXg9VrJhyhcEJF5kMYsfIsJsyGgjvzxF9KHgx
1Q+1kTib2/3nIQk1ESZhwZY5ZOHmHIJZ8NJartsF64TgMWhJWjEiIsMyImdKNz4U
5WxcuCZar6AWb3febtldIsaBxvySWzGMXqocpcbUoKttUdqqqv7ASjU3GpFH4x+x
3iwd0h9ddoQaTAaISQQYEQIACQUCSp+QSwIbDAAKCRANUwoEY/Jyso3JAKCfRsjL
8AZsB2KkbUa/ZPnfeEazMQCeI+jwVThjkFQwbG0gCVlFIVLreNw=
=jZh+
-----END PGP PUBLIC KEY BLOCK-----