Zekeri Adams
@zekeriadams
AI and knowledge engineering researcher focused on ontology modeling, formal semantics, and mathematically grounded logic.
What I'm looking for
I’m a PhD Applied Informatics researcher at Comenius University in Bratislava, focused on advancing logic-based reasoning through knowledge engineering and formal semantics. My work centers on ontology modeling and meta-modeling, with a strong emphasis on description logics.
I aim to contribute both theoretically and practically—building representations that support rigorous reasoning and validation. I bring additional mathematical depth from my background in Sobolev spaces and functional analysis, and I’m motivated by their connection to dynamical systems and partial differential equations.
As a Research Assistant and Teaching Assistant at Comenius University (2023–till date), I combine research output with academic mentorship. I’ve also published work on leveraging meta-modeling for ontology structuring and validation, and on decidability questions in metamodelled description logics.
I’ve strengthened my research direction through competitive funding and international collaboration, including an AFDB scholarship (2018–2019) and a Tailor Connectivity Fund mobility grant (Jan–Mar 2024). I’m now looking for a research role where my logic-and-math perspective can drive high-impact AI research.
Experience
Work history, roles, and key accomplishments
Teaching Assistant
Comenius University
Jan 2023 - Present (3 years 5 months)
Provided teaching support as a teaching assistant at Comenius University from 2023 onward. Supported course delivery and helped students understand course material through structured learning support.
Mathematics Class Teacher
Faith Academy Secondary School
Jan 2020 - Jan 2022 (2 years)
Provided instruction in mathematics for secondary school students and supported learning through structured problem-solving. Managed student assessments and ongoing feedback to improve performance.
Graduate Assistant
University Of Ilorin
Jan 2015 - Jan 2016 (1 year)
Served as a graduate assistant (NYSC), supporting academic activities within the university setting. Assisted with instructional support and research-related tasks under supervision.
Mathematics Class Teacher
Odeh Memorial Secondary School
Jan 2015 - Present (11 years 5 months)
Taught mathematics to secondary school students, delivering lessons and supporting understanding through guided practice. Prepared assessments and provided feedback to support student progress.
Research Assistant
Comenius University
Worked as a research assistant at Comenius University, contributing to research tasks aligned with knowledge engineering and formal methods. Supported scholarly outputs through research investigation and documentation.
Education
Degrees, certifications, and relevant coursework
Comenius University in Bratislava
Doctor of Philosophy (PhD), Applied Informatics
2023 -
Pursuing a PhD in Applied Informatics at Comenius University, Bratislava.
African University of Science and Technology
Master of Science, Pure and Applied Mathematics
2018 - 2019
Completed an M.Sc. in Pure and Applied Mathematics at African University of Science and Technology.
Unity College of Education
Professional Diploma in Education, Education
2022 -
Completed a Professional Diploma in Education at Unity College of Education.
University of Jos
Bachelor of Science, Mathematics
2010 - 2014
Completed a B.Sc. in Mathematics at the University of Jos.
Availability
Location
Authorized to work in
Job categories
Interested in hiring Zekeri?
You can contact Zekeri and 90k+ other talented remote workers on Himalayas.
Message ZekeriFind your dream job
Sign up now and join over 250,000+ remote workers who receive personalized job alerts, curated job matches, and more for free!
