Ministry of Education
Vidvan Image

Dr Rahul Karmakar

vidwan id: 232163
Male

Assistant Professor, Department of Computer Science
The University of Burdwan

Orchid Icon 0000-0002-6607-2707 Google Scholar Icon 57218448271 Researcher Icon ACF-7334-2022 Google Scholar Icon HMrivE0AAAAJ

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

DEEPAK

Mr DEEPAK B N

N/A

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Anjali

Dr Anjali Jadhav

Doctor

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
Bidyut

Prof Bidyut Saha

Professor

Arindam

Prof Arindam Chattopadhyay

Professor

Subhasis

Dr Subhasis Das

Professor

Brojeswar

Dr Brojeswar Pal

Assistant Professor (Grade-II)

Payel

Dr Payel Choudhury

Faculty

Anindita

Prof Anindita Bandyopadhyay

Professor

Ayan

Dr Ayan Pal

Assistant Professor

Moumita

Moumita Bose

Assistant Librarian

Atanu

Prof Atanu Sengupta

Professor

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

Estimating Aqueous Solubility Directly from Molecular Structure Using Machine Learning Approach

Open Access
Conference Paper
Year: 2021. Pages: 467-473 .
Authors: Dutta A.;Karmakar R.
DOI 10.1109/I-SMAC52330.2021.9640774
1

Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design

Open Access
book-chapter
Year: 2021.
Authors: Susmita Guha;Akash Nag;Rahul Karmakar
DOI 10.1007/978-3-030-71187-0_10
6

Event-B Based Formal Modeling of a Controller: A Case Study

Open Access
Conference Paper
Year: 2021. Volume: 1255 , Pages: 649-658 .
Authors: Karmakar R.;Sarkar B.B.;Chaki N.
DOI 10.1007/978-981-15-7834-2_60
8

Event Ordering Using Graphical Notation for Event-B Models

Open Access
Conference Paper
Year: 2020. Volume: 12133 LNCS , Pages: 377-389 .
Authors: Karmakar R.;Sarkar B.B.;Chaki N.
DOI 10.1007/978-3-030-47679-3_32
4

System Modeling Using Event-B: An Insight

Open Access
journal-article
Year: 2019.
Authors:
DOI 10.2139/ssrn.3511455
7