Mohammad Nauman

recluze@gmail.com :: http://recluze.wordpress.com :: 0323 93 66 136

H#. 195, Street 9, Sector K2, Phase III, Hayatabad, Peshawar

B Education

MS Software Engineering CGPA 3.19

City University Research Topic: Common Sense and Folksonomy: Engineering a Model for an Intelligent Search System

BSc (Hons) Management Sciences Specialization: IT. CGPA: 3.9

2004, University of Peshawar Was awarded merit scholarship for first semester.
(Institute of Management Sciences) Courses included both Computer Science (programming, databases, artificial intelligence,
and hardware) and Business (accounting, management and logic) subjects.

F.Sc. (Pre Medical) Obtained 798 marks out of 1100 - 72.5%

2001, Edwardes College Was awarded merit scholarship by Joseph Chamberlain College, UK.

IGCSE/O Levels Obtained 4As, 2Bs and 2Cs

1999, UCLES Cambridge University Obtained A* in Physics, Chemistry and Mathematics in IGCSE. Was awarded a B
in the subject of Arts (Water Colours) taken as an optional course.

B Books

VDM, Germany Integrity-based Access Control: A Case Study in Remote Attestation

December, 2008 ISBN: 978-3639106619. (Co-author)

VDM, Germany Common Sense and Folksonomy: Engineering a Model for an Intelligent Search System
June, 2008 ISBN: 978-3639040876.

B Publications
International (Springer), 2009 Remote Attestation of Attribute Updates and Information Flows in a UCON System
Trust’09 – Oxford, UK Accepted at the International Conference on Technical and Socio-economic Aspects of Trusted Computing (Trust 2009)
Oxford, UK. Conference to be held in April, 2009.

International (IEEE), 2009 Information Flow Analysis of UCON

ICC’09 – Dresden, Germany Accepted at the International Conference on Computers and Communications (ICC’09) Dresden, Germany
Conference to be held in June, 2009.

Book Chapter, 2009 Helplets: A Collaborative Help Collection and Retrieval Architecture for Web-enabled Systems
Accepted for the book Web-base Support Systems by J.T. Yao and Y.Y. Yao
To be published in 2009

International (ACM), 2008 Behavioral Attestation for Web Services (BA4WS)

SWS’08 – Fairfax, USA Workshop on Secure Web Services at the Conference on Computers and Communications Security (CCS’08)
Fairfax, USA. October, 2008. (Co-author)

International (CEUR), 2008 Resolving Lexical Ambiguities in Folksonomy Based Search Systems through
Common Sense and Personalization
SemSearch’08 – Tenerife, Spain Semantic Search 2008 Workshop, Tenerife, Spain. June, 2008.
International (ACM), 2008 Model-based Behavioral Attestation
SACMAT’08 – Colorado, USA Accepted at ACM Symposium on Access Control Models and Technologies, Colorado, USA.
June, 2008. (Co-author)

International (IMECS), 2008 A Comprehensive Analysis of MAC Enhancements for Leveraging Distributed MAC
IMECS’08 – Hong Kong International Multitopic Conference on Compute Science, Hong Kong.
March, 2008. (Co-author)

International (IEEE), 2007 An Accessible Formal Specification of the UML and OCL Meta-Model in Isabelle/HOL
INMIC’07 – Lahore, Pakistan 11th IEEE International Multitopic Conference, Lahore, Pakistan.
December, 2007.

International (IEEE/ACM/WIC), 2007 Using Personalized Web Search for Enhancing Common Sense and Folksonomy Based
Intelligent Search Systems
WI’07 – Silicon Valley, USA International Conference on Web Intelligence, Silicon Valley, USA.
Published by the IEEE Computer Society Press.

International (IEEE), 2007 Common Sense and Folksonomy: Engineering an Intelligent Search System
ICIET’07 – Karachi, Pakistan International Conference on Information and Emerging Technologies, Karachi, Pakistan.

International (IEEE), 2007 SE and CS Collaboration: Training Students for Engineering Large, Complex Systems
CSEE&T’07 – Dublin, Ireland 20th International Conference on Software Engineering Education and Training, Dublin, Ireland.
Published by the IEEE Computer Society Press. Talk sponsored by the CSEE&T and Dublin City
University, Ireland.

B Projects
Research Associate Towards Trusted Web Services for Mobile Devices
2007-2009 Funded by the Institute of Management Sciences, Peshawar, Pakistan. 24 months.

Research Associate Dynamic Behavioral Attestation for Mobile Platforms

2008-2010 Funded by the ICTR&D Fund, Islamabad, Pakistan. 24 months.

B Experience

Research Associate Institute of Management Sciences

December 2007 – to-date Research Associate in the research project, “Towards Trusted Web Services for Mobile Devices ”
and “Dynamic Behavioral Attestation for Mobile Platforms”.

Lecturer City University of Science and Information Technology

March 2006 – November 2007 Taught MS, MCS and BCS for three semesters in the University.
Courses taught: Software Quality Assurance (MS), Visual Programming, Artificial Intelligence,
Intelligent Systems, Object Oriented Programming and Modern Programming Tools

Lecturer Brains Degree College

2006 Taught a class of final year students of M.Sc. at Brains Degree College, taking the
class through the process of completing a project from analysis and design to coding
and documentation.

Lecturer Frontier Homeopathic Medical College

2002-2003 Taught the course of Computer Science to First and Second year students in Frontier
Homeopathic Medical College.
Website Design and Management
2002 – 2004
Institute of Management Sciences
Wireless Network Link Development
2004
Sarhad University, IMSciences
Design and Development
B Skills
Formal Specification and Verification
Computer Supported Reasoning
System Analysis and Design
Programming Languages
Artificial Intelligence
Database Design and Administration
Graphics Designing
Others
B Events
Softcom 2002
ITCN 2004
Brainstorm 2004
B Interests and Activities
Interests
Activities
Worked for IMSciences in these areas:
Website design and management for 3 years of the official web site. (www.imsciences.edu.pk)
Designed an ad to appear in a national magazine of educational institutions.
Designed the online CMS for Center for Information Technology.
Designed the library automation software.
Implemented a test wireless link between Sarhad University and IMSciences
for an exhibition on wireless networking. Also implemented a fully operational wireless link
between the two campuses of IMSciences.
Commercial Web/Software Designing
Designed commercial websites for: Maxonline ISP and Innova IT Institute
Developed a Management Information System for Innova IT Institute
Designed and implemented an Inventory Management Software for SyahKohWal
Imports and Exports Private Ltd., Afghanistan.
Expertise in formal specification of security systems using Z Notation and proficiency in formal
verification through Isabelle - an automated theorem prover.
Detailed knowledge of computer supported modeling and reasoning through Higher Order Logics
and Lambda notation.
Proficiency in system analysis and design of fairly complex system including ERPs for SMEs,
e-commerce, MISs and CMSs.
Skilled and experienced in high and low level languages including C/C++, C#, Visual Basic, Java,
.Net languages, Prolog and Lisp.
Development of basic artificially intelligent systems using Lisp and Prolog. Also, a field of research
in MS alongside Software Engineering.
Expertise in development of databases in almost all comtemporary DBMSs including Oracle,
SQL Server, MySQL and Access.
Aesthetically pleasing, user friendly interfaces and graphics design using Photoshop, Flash,
3dsMax, Maya, Dreamweaver, Illustrator and InDesign as tools and HTML, XHTML,CSS, PHP,
ASP and Cold Fusion as technologies for interface design.
Working knowledge of Networks, Linux OS, OpenGL and DirectX.
Participated in Softcom 2002 in GIK Institute.
Represented IMSciences in ITCN 2004 in Karachi.
Represented IMSciences in Speed Programming, Brainstorm 2004.
Hobbies are graphics designing and reading books.
Remained a member, then vice president and finally president of Computer Intelligentsia - IT
 society of IMSciences for 3 years. Activities included arranging courses, developing software,
designing (both for print and web media) and organizing the society and its members in the last
two years of membership as vice-president and then president.

B References

Dr. Masoom Alam Assistant Professor, Institute of Management Sciences, Peshawar.

email: masoom.alam@gmail.com
Preferred means of contact: email

Sheeraz Ahmad Lecturer, Univeristy of Engineering and Technology, Peshawar.

Cell: 0301 890 97 30
Email: asheeraz pk@hotmail.com
Preferred means of contact: cell phone

B 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. I am also a member of Security Engineering1 group working in
Peshawar. The purpose of this group is to bring together researchers who have knowledge and expertise in security related issues and
are willing and able to contribute solutions to the issues of a broad international audience.

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.

B 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.
1 http://serg.imsciences.edu.pk
2 http://recluze.wordpress.com
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.