Skip to content
View bibekkabi's full-sized avatar
1 follower · 2 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

Block or Report

Block or report bibekkabi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
bibekkabi/README.md
  • 👋 Hi, I’m @bibekkabi
  • 👀 I’m interested in solving real world problems using mathematics, data science and machine learning, and I'm also interested in doing software engineering
  • 🌱 I’m currently learning convolutional neural networks
  • 💞️ I’m looking to collaborate on any interesting project
  • 📫 How to reach me through gmail: bibek.kabi@gmail.com

I'm currently working as a research engineer in TechViz (a virtual reality company based in Paris). I received my PhD from Ecole Polytechnique, CNRS, Institut Polytechnique de Paris. My PhD supervisors were Prof. Eric Goubault and Prof. Sylvie Putot from Computer Laboratory of Ecole Polytechnique (LIX) 91128 Palaiseau, France. I was also supervised by Prof. Antoine Miné from Université Pierre et Marie Curie, Paris. My thesis is dedicated to the study of combining abstract interpretation (mostly zonotopic) and constraint programming for synthesizing invariants. My PhD thesis can be downloaded through the link https://tel.archives-ouvertes.fr/tel-02925914/. I received my MS (by research) degree from Indian Institute of Technology Kharagpur. My research interests include program verification based on zonotope abstraction, floating-point and fixed-point arithmetic, optimization of fixed-point formats in numerical programs, numerical linear algebra, data science and machine learning.

Popular repositories

  1. taylor1plus taylor1plus Public

    Zonotope abstract domain

    C 2

  2. DynamicFixed DynamicFixed Public

    A Dynamic Fixed-point Arithmetic Library in C/C++

    C++ 1

  3. Prototype_analyzerwithApron Prototype_analyzerwithApron Public

    A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library

    OCaml

  4. TaylorModels.jl TaylorModels.jl Public

    Forked from JuliaIntervals/TaylorModels.jl

    Rigorous function approximation using Taylor models in Julia

    Julia

  5. Continuous_time_system_analyzer Continuous_time_system_analyzer Public

    A prototype analyzer, written in OCaml connected to APRON Abstract Domain Library for finding positive invariant of continuous time systems

    C++

  6. https-github.com-bibekkabi-Plotting_zonotopes https-github.com-bibekkabi-Plotting_zonotopes Public

    Jupyter Notebook