Keynote Speakers of ICSCA 2019
Prof. Dr. Kamal Zuhairi Zamli, Universiti Malaysia Pahang, Malaysia
DEAN OF THE FACULTY OF COMPUTER SYSTEMS & SOFTWARE ENGINEERING (FSKKP)
Biography: Kamal Z Zamli obtained his degree in the field of Electrical Engineering from Worcester Polytechnic Institute, USA in 1992. He then pursued his MSc (Real-Time Software Engineering) from Universiti Teknologi Malaysia in 2000 and PhD from Software Engineering from University of Newcastle upon Tyne, UK in 2003. He has written nearly 350 papers in journals and conferences worldwide mainly in the area of (combinatorial t-way) Software Testing as well as Search based Software Engineering. He is the runner up for the Q-Merit Award conferred by the Malaysian Software Testing Board (MSTB, 2011) based on his contribution to the field of Software Testing in Malaysia.
Prof. Dr. Vitaliy Mezhuyev, Universiti Malaysia Pahang, Malaysia
Biography: Vitaliy Mezhuyev received BS
and MS degrees in physics and informatics from Berdyansk State
Pedagogical University (BSPU), Ukraine, in 1997. In 2002, he
received a PhD in Physics Instruction from Kiev National Pedagogical
University and, in 2012, a ScD in Information Technologies from
Odessa National Technical University, Ukraine. From 2004 until 2014,
he was Head of the Department of Informatics and Software
Engineering at BSPU, Ukraine. Now he is Professor at Faculty of
Computer Systems and Software Engineering in University Malaysia
Pahang, Head of the Software Engineering Research Group.
During his carrier, Vitaliy Mezhuyev participated in the multiple international scientific and industrial projects, devoted to formal modelling, design and development of advanced software systems as network-centric real-time operating system; IDE for the automation of development of parallel real-time applications; tools for specification, verification and validation of software products; visual environment for metamaterials modelling and others.
His current research interests include formal methods, metamodeling, safety modelling and verification of hybrid software systems, and the design of cyber-physical systems.
Prof. Luigi Benedicenti, Software Systems Engineering, University of Regina, Canada
Biography: Dr. Luigi Benedicenti received his Laurea in
Electrical Engineering and Ph.D. in Electrical and Computer
Engineering from the University of Genoa, Italy. A full professor in
the Faculty of Engineering and Applied Science, Benedicenti has
served as Associate Dean in charge of Special Projects and as
Associate Vice-President (Academic). He is a Professional Engineer
licensed in Saskatchewan and a licensed Italian Engineer. He created
the Software Systems Engineering Program at the University of Regina
and became its founding Program Chair. He led the accreditation
process for the new program and was subsequently entrusted with the
supervision of data collection and computation for all Engineering
Benedicenti has more than 120 international peer-reviewed publications and has supervised more than 50 graduate students. He is familiar with the Tri-council grant system, the European Union system and the United States National Science Foundation system, having participated in the process as an applicant, a mentor and a reviewer.
Benedicenti’s current research is in three areas: Software Agents, Software Metrics, and New Media Technology. Research in Software Agents involves the characterization of software agents and the best applications for the agent model. Research in Software Metrics aims at characterizing agile development methods with a corresponding lightweight metrics program. Research in New Media Technology is directed towards enhancing the understanding of digital communications. A supporter of interdisciplinary work, Benedicenti has developed and supported numerous academic partnerships within the University and with international partners. Benedicenti believes in collaborative environments, clear responsibilities and a strong motivation for success.
Prof. Masahiro Fujita, The University of Tokyo, Japan
Masahiro Fujita received his Ph.D. in Information Engineering from the University of Tokyo in 1985 on his work on model checking of hardware designs by using logic programming languages. In 1985, he joined Fujitsu as a researcher and started to work on hardware automatic synthesis as well as formal verification methods and tools, including enhancements of BDD/SATbased techniques. From 1993 to 2000, he was director at Fujitsu Laboratories of America and headed a hardware formal verification group developing a formal verifier for real-life designs having more than several million gates. The developed tool has been used in production internally at Fujitsu and externally as well. Since March 2000, he has been a professor at VLSI Design and Education Center of the University of Tokyo. He has done innovative work in the areas of hardware verification, synthesis, testing, and software verification-mostly targeting embedded software and web-based programs. He has been involved in a Japanese governmental research project for dependable system designs and has developed a formal verifier for C programs that could be used for both hardware and embedded software designs. The tool is now under evaluation jointly with industry under governmental support. He has authored and co-authored 10 books, and has more than 200 publications. He has been involved as program and steering committee member in many prestigious conferences on CAD, VLSI designs, software engineering, and more. His current research interests include synthesis and verification in SoC (System on Chip), hardware/software co-designs targeting embedded systems, digital/analog co-designs, and formal analysis, verification, and synthesis of web-based programs and embedded programs.