Vimal Dwivedi
Research Fellow @ Queen's University Belfast
About Me
Vimal Dwivedi received the PhD and in Computer Science and Engineering from Tallin University of Technology, Tallinn, Estonia. His PhD project was partially sponshered by Qtum foundation, Singapore. As a part of Ph.D. research, he has developed a XML-based smart contract language that allows non-IT blockchain practioners to write smart contract for buisness use cases. He is working as a Research Fellow in the School of Electronics, Electrical Engineering and Computer Science (EEECS) at the Queen's University Belfast (QUB), Northern Ireland, United Kingdom, with Prof. Karen and Assistant Professor Vishal Sharma, under a project entitled, Digital twin and blockchain for business decision modeling. Before coming to QUB, he was a Lecturer in the Institute of computer science at the University of Tartu, Tartu, Estonia. Prior to this, he was an Early Stage Researcher with the Information Systems Group at TalTech. He serves as an Guest Editor for Mathematics and Computer Science.
Vimal received his MTech and BTech degrees in Computer Science and Engineering from Guru Gobind Singh Indraprastha University, India and Dr. A.P.J. Abdul Kalam Technical University, India, respectively. Before starting his Ph.D., He worked as an Assistant Professor at A.P.J. Abdul Kalam Technical University for 2 years, and taught subjects including Automata, Data Structure, Graph Theory, Machine Learning and Web Technologies.
What I Work On
My general research interests include:
- Smart-contract Language
- Distributed Ledger Technology
- Blockchain Systems
- Ontology Engineering
- Business Processes
- Consensus Algorithms
- Requirement Engineering
- Digital Twins
- Digital Image Processing
and... I am also interested in working on:
- Probability Theory
- Decision Science
- Game Theory
Projects
-
[ONTOCHAIN Project] Agreement No 957338. MFSSIA: Multi-Factor Self-Sovereign Identity Authentication.
Duration: 1st Decemeber’ 2021 – 31st April’s 2022
Designation: Lead Researcher -
[Erasmus+ Programme] Agreement No 2018-1-RO01-KA203-049510. Blockchain for Entrepreneurs - a non-traditional Industry 4.0 curriculum for Higher Education.
Duration: 7th June’ 2021 – 31st July’ 2021
Designation: Trainer
Publications
-
[J.1] Dwivedi V., Pattanaik V., Deval V., Dixit A., Norta A., and Draheim D. 2021. Legally Enforceable Smart-Contract Languages: A Systematic Literature Review. ACM Computing Surveys, 54, 5, Article 110 (June 2021), 34 pages.
-
[J.2] Dwivedi V. , Norta A., Wulf A., Leiding B.,Saxena S. and Udokwu C., "A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations," in IEEE Access
-
[J.3] Dixit A., Deval V., Dwivedi V., Norta A., and Draheim D. 2021. Towards user-centered and legally relevant smart-contract development: A systematic literature review. Journal of Industrial Information Integration.
-
[C.1] Dwivedi, V., Norta, A. (2022). Auto-generation of Smart Contracts from a Domain-Specific XML-Based Language. In: Satapathy, S.C., Peer, P., Tang, J., Bhateja, V., Ghosh, A. (eds) Intelligent Data Engineering and Analytics. Smart Innovation, Systems and Technologies, vol 266. Springer, Singapore.
-
[C.2] Dwivedi, V., and Norta, A., "A Legally Relevant Socio-Technical Language Development for Smart Contracts," 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems (FAS*W), Trento, Italy, 2018, pp. 11-1
-
[C.3] Dwivedi, V., Deval, V., Dixit, A., Norta, A. (2019). Formal-Verification of Smart-Contract Languages: A Survey. In: Singh, M., Gupta, P., Tyagi, V., Flusser, J., Ören, T., Kashyap, R. (eds) Advances in Computing and Data Sciences. ICACDS 2019. Communications in Computer and Information Science, vol 1046. Springer, Singapore.
-
[C.4] Dwivedi, V., Norta, A. (2021). A Legal-Relationship Establishment in Smart Contracts: Ontological Semantics for Programming-Language Development. In: Singh, M., Tyagi, V., Gupta, P.K., Flusser, J., Ören, T., Sonawane, V.R. (eds) Advances in Computing and Data Sciences. ICACDS 2021. Communications in Computer and Information Science, vol 1440. Springer, Cham.
-
[C.5]A. Norta, A. Kormiltsyn, C. Udokwu, V. Dwivedi, S. Aroh and I. Nikolajev, "A Blockchain Implementation for Configurable Multi-Factor Challenge-Set Self-Sovereign Identity Authentication," 2022 IEEE International Conference on Blockchain (Blockchain), Espoo, Finland, 2022, pp. 455-461.
-
[C.6] Saxena, S., Gupta, U.K., Renu, Dwivedi, V. (2022). Security Issues and Application of Blockchain. In: Tomar, A., Malik, H., Kumar, P., Iqbal, A. (eds) Machine Learning, Advances in Computing, Renewable Energy and Communication. Lecture Notes in Electrical Engineering, vol 768. Springer, Singapore.
-
[C.7] G. Chutani, T. Patnaik and V. Dwivedi, "An improved approach for automatic denoising and binarization of degraded document images based on region localization," 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI), Kochi, India, 2015, pp. 2272-2278.
... for more details please visit my Google Scholar page.
Presentations
- Ph.D. symposium paper and poster presentation @ International Workshops on Foundations and Applications of Self* Systems (FAS*W), Trento, Italy, 2018.
- A survey on Smart contract Languages @ International Conference on Advances in Computing and Data Sciences, India, 2019
- Ontological Semantics for Programming-Language Development @ International Conference on Advances in Computing and Data Sciences, India, 2021.
- Auto-generation of Smart Contract @ Intelligent Data Engineering and Analytics. Smart Innovation, Systems and Technologies, 2022.
This work by
Vimal Dwivedi is
licensed under a
Creative Commons
Attribution 4.0 International License.