Vidvan Image

Prof Priyanka Golia

vidwan id: 508467
Female

Assistant Professor (Grade-II), Department of Computer Science and Engineering
Indian Institute of Technology Delhi

Expertise

  • Computer Science Artificial Intelligence

Publications

Total Articles 8
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 88
h-index 5

CrossRef

CrossRef Icon
Citations 23
h-index 1
Google Scholar

Loading Scholar statistics...

Professional Recognition

No Data Found

There is currently nothing to display here.

Community & Membership

No Data Found

There is currently nothing to display here.

No Data Found

There is currently nothing to display here.

Bio

Formal Methods and Artificial Intelligence

Personal Details

  • Female
  • Assistant Professor (Grade-II) , Indian Institute of Technology Delhi
  • IIT Delhi, Hauz Khas, New Delhi, Delhi, India
Ph.D
Indian Institute of Technology Kanpur 2023
Assistant Professor (Grade-II) Mar 2024 – Present
Indian Institute of Technology Delhi | Department of Computer Science and Engineering

Related Profiles

Experts (12262+)

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 (800+)

View All
Bhupendra Singh

Prof Bhupendra Singh Butola

Associate Professor

Bhim

Prof Bhim Singh

SERB National Science Chair and Emeritus Professor

Arudra Venkata

Prof Arudra Venkata Burra

Assistant Professor

Santra

Prof Santra Bodhaditya

Assistant Professor

Bijay P.

Prof Bijay P. Tripathi

Associate Professor

Bharati

Prof Bharati Puri

Associate Professor

Bahni

Prof Bahni Ray

Associate Professor

Co-Authors (2)

Sourav

Dr Sourav Chakraborty

Indian Statistical Institute, Kolkata

Subhajit

Dr Subhajit Roy

Indian Institute of Technology Kanpur

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

Synthesis with Explicit Dependencies

Open Access
Conference Paper

On Quantitative Testing of Samplers

Open Access
Conference Paper
Authors: Soos M.;Golia P.;Chakraborty S.;Meel K.S.

A Scalable Shannon Entropy Estimator

Open Access
Conference Paper

Designing Samplers is Easy: The Boon of Testers

Open Access
Conference Paper
Authors: Golia P.;Soos M.;Chakraborty S.;Meel K.S.

Engineering an Efficient Boolean Functional Synthesis Engine

Open Access
Conference Paper
Authors: Golia P.;Slivovsky F.;Roy S.;Meel K.S.

Program Synthesis as Dependency Quantified Formula Modulo Theory

Open Access
Conference Paper

Manthan: A Data-Driven Approach for Boolean Function Synthesis

Open Access
Conference Paper