Dr. José M. Garrido
Associate Professor of Computer Science
 email: jgarrido@kennesaw.edu     phone: 770-499-3652

Office:  Clendenin Bldg., Room 3035


LINKS

Schedule
Classes & Office Hours

Short vita

 

 

 

RESEARCH PROJECTS

 

  • OOPsim Project:: Investigate better techniques and tools for object-oriented modeling and process approach to discrete-event simulation
  • NSF CPATH Revitalizing Education in Computing
  • Modeling aspects of Information Security
  • Reusability of computational Models 
  • A Java Modeling Framework for OS and Graphical Animation  (with Prof. Richard Schlesinger)
  • A Repository and Method for Developing and Applying Computational Models
  • KJP Project   A language for learning OO Principles and Abstraction
  • MODSIM III and PsimJ:  A Comparison
  • Extensions to OCL with Temporal Logic  Formal Specification of Real-Time Systems
  • A Language for Simulation of Real-Time Systems -- link
  • PSP/TSP in Early Stages of Programming Principles
  • Yamacraw funded project for Design by Contract
  • Other projects

RESEARCH INTERESTS

  • Object-oriented simulation: objects modeling and simulation methods, graphics software
  • Language processors: object-orientation and abstraction
  • Modeling and simulation of real-time systems
  • Formal specification of software systems: OCL and temporal logic
  • Computing education innovation approaches
  • Experimental techniques for teaching OO programming principles and implementation of simulation models