List of journals in which I am involved

Since 2014, Member of the Editorial Board of The Computer Journal. A British Computer Society journal published by Oxford University Press.

2000-2008, Associate Editor of The Computer Journal. A British Computer Society journal published by Oxford University Press.

2002-2014, Capsule Review Editor of The Computer Journal. A British Computer Society journal published by Oxford University Press.

Since 2002, Editor of The journal of Applied Logic. Published by College Publications.

Since 2002, Editor of The Logic journal of IGPL. Published by Oxford University Press.

Senior Advisory Board of the Journal of Formalized Mathematics.

Since 2019, editorial board member of Philosophy Study, USA, ((Print ISSN 2159-5313; Online ISSN 2159-5321), David Publishing Company, New York.

Since 2003, Editor of the International Arab Journal of Information Technology

Since 2016, Editor of The International Journal of Computer and Software Engineeringc. Published by Graphy Publications.

Since 2018, Editor of International Journal of Research Studies in Computer Science and Engineering, ARC Publications PVT press.