Ingolf KruegerAssoc Prof, Computer Science and Engineering Faculty-Affiliate, Calit2 Service-oriented software and systems engineering, programming methodology, and the design, implementation, and verification of distributed, reactive systems. Professor Krueger is an expert on service-oriented software architectures, and software & systems engineering for distributed, reactive systems. His current research interests include: graphical description techniques for structure and behavior; component-oriented development methods and technologies; development processes; system verification and validation; and formal methods.Krueger is the co-holder of a U.S. patent granted in June 2002 for "automatically generating a program." He developed a method, an apparatus and a computer program for automatically generating program from information about the cooperation/interaction of individual components. One example: the interaction of components required to establish the locking or unlocking of a central locking system in a car; by means of Krueger's method, one could then automatically generate programs for the components executing these tasks. The technology has other applications in the area of telecommunication protocols, as well as in user interface design and database queries. The invention facilitates the process of program development since the costly, manual development of a state-based program from the specification of a system is automated at least to a substantial degree.
Capsule Bio:
Selected Publications: |
Office Phone:
858-822-5116
Institute Affiliation:
|
|
Jacobs School Faculty Update Your Profile |
|