You are here

Home › Samuel Kehinde

Member Profile

Membership type: full

Kehinde Samuel

Country of origin: Nigeria Currently in: Nigeria, Abuja General field of specialization: Computing and Information Technology

Academic Background: Degrees

2011 Master Computing and Information Technology

2008 Undergraduate Computing and Information Technology
Research and Profession: Current Research Activities

Computing and Information Technology

A Verification Framework Based on the High-Level Language for Systems Specification.

Publications resulting from Research:

Samuel, KG., Maïga, O., Traoré, MK. Formal Verification with HiLLS-Specified Models: A Further Step in Multi-Analysis Modeling of Complex Systems. International Journal of Modeling, Simulation, and Scientific Computing 2019; Vol. 10, No. 05: 1950032.

Current profession

Current professional activities type:

Research

Affiliations

Nigeria Computer Society