Research Interests & Experience


Research Interests

Theory of Computation (Formal languages and Automata):
  • Grammars with regulated rewriting (tree valence controlled grammars, tree regularly controlled grammars, computed insertion systems, concurrent grammars, semi-matrix grammars, Petri net controlled grammars, Petri net controlled L systems, unified theory of regulated grammars, dynamic control mechanisms)
    • Computational and descriptional complexities (capacity-bounded grammars, computational complexity of Petri net controlled grammars, descriptional complexity of tree-controlled grammars, weakly conditional grammars)
      • Grammar systems (cooperation strategies of grammar systems, adaptation, learning and goal orientation problems, Petri net controlled grammar systems)
        • Bio-inspired models of computation (fuzzy, probabilistic and weighted splicing and sticker systems, Watson-Crick grammars and Watson-Crick automata, computed insertion-deletion systems)
          • Petri nets (Extensions of Petri nets, Watson-Crick Petri nets, Petri nets over algebraic structures)
            Software Engineering (software quality models, formal methods for specification and validation)
              
            Mathematics (combinatorial - metric characteristics of convex polytopes and graphs, methods of specification, complexity and instability, symmetry and asymmetry measures of convex polytopes)

            Cryptography (matrix cryptosystems, cryptosystems based on finite automata)


            Research Experience


            01/2017–12/2017 Project Leader
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: RIGS16-368-0532, Research Initiative Grant Scheme, International Islamic University Malaysia
            Project title: New Computational Models for Biological Data Analysis Based on Static Watson-Crick Grammars
            01/2014–06/2016 Co-Researcher
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: FRGS14-125-0366, Fundamental Research Grant Scheme, Ministry of Education of Malaysia
            Project title: Test Automation Model for Conformance of Mobile Applications Life Cycle
            07/2014–06/2016 Co-Researcher
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: FRGS14-119-0360, Fundamental Research Grant Scheme, Ministry of Education of Malaysia
            Project title: Novel Method for Building Ancient Recombination Landscape using Archaic Human Genomes
            12/2013–11/2016 Project Leader
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: FRGS13-066-0307, Fundamental Research Grant Scheme, Ministry of Education of Malaysia
            Project title: Regulated Splicing Systems and Formal Models for Food Authentication
            07/2013–06/2015 Co-Researcher
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: EDW B14-136-1021, University Research Endowment Fund Type B
            Project title: Weighted Watson-Crick Automata and Applications in Halal Authentication
            07/2013–06/2015 Project Leader
            Department of Computer Science, Faculty of Information and Communication Technology, International Islamic University Malaysia
            Research project: EDW B13-053-0938, University Research Endowment Fund Type B
            Project title: Grammars Controlled by Petri Nets under Maximal Firing Strategy
            06/2011–05/2013 Co-Researcher
            Faculty of Computer Science and Information Technology, University
            Putra Malaysia, Selangor, Malaysia
            Research project: FRGS/1/11/SG/UPM/01/1, Fundamental Research Grant Scheme
            Project title: Descriptional Complexity of Tree Controlled Grammars
            01/2010–12/2013 Co-Researcher
            Faculty of Computer Science and Information Technology, University Putra Malaysia, Selangor, Malaysia
            Research project: 05-01-10-0896RU/F1, Research University Grant Scheme
            Project title: Grammars controlled by Petri nets
            01/2006–12/2009 Principle Researcher
            Research Group on Mathematical Linguistics, University Rovira i Virgili, Tarragona, Spain
            Research project: 2006FI-01030,AGAUR, Catalonia Government Research Grant
            Project title: Cooperation strategies of CD grammar systems
            09/2002–03/2005 Co-Researcher
            Computational Linguistics Laboratory, Faculty of Computer Science, National University of Uzbekistan
            Research project: University Research Grant
            Project title: Information Style of Natural Languages