Research
Developing efficient algorithms that power faster, smarter, and more reliable computing across diverse applications.
This talk will be centered on partial verification results. Software model checkers can be used both to find bugs and to prove certain properties hold. However, due to resource bounds or tool limitations, many times…
Modern data often consists of feature vectors with a large number of features. High-dimensional geometry and Linear Algebra (Singular Value Decomposition) are two of the crucial areas which form the mathematical foundations of Data Science.…
Modern data often consists of feature vectors with a large number of features. High-dimensional geometry and Linear Algebra (Singular Value Decomposition) are two of the crucial areas which form the mathematical foundations of Data Science.…
We prove that any random distribution satisfying conformal invariance and a form of domain Markov property and having a finite moment condition must be the Gaussian free field. We also present some open problems regarding…
Optimal matching problems are random variational problems widely investigated in the mathematics and physics literature. We discuss here the optimal matching problem of an empirical measure on a sample of iid random variables to the…
Consider the fractional Brownian motions on the real line. What should we expect if we replace the real line by a manifold M? We will provide an answer to this question, extending work begun by…
In joint work with Soumik Pal, we study natural mixing processes where cards (or dominoes or mahjong tiles) are ‘smushed’ around on a table with two hands. How long should mixing continue. If things are…
Given n uniform points on the surface of a two-dimensional sphere, how can we partition the sphere fairly among them? “Fairly” means that each region has the same area. It turns out that if the…
