Juergen joined the Computing faculty in the winter of 2000. He received an M.Sc. in Computer Science from Berlin University of Technology in 1992, an M.Sc. in Pure and Applied Logic in 1994 and a Ph.D. in Computer Science in 1999 from Carnegie Mellon University. He is on the editorial board of Software and Systems Modeling (SoSyM) and was the PC Co-chair of the IFIP International Conference on Formal Techniques for Distributed Systems (FMOODS-FORTE'11). At Queen's, he leads the Modeling and Analysis in Software Engineering Group (MASE).