From: pjain@cs.utexas.edu (Pradeep Jain)
Newsgroups: misc.jobs.resumes
Subject: Ph.D./CS seeks position to apply skills to real-world problems.
Date: 12 Nov 1992 22:43:15 -0600
Organization: CS Dept, University of Texas at Austin
Distribution: usa
NNTP-Posting-Host: cash.cs.utexas.edu
Keywords: Comm networks & protocols, performance analysis, Dist. & Real-time systems








                                                        Pradeep Jain
                                                        407 W. 38th Street # 202
                                                        Austin TX 78705


                                                        November 12, 1992


Dear Prospective Employer,



      I am interested in applying for a position in the area of communication
 networks and protocols.


      I am currently employed at Scientific and Engineering Software, Inc. as
  an application engineer. I am responsible for developing a library of perfor-
  mance models for communication protocols using SES/workbench, a system design
  and analysis tool for hardware and software.  Prior to this,  I received my
  Ph.D. in Computer Science from the  University of Texas at Austin, under the
  supervision of Dr.  Simon S. Lam.  My dissertation was in the area of
  modeling and analysis of communication network protocols.


      My industrial and academic experience provide me with a strong background
  in both the practical and theoretical aspects of communication systems, rang-
  ing from specification and verification to performance evaluation. I have a
  strong desire to apply my skills to solve  real-world problems  in communica-
  tion networks, distributed systems and real-time systems.


      I have appended  my resume for your review, and look forward to hearing
  from you.



                                                            Sincerely,

                                                            Pradeep Jain

--------------------------------------------------------------------------------



                               PRADEEP JAIN


Address :407 W. 38th Street # 202                Home Phone : (512) 454-2945
         Austin, TX 78705                        Work Phone : (512) 329-9726
E-mail : pjain@cs.utexas.edu                     Fax :        (512) 327-6646
_____________________________________________________________________________


OBJECTIVE     To devise and implement solutions to practical problems in the
              areas of  communication networks  and protocols,  distributed
              systems and time systems.

              My interests in these areas include high-speed and integrated
              services networks, performance analysis,  real-time protocols,
              protocol testing, specification and verification methodologies,
              internetworking and protocol conversion.


EDUCATION     Ph.D. in Computer Science  (May 1991)
              University of Texas at Austin.

              Dissertation:
                  Specification and Verification of Real-Time Broadcast Networks
                Advisor: Dr. Simon S. Lam

                      As real-time systems exhibit  complex time-dependent
                      behavior, they are prone to design errors. In ensuring
                      that real-time systems behave as intended, they should
                      be carefully  specified and  verified.  I developed a
                      specification language and verification techniques for
                      real-time systems.  I used these to specify and verify
                      several real-time communication protocols. I discovered
                      and corrected design errors in an existing protocol for
                      very high-speed local area networks.

              Master of Technology in Computer Science
              Indian Institute of Technology, Kanpur, India.

              Bachelor of Technology in Mechanical Engineering
              Indian Institute of Technology, Kanpur, India.




EXPERIENCE


 9/91 - present   Application Engineer
                  Scientific and Engineering Software, Inc., Austin, TX.

                  Designed and implemented reusable performance models for
                  communication protocols using SES/workbench (a modeling and
                  performance-analysis tool). Network protocols modeled include
                  Ethernet, X.25 and SNA. These models are intended to be
                  incorporated as sub-systems of larger systems.

                  Served as consultant to SES customers on Management Inform-
                  ation Systems modeling projects.

                  Formulated and presented seminars to SES/workbench users on
                  techniques for modeling communication protocols.

                  Developed successful proposals in response to RFP's involving
                  network models.



 9/85 - 5/91      Graduate Research Assistant
                  Dept. of Computer Sciences, University of Texas at Austin.

                  Designed a specification language and verification techniques
                  for real-time broadcast networks, and applied these to pro-
                  tocols for high-speed communications.

                  Extended specification language and verification methodology
                  to analyze timing constraints in digital circuits.

                  Enhanced real-time protocols to function correctly with
                  drifting local clocks.



 1/82 - 8/85      Teaching Assistant
                  Dept. of Computer Sciences, University of Texas at Austin.

                  Developed  material for and taught graduate and under-
                  graduate classes in Data Structures, Operating Systems,
                  Computer Architecture, Theory of Algorithms and other
                  computer science courses.



 7/81 - 12/81     Research Assistant
                  Indian Institute of Technology, Kanpur, India.

                  Implemented a translator for a Fortran-based CAD/CAM language
                  to assembly-level Numerical-Control machine language.



PUBLICATIONS

              1. Pradeep Jain and Simon S. Lam, "Modeling and Verification of
                 Real-Time Protocols for Broadcast Networks," IEEE Transactions
                 on Software Engineering, Aug. 1987.


              2. Pradeep Jain and Simon S. Lam, "Specification and Verification
                 of Collision-free Broadcast Networks,"  ACM SIGCOMM Symposium,
                 Aug. 1988.


              3. Pradeep Jain and Simon S. Lam, "Specification of Real-Time
                 Broadcast Networks," IEEE Trans. on Computers, April 1991.


              4. Pradeep Jain, "Timing Analysis of Digital Circuits," Technical
                 Report, in preparation.



COMPUTER          Languages: C, C++, Pascal, FORTRAN, COBOL, Simula
SKILLS            Operating Systems: UNIX 4.2 and 4.3 BSD, SunOS 4.1, TOPS-20
                  Platforms: Sun 2, Sun 3, SPARC station, VAX's, DEC-10, DEC-20



REFERENCES        Available upon request.