Anil Kumar Singh

Content Owner / Guide

Manik Chandra

Title

Application of formal methods in machine learning

Awarding Body

Dr APJ Abdul Kalam Technical University Uttar Pradesh, Lucknow

Co Guide (IET Only)

Manish Gaur

Type

Doctor of Philosophy

Place of Work

IET Lucknow

E-Mail

[email protected]

Related Department

Computer Science and Engineering Department

Co Guide (Non IET)

Prof Manish Gaur

Roll No

2200520107101

Registration Date

Mon, 01/30/2023 - 12:00

Area of Research

Formal methods and Machine learning