Prof. Francisco Chicano – University of Malaga
Francisco Chicano is a PhD assistant professor in the NEO-GISUM Group in the Department of Languages and Computing Sciences of the University of Malaga, Spain. His research interests include the application of randomized search techniques to Software Engineering problems. In particular, he contributed to the domains of software testing, model checking and software project scheduling.
He is the author of more than 70 refereed publications, has 3 best paper awards, has served in more than 20 program committees and is frequent reviewer in more than 30 international journals.
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.