363
About the Contributors
Yingxu Wang is professor of cognitive informatics and software engineering, director of International Center for Cognitive Informatics (ICfCI) and director of Theoretical and Empirical Software Engineering Research Center (TESERC) at the University of Calgary. He received a PhD in software engineering from the Nottingham Trent University, UK, in 1997, and a BSc in electrical engineering from Shanghai Tiedao University in 1983. He was a visiting professor in the Computing Laboratory at Oxford University during 1995 and a visiting professor in the Dept. of Computer Science at Stanford University during 2008, and has been a full professor since 1994. Wang is a Fellow of WIF, a P.Eng of Canada, a Senior Member of IEEE, and a member of ACM, ISO/IEC JTC1, the Canadian advisory committee (CAC) for ISO, the advisory committee of IEEE Canadian Conferences on Electrical and Computer Engineering (CCECE), and the National Committee of Canadian Conferences on Computer and Software Engineering Education (C3SEE). He is the founder and steering committee chair of the annual IEEE International Conference on Cognitive Informatics (ICCI). He is the founding editor-in-chief of the International Journal of Cognitive Informatics and Natural Intelligence (IJCINI), founding editor-in- chief of the International Journal of Software Science and Computational Intelligence (IJSSCI), associate editor of IEEE TSMC-A, and editor-in-chief of CRC book series in Software Engineering. He has accomplished a number of European Union, Canadian, and industry-funded research projects as principal investigator and/or coordinator, and has published over 300 journal and conference papers, and 12 books in software engineering and cognitive informatics. He has served on numerous editorial boards and program committees, and as guest editors for a number of academic journals. He has won dozens of research achievement, best paper, and teaching awards in the last 36 years, particularly the 1994 National Zhan Tianyou Young Scientist Prize, China, and the ground breaking book, Software Engineering Foundations: A Software Science Perspective. *** Patricia Boechler received her PhD in psychology from the University of Alberta in 2002, and is currently a member of that university’s educational psychology department. Her general research interests include cognition, memory, learning and developmental psychology. For the last few years her research has been centered around the study of cognition and learning in educational hypermedia. She has been investigating the effects of different types of interfaces on learning, taking into account individual differences in spatial and literacy skills. Boechler is also interested in developing novel research and statistical methods for uncovering regularities in user navigation behaviours. She is applying her background in the study of spatial cognition using neural networks to the use of neural networks for understanding students’ path patterns in educational hypermedia. Christine W. Chan is professor of engineering at the University of Regina, Regina, Saskatchewan, Canada. She is an adjunct scientist of Telecommunications Research Laboratory, adjunct professor of the electrical and computer engineering department of University of Calgary, and associate member of Laboratory for Logic and Experimental Philosophy in Simon Fraser University. She obtained her PhD degree in applied sciences from Simon Fraser University in 1992. She was assistant professor of computer science at University of Regina in 1993, and professor of computer science from 2000 to 2003. Chan founded the Energy Informatics Laboratory at University of Regina in 1995 and has served as principal investigator of the laboratory. Chan has been in-
Copyright © 2009, IGI Global, distributing in print or electronic forms without written permission of IGI Global is prohibited.
About the Contributors
volved in research on applications of artificial intelligence and knowledge-based technologies to energy and the environment, industrial applications of artificial intelligence, ontological engineering, knowledge and software engineering, intelligent data analysis using artificial intelligence techniques, object-oriented analysis and design, socio-economic impacts of information technology, and development and impacts of educational instructional software. She has published or presented over 190 technical papers, of which over 50 are international journal articles and over 90 are refereed conference papers. She presently serves as editor of Engineering Applications of Artificial Intelligence, and associate editor of Journal of Environmental Informatics. In 2003, she was co-guest editor of a special issue of Engineering Applications of Artificial Intelligence. In 2004-2006, she was awarded the President’s Scholar award at University of Regina. Dr. Chan is a member of Institute of Electrical and Electronics Engineers (IEEE) Computer Society and American Association of Artificial Intelligence. Tiansi Dong, the key software developer at the Cognitive Ergonomic Systems Germany, professional member of ACM and IEEE, received BS at the Department of Computer Science and Technology, Nanjing University in 1997, M.E. at the Department of Computer Science and Engineering, Shanghai Jiaotong University in 2000, China, and Dr. rer. nat at the Department of Mathematics and Informatics, University of Bremen, Germany in 2005 for the grounding of the theory of cognitive prism. Lee Flax is a senior lecturer in the computing department at Macquarie University, Sydney, Australia. He started work in 1970 for the computer company, ICL. Over the years he has been a programmer, systems analyst, project leader and office manager, all in the information systems area. In the early 1980s he became an academic. His current research interests lie in logic and artificial intelligence. Some specific areas are: cognitive modelling using symbolic methods, computable agent reasoning and algebraic belief revision and non-monotonic entailment. Frank L. Greitzer, PhD, is a chief scientist at the Pacific Northwest National Laboratory (PNNL), where he conducts R&D in human-information interaction for diverse problem domains. He holds a PhD degree in mathematical psychology with specialization in memory and cognition and a BS degree in mathematics. Dr. Greitzer leads a R&D focus area of cognitive informatics that addresses human factors and social/behavioral science challenges through modeling and advanced engineering/computing approaches. His research interests include human-information interaction, human behavior modeling to support intelligence analysis, and evaluation methods and metrics for assessing effectiveness of decision and information analysis tools. In the area of cyber security, Greitzer serves as predictive defense focus area lead for the PNNL Information and Infrastructure Integrity Initiative. Greitzer also conducts research to improve training effectiveness by applying cognitive principles in innovative, interactive, scenario-based training and serious gaming approaches. Representative project descriptions and publications may be found at the cognitive informatics Web site, http://www.pnl.gov/cogInformatics. In addition to his work at PNNL, Greitzer serves as an adjunct faculty member at Washington State University, Tri-Cities campus, where he teaches courses for the computer science department (interaction design) and for the psychology department (cognition, human factors). Greitzer also serves on the editorial board of the Journal of Cognitive Informatics & Natural Intelligence. Douglas Griffith is an applied cognitive psychologist in the Cognitive Solutions Laboratory of General Dynamics Advanced Information Systems. He holds a PhD from the University of Utah and has 32 years of applied experience in government and industry. A former president of Division 21 (applied experimental and engineering psychology) of the American Psychological Association, he is particularly interested in systems that produce a synergism between the human and the machine. One project was the Computer Aids for Vision and Employment (CAVE) Program. The goal was to design better computer systems and training packages for the visually impaired. He managed a subcontract on a project to study cognitive aids for intelligence analysts to counter denial and deception. The work consisted of a review of human information processing shortcomings with an emphasis on those shortcomings that make analysts vulnerable to denial and deception techniques. Then remedies, the cognitive aids, were identified to compensate for these shortcomings and increase the analysts’ awareness of the likelihood of denial and deception activities. In addition to neo-symbiotic systems, he is currently working on collaborative technologies and with metrics for collaboration and the analysis of nonconventional imagery. 364
About the Contributors
Zeng-Guang Hou received the BE and ME degrees in electrical engineering from Yanshan University, Qinhuangdao, China, in 1991 and 1993, respectively, and the PhD degree in electrical engineering from Beijing Institute of Technology, Beijing, China, in 1997. From May 1997 to June 1999, he was a postdoctoral research fellow at the Laboratory of Systems and Control, Institute of Systems Science, Chinese Academy of Sciences, Beijing. He was a research assistant at the Hong Kong Polytechnic University, Hong Kong, China, from May 2000 to January 2001. From July 1999 to May 2004, he was an associate professor at the Institute of Automation, Chinese Academy of Sciences, and has been a full professor since June 2004. From September 2003 to October 2004, he was a visiting professor at the Intelligent Systems Research Laboratory, College of Engineering, University of Saskatchewan, Saskatoon, SK, Canada. His current research interests include neural networks, optimization algorithms, robotics, and intelligent control systems. Ray Jennings is professor of philosophy and director of the Laboratory for Logic and Experimental Philosophy at Simon Fraser University, where he supervises research in logic and the biology of language. He was co-founder (with P.K. Schotch) of the preservationist approach to paraconsistency. He has published in, among others, the Journal of Philosophical Logic, Notre Dame Journal of Formal Logic, Logique et Analyse, Journal of the IGPL, Studia Logica, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Analysis, Fundamenta Informaticae, Synthese. His papers on language are in numerous journals and collections including most recently, Mistakes of Reason (UTP) and A Semantics Reader (OUP). He is the author of The Genealogy of Disjunction (OUP) and of the Stanford University Encyclopaedia article Disjunction. He is co-author (with N. A. Friedrich) of Proof and Consequence (Broadview). He gave a set of lectures on the biology of language (Logicalization) at NASSLI’02, Stanford University. Witold Kinsner is professor and associate head at the Department of Electrical and Computer Engineering, University of Manitoba, Winnipeg, Canada. He is also affiliate professor at the Institute of Industrial Mathematical Sciences, and adjunct scientist at the Telecommunications Research Laboratories, Winnipeg. He obtained a PhD in electrical engineering from McMaster University in 1974. He has authored and co-authored over 500 publications in his research areas. Dr. Kinsner is a senior member of the Institute of Electrical & Electronics Engineers (IEEE), a member of the Association of Computing Machinery (ACM), a member of the Mathematical and Computer Modelling Society, a member of Sigma Xi, and a life member of the Radio Amateurs of Canada. Qingyong Li is a lecturer in School of Computer and Information Technology at Beijing Jiaotong University. He holds a PhD from the Institute of Computing Technology, Chinese Academy of Sciences. His research interests include cognitive informatics, machine learning and image processing. Natalia López was born in Alcalá de Henares, Spain. She obtained her MS in mathematics in 1997 and her PhD in computer science in 2003 from the Universidad Complutense de Madrid. Since 1998, she has been in the Computer Systems and Computation Department, Universidad Complutense de Madrid (Spain) where she is an associate professor. Her topics of interest include process algebra, stochastic temporal systems, and formal testing methodologies. André Mayers is a professor of computer science at the University of Sherbrooke and a founder of a research group about intelligent tutoring systems, mainly focused on knowledge representation structures that simultaneously make easier the acquisition of knowledge by students, the identification of their plans during problem solving activities, and the diagnosis of knowledge acquisition. Mehdi Najjar is actually a postdoctral researcher on cognitive and computational modelling. He received his PhD in artificial intelligence from the University of Sherbrooke (Canada). He is also interested in knowledge representation, management and engineering within virtual learning environments and he collaborates with other researchers on the refinement of the knowledge representation structures within intelligent systems.
365
About the Contributors
Manuel Núñez is an associate professor in the computer systems and computation department, Universidad Complutense de Madrid (Spain). He obtained his MS degree in mathematics in 1992 and his PhD in computer science in 1996. Afterwards, he also studied economics, obtaining his MS in economics in 2002. Dr. Núñez has published more than 70 papers in international refereed conferences and journals. In the last years, he has been co-chair of the Forte 2004 conference and of FATES/RV 2006. His research interests cover both theoretical and applied issues, including testing techniques, formal methods, e-learning environments, and e-commerce. Fernando Lopez Pelayo obtained the following degrees (MSc, mathematics, Complutense University of Madrid (UCM); European PhD, computer science, University of Castilla–La Mancha (UCLM), Spain). Nowadays he is developing his teaching activities in the UCLM and in the Spanish Distance Learning University, UNED. His main research interests are focused on formal aspects of concurrency and performance, cognitive informatics, grid computing and symbolic computation. He has published about fifty scientific papers, a third of them in international journals and the rest in refereed international workshops/conferences. He is member of the scientific committeeies of a couple of journals and five workshops/conferences. Vaclav Rajlich received the PhD degree in mathematics from the Case Western Reserve University. He is a professor and former chair of the computer science department of Wayne State University. His research interests are software evolution and program comprehension. He published approximately 70 peer-reviewed articles and one book. He is a member of ACM and IEEE Computer Society. Amar Ramdane-Cherif received his PhD from Pierre and Marie University of Paris in 1998 in neural networks and IA optimization for robotic applications. Since 2000, he has been associate professor in the laboratory PRISM, University of Versailles, Saint-Quentin en Yvelines, France. His main current research interests include software architecture and formal specification, dynamic architecture, architectural quality attributes, architectural style, neural networks, and agent paradigms. Ismael Rodríguez is an associate professor in the computer systems and computation department, Universidad Complutense de Madrid (Spain). He obtained his MS degree in computer science in 2001 and his PhD in the same subject in 2004. Dr. Rodríguez received the Best Thesis Award of his faculty in 2004. He also received the Best Paper Award in the IFIP WG 6.1 FORTE 2001 conference. Rodríguez has published more than 40 papers in international refereed conferences and journals. His research interests cover formal methods, testing techniques, e-learning environments, and e-commerce. Fernando Rubio is an associate professor in the computer systems and computation department, Universidad Complutense de Madrid (Spain). He obtained his MS degree in computer science in 1997 and his PhD in the same subject in 2001. Dr. Rubio received the National Degree Award on the subject of computer science from the Spanish Ministry of Education in 1997, as well as the Best Thesis Award of his faculty in 2001. Dr. Rubio has published more than 40 papers in international refereed conferences and journals. His research interests cover functional programming, testing techniques, e-learning environments, and e-commerce. Guenther Ruhe received a doctorate in mathematics with emphasis on operations research from Freiberg University, Germany and a doctorate degree from both the Technical University of Leipzig and University of Kaiserslautern, Germany. From 1996 until 2001, he was deputy director of the Fraunhofer Institute for Experimental Software Engineering Fh IESE. Ruhe holds an Industrial Research Chair in Software Engineering at University of Calgary. This is a joint position between department of Computer Science and department of Electrical and Computer Engineering. His laboratory for Software Engineering Decision Support (see www.seng-decisionsupport.ucalgary.ca) is focusing on research in the area of intelligent support for the early phases of software system development, analysis of software requirements, empirical evaluation of software technologies, and selection of components-off-the -shelf (COTS) software products. He is the main inventor of a new generation of intelligent decision support tool for software release planning and prioritization. ReleasePlanner® (www.releaseplanner. com). Ruhe has published more than 155 reviewed research papers at journals, workshops, and conferences. Ruhe is a member of the ACM, the IEEE Computer Society, and the German Computer Society GI. 366
About the Contributors
Phillip C-Y. Sheu is currently a professor of computer engineering, information and computer science, and biomedical engineering at the University of California, Irvine. He received his PhD and MS from the University of California at Berkeley in electrical engineering and computer science in 1986 and 1982, respectively, and his BS from National Taiwan University in electrical engineering in 1978. He has published two books: Intelligent Robotic Planning Systems and Software Engineering and Environment: An Object-Oriented Perspective, and more than 100 papers in object-relational data and knowledge engineering and their applications, and biomedical computations. He is currently active in research related to complex biological systems, knowledge-based medicine, semantic software engineering, proactive web technologies, and large real-time knowledge systems for defense and homeland security. Dr. Sheu is a Fellow of IEEE. Zhiping Shi is an assistant professor at the Key Lab of Intelligent Information Processing of Institute of Computing Technology, Chinese Academy of Science. He received his PhD in computer software and theory in Institute of Computing Technology, Chinese Academy of Science in 2005. His research interests include contentbased visual information retrieval, image understanding, machine learning and cognitive informatics. Zhongzhi Shi is a professor at the Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China. His research interests include intelligence science, multi-agent systems, and semantic web. He has published 10 books, edited 11 books, and has more than 300 technical papers. His most recent books were Intelligent Agent and Applications and Knowledge Discovery (in Chinese). Shi is a member of the AAAI. He is the chair of WG 12.3 of IFIP. He also serves as vice president of the Chinese Association for Artificial Intelligence. He received the 2nd Grade National Award of Science and Technology Progress in 2002. In 1998 and 2001 he received the 2nd Grade Award of Science and Technology Progress from the Chinese Academy of Sciences. Jeffrey J.P. Tsai received his PhD in computer science from the Northwestern University, Evanston, Illinois. He is a professor in the Department of Computer Science at the University of Illinois at Chicago, where he is also the Director of Distributed Real-Time Intelligent Systems Laboratory. He co-authored Knowledge-Based Software Development for Real-Time Distributed Systems (World Scientific, 1993), Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis (John Wiley and Sons, Inc., 1996), Compositional Verification of Concurrent and Real-Time systems (Kluwer, 2002), Security Modeling and Analysis of Mobile Agent Systems (Imperial College Press, 2006), co-edited Monitoring and Debugging Distributed Real-Time Systems (IEEE/CS Press, 1995), and Machine Learning Applications in Software Engineering (World Scientific, 2005). Taehyung Wang is an assistant professor in the Department of Computer Science at California State University Northridge (CSUN). His research interests include cognitive informatics, biomedical information system, software engineering, data mining, data warehousing, object-oriented design and analysis methodology, location-based service, data visualization, and Web technologies. Before joining CSUN, he worked as a researcher for the Visual Interactive Data Engineering Lab and the Center of Bioengineering at the University of California, Irvine. Dr. Wang received a PhD from the University of California at Irvine in 1998, and he received a MS in computer science from Western Illinois University and a B.S. in Control and Instrumentation from Seoul National University in 1985, respectively. Shaochun Xu received the PhD degree in computer science at Wayne State University, Detroit, USA, the PhD in geology from the University of Liege, Liege, Belgium, and the MSc degree in computer science from the University of Windsor, Windsor, Canada. From 1997 to 1999, he was a post-doctoral fellow in the Department of Geological Sciences at the University of Manitoba, Winnipeg, Canada. He is currently an assistant professor at the computer science department at Algoma University College, Laurentian University, Sault Ste. Marie, Canada. His research focuses on cognitive aspects of software engineering. Yiyu Yao received his BEng from Xi’an Jiaotong University, People’s Republic of China, in 1983, and his MSc and PhD from the University of Regina, Canada (1988 and 1991, respectively). He was an assistant professor
367
About the Contributors
and an associate professor at Lakehead University, Canada (1992-1998). He joined the Department of Computer Science at the University of Regina in 1998, where he is currently a professor of computer science. His research interests include data mining, rough sets, Web intelligence, granular computing, machine learning and information retrieval. Du Zhang received a PhD in computer science from the University of Illinois. He is a professor and chair at Department of Computer Science, California State University, Sacramento. He has authored or co-authored over 100 publications in journals, conference proceedings, and book chapters, and has edited or co-edited two books, five special issues for five journals, and five IEEE conference proceedings. Du Zhang is a senior member of IEEE and a member of ACM. He is an associate editor for International Journal on Artificial Intelligence Tools and a member of editorial board for International Journal of Cognitive Informatics and Natural Intelligence. Yan Zhao received her BEng from the Shanghai University of Engineering and Science, People’s Republic of China, in 1994, MSc and PhD from the University of Regina, Canada in 2003 and 2007, respectively. Her research interests include data mining and machine learning.
368
