Visiting Fellows

Daniel German – University of Victoria

Professor Danie German is associate professor of computer science at the University of Victoria, Canada. His research interests include open source legal compliance, open source software engineering, and software evolution. German has a PhD in computer science from the University of Waterloo, Canada. He is a member of the Legal Network of the Free Software Foundation Europe. Contact him at dmg@uvic.ca.  

Jane Huffman Hayes – University of Kentucky

Dr. Jane Hayes is currently a Professor in Computer Science at the University of Kentucky. She is assisting the university in establishing a software engineering. Previously, she was a Corporate Vice President and the Manager of the Integrated System Technologies Operation of Science Applications International Corporation (SAIC). She has over 16 years of experience in the field of verification and validation, testing, software development, and process improvement. She has been the verification and validation technical lead and/or program manager on numerous trusted software development efforts. She has led and participated in numerous management process/product audits and assessments of large projects. She has assisted with process, plan, and procedure development for testing and verification and validation, including assisting with the development of a Y2K testing standard for a commercial initiative. Dr. Hayes holds a M.S. in Computer Science from the University of Southern Mississippi and a Ph.D in Information Technology from George Mason University (GMU). She is the founding President of the Alumni Club of the Information Software Engineering Department at GMU, as well as a founding Member of their Industrial Advisory Board. She is a member of ACM and the IEEE Computer Society. She was a Certified Software Test Engineer through the Quality Assurance Institute. Dr. Hayes has published numerous articles related to software verification, validation, and testin

Jim Cordy – Queen's University

Professor Cordy will be visiting the PolyMORSE teams from July 2013 to June 2014.

 

Jim Cordy is Professor and past Director of the School of Computing at Queen's University, Kingston, Ontario, Canada. In 1985 Dr. Cordy co-founded Holt Software Associates (HSA), a Toronto-based company specializing in educational software systems, and from 1995 to 2000 he was vice president and chief research scientist at Legasys Corporation, a software technology company specializing in legacy software system analysis and renovation.

 

Dr. Cordy is a founding member of the Software Technology Laboratory at Queen's University. From 1991 to 1997 he led the Software Design Technology project, a multi-university research project in software architecture research funded by the Information Technology Research Centre (ITRC, now CITO, an Ontario government Centre of Excellence). As project leader Dr. Cordy was winner of the 1994 ITRC Bank of Montreal Innovation Excellence Award and the 1995 ITRC Chair's Award for Entrepreneurship in Technology Innovation.

 

Prof. Cordy is the author or co-author of numerous contributions in computer software systems, including the PL/I subset compiler SP/k (1977), the Toronto Euclid compiler (1980), the S/SL compiler technology (1980), the Concurrent Euclid programming language (1981), the Turing programming language (1983), Turing Plus (1985), Object-Oriented Turing (1992), the orthogonal code generation compiler technology (1986), the TXL programming language (1991), the TXL source transformation system (1995), the LS/2000 year 2000 conversion system (1996), and the LS/AMT software analysis and migration system (1999). He has published more than 100 refereed academic and technical papers in software engineering, programming languages, user interfaces, compiler technology and pattern recognition, including the books "Introduction to Compiler Construction Using S/SL" (Queen's, 1986) and "The Turing Programming Language: Design and Definition" (Prentice-Hall, 1988).

 

Dr. Cordy received his BSc in computer science and mathematics from the University of Toronto in 1973 and his MSc in computer science in 1976. After serving several years as chief programmer and senior research associate at the Computer Systems Research Institute of the University of Toronto, he returned to school and received his PhD from the University of Toronto in 1986. Following ten years at Queen's University he left to found Legasys Corporation in 1995 where he was vice president and chief research officer until his return to Queen's in 2001.

 

Dr. Cordy is a past member and chair of the Natural Sciences and Engineering Research Council of Canada (NSERC) grant selection committee in Computing and Information Science, a recent distinguished scientist member of the NSERC E.W.R. Steacie Awards Committee and an emeritus member of the International Federation for Information Processing (IFIP) Working Group 2.4, "software implementation technology." He is a registered professional engineer, a Senior Member of the IEEE, a Distinguished Scientist member of the Association for Computing Machinery and an IBM Visiting Scientist and Faculty Fellow.

 

Prof. Cordy recently served as program co-chair of the IEEE 2002 and 2008 International Conference on Source Code Analysis and Manipulation (SCAM), the IEEE 2005 International Workshop on Program Comprehension (IWPC 2005) and the IBM 2005 Centre for Advanced Studies Conference (CASCON 2005). He served as industrial co-chair of the IEEE 2002, 2004 and 2005 International Conference on Software Maintenance (ICSM ), as co-organizer of the Dagstuhl International Seminar on Transformation Techniques in Software Engineering (2005), and as program chair of the IEEE 4th International Conference on Computer Languages (ICCL'92). He serves on the program committees of numerous conferences and workshops in software systems and languages, on the editorial board of several journals, books and special issues, and as session chair at many conferences.

 

In 1990-91 Dr. Cordy was invited to be guest researcher at GMD (now part of the Fraunhofer Institute), the German National Institute for Computer Science, in Karlsruhe, Germany, and in 2004-05 he was again invited as guest researcher, at the Automated Reasoning Systems Division of ITC-IRST, the Provincial Center for Scientific and Technological Research in Trento, Italy.