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: 9 Oct 1992 21:03:58 -0500
Organization: CS Dept, University of Texas at Austin
Distribution: usa
NNTP-Posting-Host: cash.cs.utexas.edu
Keywords: Communication networks & protocols, Distributed and Real-Time Systems





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


                                                        October 9, 1992


Dear Prospective Employer,



      I am interested in applying for a position in your organization 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.


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.


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.



REFERENCES

      1. Prof. Simon S. Lam             Dept. of Computer Sciences
      2. Prof. James C. Brow            University of Texas at Austin
      3. Prof. Al Mok                   Austin, TX 78705-1188


      4. Dr. Rick Goldgar               Scientific & Engineering Software, Inc.
                                        4301  Westbank Drive
                                        Austin, TX 78746-6564





Newsgroups: misc.jobs.resumes