Research Interests & Experience


Research Interests

Theory of Computation (Formal languages and Automata):
  • regulated rewriting systems (tree valence controlled grammars, tree regularly controlled grammars, semi-matrix grammars, Petri net controlled grammars)
    • descriptional complexities (capacity-bounded grammars, descriptional complexity of tree-controlled and conditional grammars)
      • bio-inspired computation (weighted, probabilistic and fuzzy splicing and sticker systems, sticker grammars, Watson-Crick grammars and automata, Watson-Crick Petri nets, computed insertion-deletion systems)
        Machine Learning (learning Watson-Crick grammars and automata from positive and negative examples; nonlinear stochastic models for consensus problems in multi-agent systems; adaptation, learning and goal orientation problems in formal grammars)
         
        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