Resume CV : PGT Computer Science Teacher/Lecturer Jobs in India, Current

Careers, Latest Vacancies, Openings / opportunities

MOHD ASIM ALI

Email: m_asim_ali AT yahoo.com
asim.sultani AT gmail.com , asim.sultani AT rediffmail.com
Mobile: 09719560056
PNT : +91-5966-240474 (R)
Passport No: H2888429 Valid upto : 2019

PERMANENT ADDRESS:
206/16, CHANDIKHANA
DEODHI AGHAMEER
LUCKNOW (U.P.)

PROFILE SUMMARY:
A computer professional in a techno-educational capacity with a highly analytical and
logical bent of mind, strong method orientation and work ethics adequately in tune
with emerging IT industry's standard.
Also having significant experience in acquainting common masses and school
students up to XII level with the latest as well as the prescribed curriculum of
Computer Science. A firm believer in team work, a team player with dedicated work,
innovative and unique ideas, fair for communication and conceptualization and ability
to interact with others at all levels.

ACADEMIC QUALIFICATION:
1. B.Sc. (Physics, Chemistry and Maths) from Rohilkhand University.
PROFESSIONAL QUALIFICATION:
1. DCA (Diploma in Computer Applications) from Awadh Computer Institute under
Ministry of Human Resource and Development Govt. of India.
2. PGDCA (Post Graduate Diploma in Computer Applications) from Punjab Technical
University, Jalandhar.
3. M.Sc. (I.T.) from Punjab Technical University, Jalandhar.

EMPLOYMENT HISTORY: (14 YEARS)

1. ASHOK HALL GIRLS RESIDENTIAL SCHOOL, MAJKHALI, RANIKHET ALMORA- 2006
– Till Date
(An ISO 9002 certified and ICSE Board Affiliated Sr. Sec. Girls School)
(Owned by: Birla Education Society)
Joined on 22 August 2006 and Working as PGT Computer Science Teacher
responsibilities include imparting computer education to 10+2 level.
2. MANAS STHALI PUBLIC SCHOOL, BAREILLY- 1998 - 2006
( A Co-ED. Sr. Sec. Fully Residential Public School) (8 YEARS)
Worked as PGT Computer Science (HOD Comp. Deptt.) responsibilities include
overall administration, imparting computer education to 10+2 level, imbibing new
skills in the students, maintaining the computer lab and automating the office work.
Also looked after Hostel as a House Master for 2 years.
3. SOPHIA HIGH SCHOOL, Mt. ABU (Rajasthan) 1994-1998
(An ICSE Residential School) (4 YEARS)
Independently handled the CLASS Project related to computer Literacy and
awareness. Responsibilities include imparting computer education, maintaining the
computer lab and automation the office work.
4. AWADH COMPUTER INSTITUTE, LUCKNOW 1992-1994 1992 - 1994
(2 YEARS)
Worked as an Assistant programmer cum Instructor in AWADH COMPUTER
INSTITUTE at LUCKNOW (U.P.), responsibilities include developing software modules
for various projects in COBOL and dBase III and IV plus etc.

ACHIEVEMENTS DURING EMPLOYMENT:

1. Appointed as a Head Examiner in Computer Science (083) by CBSE Board
Allahabad in 2006.
2. Appointed as an External Examiner for practical examination and Evaluation of
answers scripts by CBSE Board Allahabad since 2002.
3. Worked in Examination Department of the school as a Examination Incharge.

SUMMARY OF SOFTWARE SKILLS:

Operating system : MS-DOS 6.2, LINUX, WINDOWS (all versions)
Language : C, C++, VISUAL BASIC, COBOL.
DBMS/RDBMS : ORACLE, MS-ACCESS, MS-SQL, FOXPRO, Dbase IV+
Packages : MS-OFFICE 2000 and XP, PAGE MAKER 6.5,
PHOTOSHOP 6.0
Web Tools : HTML, XML, CORE JAVA, ASP, JAVA Scripts and other Multimedia Tools.
PROJECTS UNDERTAKEN:
PAYROLL, LIBRARY INFORMATION SYSTEM, SCHOOL MANAGEMENT SYSTEM,
HOSPITAL MANAGEMENT SYSTEM ETC.

PERSONAL PROFILE:
Father's Name: (Late) Mr. SHAUKAT ALI
S.O. (Retd.), Central Defense Account (CDA), Lucknow.
Date-of-Birth: 29 JUN 1970
Marital Status: Married.
Children : One Son studying in VIII Std. and one Daughter studying in III std.
Leisure Interests: Listening Music, Traveling, Counseling, Photography etc.
Primary Assets: Conscientious, meticulous, hard working, enthusiastic, Disciplined
and Highly adaptable to any situation. Successful in building friendly relationship with
co-workers.

OBJECTIVE: I would like to hold a position that will build on my skills and experience
and allow me scope for upward movement and where progress can be achieved by
caring for people who need help, attention and assistance. And last but not the least
where the organization could be benefited through my constructive work.

REFERENCES : 1- Dr. Shahrik Khan +91-9411682877 (m)

Lecturer At
Ashok Hall Girls’ Residential School
(An Institution of Birla Group)

1. Col.(Retd.) A. S. Rana +91-6412417830 (m)

Resident Director
MANAS STHALI PUBLIC SCHOOL, BAREILLY

PRESENT SALARY: Rs. 34000/- p.m. + CPF (Rs4080/-) + Free Accommodation +

Free two children education.
Kind Attn Please: My wife is also a PRT teacher and capable of teaching Ev.St. and
Hindi upto classes VI
Home Address
424 Bedford Ave #16A
Brooklyn, NY 11211, USA
Cell phone: +1 (313) 231-1542
E-mail: milos.besta@gmail.com
http://www.milosh.net
Office Address
Google Inc.
76 9th Avenue, 10th Floor
New York, NY 10011, USA
Phone: +1 (212) 565-8862
Fax: +1 (212) 565-0001

Research Interests
Distributed File Systems, Formal Methods, Verification of Software, Theorem
Proving, Model Checking, Program Semantics, Component Systems

Education

1/2002 - 6/2005 Ph.D. degree in Computer Science with a minor in

Mathematics, Department of Computer Science, Wayne State
University, Detroit, Michigan. Advisor: Frank Stomp.
Research area: Formal Methods and Verification of Software
(GPA: 3.93)
9/1999 - 12/2001 M.A. degree in Computer Science, Department of Computer
Science, Wayne State University, Detroit, Michigan. Advisor:
Frank Stomp. Research area: Formal Methods and
Verification of Software (GPA: 3.92)
9/1997 - 8/1999 Doctoral (RNDr.) degree in Computer Science, Charles
University, Prague, Czech Republic. Advisor: Frantisek Plasil.
Research area: Object-Oriented Paradigms in Distributed
Environments (GPA: N/A)
6/1994 - 5/1996 Master's (Mgr.) degree, with honors, in Computer Science,
Palacky University, Olomouc, Czech Republic. Advisor:
Vladimir Sklenar. Research area: Abstract Data Views (GPA:
4.0)
9/1991 - 5/1994 Bachelor's (Bc.) degree in Computer Science, Palacky
University, Olomouc, Czech Republic. (GPA: 3.96)

Skills Summary

Experience in design and development of core infrastructure systems, and in

management of a team and a project
Extensive background in Formal Methods including experience in applications
of Linear-Time Temporal Logic, analysis of concurrent and distributed
algorithms, development of formal correctness proofs, mechanization of
proofs using the PVS theorem prover, and software verification using the
SPARK proof checker and the SPIN verification system
Ability to conduct independent research, to publish research papers in
journals and conference proceedings, and to present results at international
 conferences and seminars
Proficiency in software development using several programming languages
including C++, Java, and Delphi; in using UML and Rational Rose; in
applications of object-oriented and component-based technologies including
CORBA, DCOM, and web-based technologies including HTML, JavaScript, and
Java servlets; in design and use of a formal specification language for
description of component software
Practical experience in management of Windows, Unix/Linux, and Novell
NetWare systems; in programming using Basic, Pascal, Lisp, Scheme, ML,
Prolog, Smalltalk, Assembler x86; in applications of many software packages
including Microsoft Office, WordPerfect Suite, LaTeX, Paradox, Btrieve,
Mathematica
Experience in teaching computer science courses including discrete
mathematics, data structures and algorithms, programming, and formal
languages and automata; in preparation, presentation, evaluation and
grading; in leading and advising teaching assistants
Fluent in Czech (native), English, and Russian; basics in German and Spanish

Service

Member of IEEE Computer Society

Member of Association for Computing Machinery
Referee for the 10th IEEE International Conference on Engineering of Complex
Computer Systems
Referee for the 2004 International Symposium on Computer and Information
Sciences
Elected representative of Computer Science graduate students (2000 - 2001)
Member of the organizational committee of the Objects '97 conference

Honors/Awards

WSU Department of Computer Science research assistantship award (2003 -

2004)
WSU Department of Computer Science nomination for the 2003 Garrett T.
Heberlein Endowed Award for Excellence in Teaching for Graduate Students
(2003)
WSU Graduate School conference travel award (2002)
WSU Graduate School tuition award (1999 - 2003)
Palacky University College of Sciences Dean's award for an outstanding
student project in Computer Science (1996)
Palacky University College of Sciences scholarship for excellent students
(1993 - 1996)

Work Experience

10/2005 - present Staff Software Engineer, Google Inc., New York, NY. Leading
 design and implementation of core infrastructure systems
supporting distributive storage of data
9/2004 - 8/2005 Lecturer, Department of Computer Science, Wayne State
University, Detroit, MI. Teaching Discrete Structures in
Computer Science, C++ Programming, Data Structures,
Formal Languages and Grammars; Advising undergraduate
students
9/2003 - 8/2004 Graduate Research Assistant, Department of Computer
Science, Wayne State University, Detroit, MI. Conducting
research in the area of formal software verification, focusing
on verification of distributed algorithms using Linear-Time
Temporal Logic, and on proof mechanization using PVS
theorem prover
9/2003 - 8/2004 Graduate Teaching Consultant, Office for Teaching and
Learning, Wayne State University, Detroit, MI. Advising
teaching assistants; responsible for scheduling and
management of class observations, videotaping lectures,
interviewing students, and interviewing and debriefing
teaching assistants
5/2002 - 8/2003 Graduate Teaching Assistant, Department of Computer
Science, Wayne State University, Detroit, MI. Lecturer of
Formal Languages and Automata, Data Structures and
Algorithms Analysis; responsible for course design,
preparation, teaching, evaluation, and grading
1/2001 - 4/2002 Graduate Teaching Assistant, Department of Computer
Science and Engineering, Oakland University, Rochester, MI.
Lecturer of Discrete Structures and Foundations of Computer
Science, C++ Programming and Data Structures; responsible
for course design, preparation, teaching, evaluation, and
grading
9/1999 - 12/2000 Graduate Teaching Assistant, Department of Computer
Science, Wayne State University, Detroit, MI. Lecturer of
Operating Systems and C++ Programming; responsible for
course design, preparation, teaching, evaluation, and
grading
1/1999 - 8/1999 Researcher, Institute of Computer Science, Czech Academy
of Sciences, Prague, Czech Republic; Conducting research in
Component and Object-Oriented Methodologies
9/1998 - 8/1999 Teaching Assistant, Department of Software Engineering,
Charles University, Prague. Leading lab sessions in Object-
Oriented Technologies and Operating Systems; responsible
for lab preparation, teaching, evaluation, and grading
6/1996 - 8/1998 Lead Developer of a suite of public transportation
applications
Client: FS Software, Olomouc, Czech Republic; suite used in
30 major cities
 Project: FS Mapa ("FS Maps")
Description: An application for tracking positions of public
transportation vehicles via GPS; 40 KLOC in Delphi; lead
developer and designer
Project: FS Rady ("FS Schedules")
Description: An application for designing, generating and
printing schedules for public transportation systems; 90
KLOC in Delphi; lead developer and designer
Project: Btrieve for Delphi
Description: A component supporting seamless integration
of Btrieve databases in Delphi; 25 KLOC in Delphi; 10 KLOC in
C++; integration of Delphi, C++, and Btrieve components;
lead developer and designer
Project: FS Spoje ("FS Connections")
Description: An application for finding connections in
transportation schedules; 30 KLOC in Java; web-based (Java
Servlet) application; interoperability with other applications
in the FS Software suite; lead developer and designer
9/1996 - 3/1998 System administrator of Windows NT and Novell Netware
networks, Department of Computer Science, Palacky
University, Czech Republic. Setup and maintenance including
management of IIS and Exchange servers, user accounts,
shared printers, shared software, resolving network
problems
9/1995 - 12/1997 Teaching Assistant, Department of Computer Science,
Palacky University, Olomouc, Czech Republic. Lecturer of
Programming in C++, Programming in Java, Object-Oriented
Programming, and Programming for the Win32 Platform;
responsible for course design, preparation, teaching,
evaluation, and grading
9/1994 - 5/1996 Team Manager and Lead Developer, Palacky University,
Czech Republic
Client: Palacky University, Olomouc, Czech Republic
Project: Alvis ("Algorithm Visualization")
Description: An application for visualization of algorithms;
500 KLOC in C++; Manager of a team of 12 student
programmers and a lead developer implementing the core
functionality of the system
9/1992 - 8/1996 System administrator of Novell NetWare network, GJO high
school, Litovel, Czech Republic. Setup and maintenance of
network, accounts, printers, resolving problems
9/1992 - 6/1996 Teacher, GJO high school, Litovel, Czech Republic. Teaching
Programming in Pascal; responsible for class design,
teaching, evaluation, and grading

References
 Available upon request

Publications
Available here