Software Engineer Computer Science
Resume:
MUZAMMIL SAGHEER
E mail: **************@*******.*** Cell: 240-***-****
Address: ***** ******** *****, ***. **, Fairfax, VA 22030.
Education
• Master of Science in Computer Science; CGPA 3.46
May 2010
George Mason University, Fairfax, VA.
Thesis: “Using Model Checking for Verification of Redundancy and Inconsistency in Maritime Laws” - Design and
implementation of a system that performs formal verification of rules, selected from different Maritime Laws,
against properties like consistency, completeness, redundancy etc.
• Bachelor of Science in Computer Science; CGPA 3.62
August 2004
Mohammad Ali Jinnah University, Karachi, Pakistan.
Work Experience
SOFTWARE ENGINEER / GRA 2 years and 3 months,
(May 2008 – Present)
System Architectures Laboratory, George Mason University, Fairfax, VA.
• Funding Agency Office of Naval Research (ONR)
• Responsibilities Research, software development in Java and C#
• Completed Tasks To be furnished upon request
SOFTWARE ENGINEER 9 months, (August
2007 – April 2008)
Digital Programs and Systems, George Mason University, Fairfax, VA.
• Worked on projects that required expertise in LAMP (Linux, Apache, MySQL, PHP)
SOFTWARE ENGINEER 2 years, (November 2004 –
October 2006)
Infinilogic Pvt. Limited, Karachi, Pakistan.
• Worked on projects that required expertise in C/C++, PHP/MySQL
UNDERGRADUATE TEACHING ASSISTANT 2
semesters
Mohammad Ali Jinnah University, Karachi, Pakistan.
Compiler Construction course (Summer 2004)
•
o Conducted help sessions for students
o Assigned and evaluated student assignments and projects
(Spring 2004)
Computer Programming course
•
o Conducted help sessions for students
o Assigned and evaluated student assignments and projects
Technical Skills
• Programming Languages: Java, C#, PHP, C/C++, Matlab, Javascript, XML
• Operating Systems: Windows (2K, XP, Vista), Linux (Ubuntu)
• Database: MySQL, Microsoft SQL Server
• IDEs/Research Tools/Miscellaneous: Visual Studio 6.0, VS .NET 2005, NetBeans, Matlab
7.0, Dreamweaver, CLIPS, Weka, Netlab, AddFlow.Net API, CPN Tools (for Petri Nets), and
others
Important Projects
• RULER Developed a Rule Evaluation Routine (RULER) in Java that performs formal
verification of rules against inconsistency, incompleteness, redundancy, and circularity
• RulEx Developed a Petri Net based application in Java to execute decision making rules and
draw conclusions
• Materials Recognition Implemented a system using C++ and Matlab, to perform
classification of different materials such as man made structures, sky, foliage, and ground in
digital images employing techniques from pattern recognition
• Probabilistic Motion Planner Developed an application in C++ to plan motion for a robot
based on the specified environmental information using Gaussian Sampling Strategy and
Rapidly Exploring Random Trees
• Art Gallery Problem Developed an application in C++ to compute the position of cameras
for guarding an area using 3 Coloring Strategy
• Watchman Route Problem Comparative study of some of the solutions to this problem in
terms of their time complexity
• Online Resource Portals Developed online resource portals for George Mason University
Library using Linux, Apache, MySQL, and PHP
• Formations House Developed a web based portal using PHP and MySQL for companies to
register offshore offices in the United Kingdom providing additional services like domain
registration, accounts management, etc.
Compilers Developed compilers of Pascal and Tiger languages using C/C++ and Java SE
•
respectively
Intranet Email System Developed an email system using C# and MS SQL Server
•
Publications
M. Sagheer, “Using model checking for verification of redundancy and inconsistency in
•
maritime laws,” Masters’ Thesis, The Volgenau School of Information Technology and
Engineering, George Mason University, 2010. [view]
M. Sagheer, A. Zaidi, and A. Levis, “Using model checking for verification of redundancy and
•
inconsistency in maritime laws,” unpublished paper (preprint), 2010
M. Sagheer, A. Zaidi, and A. Levis, “A computer aided solution for maritime law management
•
and analysis,” unpublished paper (preprint), 2010
Awards and Honors
• Honor Cord Graduated with magna cum laude from Mohammad Ali Jinnah University,
Karachi, Pakistan
• Scholarships
Department: Electrical and Computer Engineering, George Mason University,
o
Fairfax, VA
Grant Type: Tuition fee waived off along with monthly stipend
Department: Computer Science, Mohammad Ali Jinnah University, Karachi,
o
Pakistan.
Grant Type: Tuition fee waived off
• Excellence Award Got an award from The City School for remarkable academic performance
in Secondary School Certificate Examination
Interests
• Swimming, Soccer, Racquetball, Table tennis, Chess
• Watching documentaries
Contact this candidate