Vidvan Image

Dr Rahul Karmakar

vidwan id: 232163
Male

Assistant Professor, Department of Computer Science
The University of Burdwan

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 29
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 77
h-index 6

CrossRef

CrossRef Icon
Citations 15
h-index 2
Google Scholar

Loading Scholar statistics...

Professional Recognition

2007

GATE Scholarship

MHRD Government of India

Community & Membership

2014

PG Board of Studies in the department of Computer Science, BU

Member
2014

UG Board of Studies Computer Science, BU

Member
2018

Board of Research Studies in the department of Computer Science, BU

Member

Computer Society of India

2018
Life

Indian Science Congress Association

2018
Life

Bio

Formal Methods, Modeling, and verification, Machine Learning

Personal Details

  • Male
  • Assistant Professor , The University of Burdwan
  • The University of Burdwan, Rajbati
Ph.D (Tech)
Other Institute 2024
M.Tech
Other Institute 2009
B.Tech
West Bengal University of Technology 2006
Assistant Professor Jan 2014 – Present
The University of Burdwan | Department of Computer Science
Assistant Professor Jan 2012 – Jul 2013
University of Gour Banga, Malda
Assistant Professor Aug 2009 – Dec 2013
IMPS College of Engineering and Technology 170

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (222+)

View All
Brojeswar

Dr Brojeswar Pal

Assistant Professor (Grade-II)

Ayan

Dr Ayan Pal

Assistant Professor

Moumita

Moumita Bose

Assistant Librarian

Asif

Dr Asif Hossain

Assistant Professor

Co-Authors (3)

Ardhendu

Dr Ardhendu Mandal

University of North Bengal

Nabendu

Dr Nabendu Chaki

Calcutta University

Saroj Kr

Dr Saroj Kr Biswas

National Institute of Technology Silchar

Scholarly Work

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Scholarly Publications

Formal Verification Techniques: A Comparative Analysis for Critical System Design

Open Access
book-chapter
Authors:

Mapping UML Activity Diagram into Z Notation

Open Access
book-chapter
Authors: Animesh Halder;Rahul Karmakar

Mapping UML Activity Diagram into Z Notation

Open Access
book-chapter
Authors:

Formal Verification Techniques: A Comparative Analysis for Critical System Design

Open Access
Conference Paper

Mapping UML Activity Diagram into Z Notation

Open Access
Book Chapter

Symbolic Model Checking: A Comprehensive Review for Critical System Design

Open Access
Conference Paper

Application of Genetic Algorithm (GA) in Medical Science: A Review

Open Access
book-chapter

A Prototype Modeling of Smart Irrigation System Using Event-B

Open Access
Article