Ka Lok Man: Curriculum Vitae
He holds a Dr. Eng. degree in Electronic Engineering from Politecnico di Torino, Italy, and a PhD degree in Computer Science from Technische Universiteit Eindhoven, The Netherlands.
From January 1997 through June 1999, he was a programmer and computer administrator in the Idem and Fiat Auto, respectively, Turin, Italy.
From June 1999 through October 2000, he was a research assistant at the Electronic Design Automation Group, Department of Electrical and Computer Engineering, Politecnico di Torino, Turin, Italy.
From September 1999 through August 2000, he was a visiting researcher at the VLSI/CAD Group, Department of Electrical and Computer Engineering, University of Colorado at Boulder, USA.
From October 2000 through January 2002, he was a researcher in the Research and Development Centre of STMicroelectronics, Agrate, Milan, Italy.
Currently, he is a senior researcher at the Centre for Efficiency-Oriented Languages (CEOL), Department of Computer Science, University College Cork, Ireland and a research and engineering consultant for Solari - Hong Kong.
His research interests include logic synthesis, formal verification and low power design methodologies for integrated circuits and systems, formalisation of SystemC and SystemVerilog designs including TLM, formal methods, process algebras, formal analysis of real-time and hybrid systems, communication and wireless sensor networks, reversible computing, and software development.
On the above-mentioned topics, he has authored or co-authored about 80 refereed publications including books, edited books, journal articles, book chapters and conference proceedings.
Over the years, he has received several paper awards at IEEE conferences, research awards and grants from the Italian government, IEEE and industry. Also, he has been a committee member, reviewer, session chair and special session/workshop organiser of different IEEE, IASTED, IAENG and WSEAS conferences.
Currently, he is the editorial board member of the International Journal of Engineering Letters, the IAENG International Journal of Computer Science, the IBSU Scientific Journal, the International Journal of Computer Sciences and Engineering Systems, the Scientific Journals International, the International Journal of World Academy of Science, Engineering and Technology, International Journal of Information Analysis and Processing and Journal of Issues in Informing Science and Information Technology.
He is also the editor-in-chief of the International Journal of Design, Analysis and Tools for Integrated Circuits and Systems (IJDATICS), the guest editor of the Transactions of World Scientific and Engineering Academy and Society (WSEAS), the editor of the Journal of Computers (JCP), the associate editor of the Journal of Engineering, Computing and Architecture (JECA), the associate editor of the Journal of Computer Science, Informatics and Electrical Engineering (JCSIEE), the editor of the Journal of Computer Science and Information Technology (JCSIT), the editor of the International Journal of Advancements in Computing Technology (IJACT), the editor of the Magazine of Wireless and Cellular Networks (MWCN), the editor of the International Journal of Digital Content Technology and its Applications (JDCTA) and the editor of the Journal of Convergence Information Technology (JCIT).
Address: CEOL, Lancaster Hall, 6 Little Hanover street, Cork, Ireland.
Phone: + 353 (0)21 490 1918, Fax: +353 (0)21 490 1908, Email: pafesd@gmail.com
Links:
Collaborators:
