He is currently on leave at the Forschungszentrum Informatik in Karlsruhe. Kofron's research interests include behavior modeling of software components, model checking, and reverse engineering of behavior aspects of software components. Currently, he is involved in the Q-ImPrESS project (Quality Impact Prediction for Evolving Service-Oriented Software), which is an European project involving 8 partners both from academia and industry focusing on modeling and prediction of quality aspects of service-oriented software architectures.