K. Umut Sargut

CSE Building Room E301 University of Florida

P.O. Box 116120 Gainesville, FL 32611-6120

Cell: (352) 8711468

umut@ufl.edu

http://www.cise.ufl.edu/~usargut/


  Education:
   

2003-Present: PhD Computer & Information Sciences and Engineering, University of Florida (GPA 3.91)

2001-2003: MS - Information Systems, Middle East Technical University (Turkey) (GPA 3.75)

1996-2000: BS - Industrial Engineering, BS, Bilkent University (Turkey) (GPA 3.74)

 

Work Experience:

   

August 2003 – Present PhD, University of Florida CISE Department

Teaching Assistant for Data Structures, Java Programming for CIS Majors and Software Engineering courses

•   Lead periodic discussion sessions; designed and graded assignments

Optional Practical Trainee (May 2006 – July-2006)

•   Participated in “Morpheus” data integration project under supervision of Dr. Joachim Hammer

September 2002 – June 2003 METU Informatics Institute, Ankara TURKEY

Research Assistant in Software Management Graduate Program

August 2000 – September 2002 Milsoft Software A.S., Ankara TURKEY

Quality Assurance Specialist (March 2002 – September 2002)

•   Participated in process improvement activities in accordance with Capability Maturity Model (CMM) for software.

•   Participated in the activities during formal CMM Level 3 assessment that resulted in a successful certification

•   Performed various process and product audits

System Engineer (August 2000 – March 2002)

•   Worked on improvement of defect prevention and problem resolution processes.

•   Developed process descriptions for measurement processes and data collection procedures.

•   Designed templates for various forms and reports.

•   Participated in system analysis, system design, software analysis, software design and testing phases of an internal project, which aimed to automate the processes in a software company.

 

Selected Project History:

   

•   Creation of an expert system to simulate the operations of a car maintenance company

•   Development of an automated verification technique for model checking concurrent linked lists by using JPF (Java Path Finder)

•   Implementation of a compiler for an imaginary programming language

•   Implementation of various applications using sockets, multicast sockets and RMI

•   Elicitation of software requirements for Zoology Department Fiscal Office, University of Florida

•   Master’s Thesis, “The application of Statistical Process Control to Software Processes”

•   Preparation of Process Improvement Plan for an imaginary software company with the findings of ISO/IEC 15504 (SPICE) assessment

 

Significant Courses Taken:

   

Master's: Database Concepts and Applications, Computer Networking for Information Systems, Human Computer Interaction, Software Quality Management, Software Project Management

PhD: Analysis of Algorithms, Programming Language Principles, Operating Systems Principles, Software Testing and Verification, Automated Verification, Artificial Intelligence Concepts, Expert Systems

 

Computer Skills:

   

Languages: Java, C++, Turbo Pascal, ML, LISP, CLIPS, XML

Other skills: Rational Rose, Enterprise Architect, Erwin, CVS, Visual Source Safe, MS Office applications, AutoCAD, Minitab, Unifit, SPSS

 

Areas of Interest:

    Agent oriented software engineering, verification and validation, model checking, software process improvement, software metrics, statistical process control