Bhargav Kulkarni

Bhargav Kulkarni Email and Phone Number

Graduate Research Assistant @ Kahlert School of Computing, University of Utah
Bengaluru, KA, IN
Bhargav Kulkarni's Location
Bengaluru, Karnataka, India, India
About Bhargav Kulkarni

Hi! I am Bhargav Kulkarni, and I love Computers! I am extremely keen on making it easy for developers to build safe and correct software and systems.https://bhargavkulk.github.io/

Bhargav Kulkarni's Current Company Details
Kahlert School of Computing, University of Utah

Kahlert School Of Computing, University Of Utah

View
Graduate Research Assistant
Bengaluru, KA, IN
Website:
utah.edu
Employees:
4036
Bhargav Kulkarni Work Experience Details
  • Kahlert School Of Computing, University Of Utah
    Graduate Research Assistant
    Kahlert School Of Computing, University Of Utah
    Bengaluru, Ka, In
    View
  • Kahlert School Of Computing, University Of Utah
    Graduate Research Assistant
    Kahlert School Of Computing, University Of Utah Jan 2024 - Present
    Salt Lake City, Utah, United States
    Working on the Herbie project: https://herbie.uwplse.org/. Specifically working on sound attribution of floating point error.
    View
  • Kahlert School Of Computing, University Of Utah
    Graduate Teaching Assistant
    Kahlert School Of Computing, University Of Utah Sep 2023 - Dec 2023
    Salt Lake City, Utah, United States
    CS 3810: Computer Organization Responsibilities included conducting office hours and correcting assignments.
    View
  • Nasa Langley Research Center
    Research Intern @ Nasa Langley Formal Methods
    Nasa Langley Research Center Jun 2024 - Jul 2024
    View
  • Department Of Csis Bits Pilani Goa Campus
    Undergraduate Teaching Assistant
    Department Of Csis Bits Pilani Goa Campus Aug 2021 - May 2023
    Undergraduate Teaching Assistant for various core CS courses:- Operating Systems (Semester 2: 2022-23)- Compiler Construction (Semester 2: 2022-23)- Computer Networks (Semester 2: 2022-23)- Operating Systems (Semester 1: 2022-23)- Computer Architecture (Semester 1: 2022-23)- VLSI Design (For Master's students, Semester 2: 2021-22)- Computer Programming (Semester 2: 2021-22)- Discrete Math (Semester 1: 2021-22)
    View
  • Department Of Csis Bits Pilani Goa Campus
    Undergraduate Researcher
    Department Of Csis Bits Pilani Goa Campus Aug 2022 - Dec 2022
    As part of my bachelor thesis, worked with Dr. Anup Basil Mathew on formalizing the G-Machine (used in the Haskell Compiler) in Coq and proving its correctness.
    View
  • Department Of Csis Bits Pilani Goa Campus
    Undergraduate Researcher
    Department Of Csis Bits Pilani Goa Campus Jan 2021 - May 2022
    Worked with Dr. Anup Basil Mathew of the Department of Computer Science on the Coq interactive theorem prover. Worked on various formalization of First Order Logic, and adapting Coq for educational use.
    View
  • Stem4All
    Intern
    Stem4All May 2021 - Jul 2021
    Created and conducted a python and virtual robotics summer camp for 3-4th graders.
    View

Bhargav Kulkarni Education Details

Frequently Asked Questions about Bhargav Kulkarni

What company does Bhargav Kulkarni work for?

Bhargav Kulkarni works for Kahlert School Of Computing, University Of Utah

What is Bhargav Kulkarni's role at the current company?

Bhargav Kulkarni's current role is Graduate Research Assistant.

What schools did Bhargav Kulkarni attend?

Bhargav Kulkarni attended University Of Utah, Birla Institute Of Technology And Science, Pilani - Goa Campus, National Public School, Freedom International School - India.

Not the Bhargav Kulkarni you were looking for?

  • Bhargav Kulkarni

    Bhargav Kulkarni
    Former Edg Engineer At Mathworks | Rated 'Expert' On Codeforces | Iit Bhubaneswar '23
    Gulbarga
  • Bhargav Kulkarni

    Bhargav Kulkarni
    Product Engineer | Manufacturing Processes | Project Management
    Mumbai
    1
    gmail.com
  • Bhargav Kulkarni

    Bhargav Kulkarni
    Attended Vellore Institute Of Technology (Vit)
    Chennai
  • BHARGAV KULKARNI

    BHARGAV KULKARNI
    Student At Vishwakarma Institute Of Technology | Winner At Saeindia Ws Student Convention 2023 | Expert In 3D Modeling And Analysis Software | Always Open For Conversations | Freelance At Fiverr
    Pune
View similar profiles

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.