Vaibhav Karve
CV GitHub LinkedIn GitLab
Name in Devanagari: वैभव कर्वे Name in IPA: ʋəibʱəʋə kərʋeː
I am a Data Scientist at SimSpace. In 2021 I received my PhD from the Department of Mathematics at the University of Illinois at Urbana-Champaign under the advisement of Anil N. Hirani.
My research interests lie in data science, graph theory, logic, algorithms and computational topology. I am currently writing my doctoral thesis, titled Graphical structure of unsatisfiable boolean formulae which combines the tools of graph theory and topology to analyze boolean satisfiability – a classic problem in logic and computer science.
I am also looking to extend my doctoral work towards the upcoming and adjacent field of computer-assisted formalized mathematics and interactive theorem proving (in particular, with the Lean theorem prover).
Research
- List of journal publications
2021 | Karve, Hirani | GraphSAT – a decision problem connecting satisfiability and graph theory |
2021 | Karve, Yager, Abolhelm, Work, Sowers | Seasonal Disorder in Urban Traffic Patterns: A Low Rank Analysis |
2020 | Karve, Hirani | The complete set of minimal simple graphs that support unsatisfiable 2-CNFs |
2017 | Wu, Shindnes, Karve, Yager, Work, Chakraborty, Sowers | Congestion Barcodes: Exploring the Topology of Urban Congestion Using Persistent Homology |
These publications are also listed at UIUC math and Google scholar.
- Graph satisfiability 1
- Model theory in Lean
- Axiomatic geometry in Lean
- Manhattan traffic
- Past projects
- On the pullback of real exterior forms
- Congestion barcodes
Teaching
My ever-evolving teaching philosophy.
- Math490: Computational mathematics
- Merit program @ Math UIUC
- Model theory in Lean @ Illinois Geometry Lab
- LeanTeach 2020 @ Illinois Geometry Lab + UniHigh Summer program
- Classical constructions @ Summer Illinois Math Camp, UIUC
Past courses
2021 Spring TA Math 241 (Merit) Calculus III 2020 Fall RA supervisor: Anil N. Hirani 2020 Spring TA Math 490 Computational Mathematics 2019 Summer RA Dabid G. Bourgin Fellow 2019 Spring TA Math 490 Computational Mathematics 2019 Fall RA supervisor: Anil N. Hirani 2018 Spring RA supervisor: Richard Sowers 2018 Fall TA Math 285 (Merit) Intro to differential equations + Merit TA mentor 2017 Summer RA supervisor: Richard Sowers 2017 Spring TA Math 231 (Merit) Calculus II 2017 Fall TA Math 241 (Merit) Calculus III + Merit TA mentoring 2016 Spring TA Math 241 Calculus III 2016 Fall TA Math 221 (Merit) Calculus I 2015 Fall TA Math 241 Calculus III
Notes
These are mostly notes I have taken as part of self-studying various things. They are not meant to be comprehensive notes – just a collection of things I found interesting at different times and wished to keep a record of.
- Algebraic geometry
- Algebraic topology
- Boolean satisfiability
- Category theory and haskell
- Combinatorial vector fields
- Coq
- Esperanto
- Geometry
- Git workflow
- Haskell
- Homology
- How I set up this website
- followed the steps here,
- also set up the sitemap.
- Lambda calculus
- Linear programming
- Logic
- Lua
- Mathematical tidbits
- Model theory
- Persistent homology
- Philosophy
- Python data model
- Python multiprocessing
- Python sqlite3
- Python's type theory
- Satisfiability ala Knuth
- Theory of computation
- Type theory
Everything else
- 6174 : Kaprekar's constant visualized
- My areas of interest according to the Mathematics Subject Classification
- Plots and graphs I generated
- First attempt at publishing package : multihypergraph on PyPI
- Recognizing patterns in New York traffic : 4 min video as part of UIUC Graduate College's Research Live! 2016 competition.
- Slides from my talks
- Photos from conferences
- My Klein bottle
- My Goodreads profile
Footnotes:
this work was funded in Fall 2020 by the David G. Bourgin Mathematics Fellowship.