-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
executable file
·415 lines (343 loc) · 23.3 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
<html dir="ltr" lang="en-US" xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Anshula Gandhi</title>
<meta http-equiv="content-type" content="text/html; charset=utf-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<link rel="shortcut icon" href="images/favicon.ico" type="image/x-icon" />
<link rel="stylesheet" type="text/css" href="css/reset.css"/>
<link rel="stylesheet" type="text/css" href="css/style.css"/>
<link rel="stylesheet" type="text/css" href="css/prettyPhoto.css"/>
<link rel="stylesheet" type="text/css" href="https://fonts.googleapis.com/css?family=Open+Sans:400,600,300,800,700,400italic|PT+Serif:400,400italic"/>
<!--[if IEMobile]>
<link rel="stylesheet" type="text/css" href="css/iemobile.css"/>
<![endif]-->
<script type="text/javascript" src="js/jquery.min.js"></script>
<script type="text/javascript" src="js/jquery.easytabs.min.js"></script>
<script type="text/javascript" src="js/respond.min.js"></script>
<script type="text/javascript" src="js/jquery.prettyPhoto.js"></script>
<script type="text/javascript" src="js/jquery.isotope.min.js"></script>
<script type="text/javascript" src="http://maps.google.com/maps/api/js?sensor=false"></script>
<script type="text/javascript" src="js/jquery-ui-map.js"></script>
<script type="text/javascript" src="js/jquery.carouFredSel.js"></script>
<script type="text/javascript" src="js/plugins.js"></script>
<script type="text/javascript" src="js/custom.js"></script>
<!--[if lt IE 9]>
<script src="http://html5shiv.googlecode.com/svn/trunk/html5.js"></script>
<![endif]-->
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-117095418-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'UA-117095418-1');
</script>
</head>
<body>
<!-- Container -->
<section id="container">
<!-- Header -->
<header>
<!-- Logo -->
<div id="logo">
<h2>Anshula Gandhi</h2>
<h4></h4>
</div>
<!-- /Logo -->
</header>
<!-- /Header -->
<!-- Content -->
<section id="content" >
<!-- Menu -->
<nav class="menu">
<ul class="tabs">
<!-- To search for other glyphs: https://icomoon.io/app/#/select > Import Icons > Import SVG file from "fonts/icomoon" > Select the icon you want > Generate Font > Get Code > HTML Entity > e.g. -->
<li class="tmenu"><a href="#profile" class="tab-profile"><i>C</i>Profile</a></li>
<li class="tmenu"><a href="#research"><i>  </i>Research</a></li>
<li class="tmenu"><a href="#talks"><i></i>Talks</a></li>
<li class="tmenu"><a href="#comics"><i>5 </i>Comics</a></li>
<li class="tmenu"><a href="#blogg"><i> </i>Blog</a></li>
<!--  lightbulb -->
<!-- Y -->
<!--  paper stack -->
<!-- filing cabinet -->
<!--  paintbrush -->
<!--  microphone -->
<!-- w quotation mark -->
</ul>
<a class="prev" id="menu-prev" href="#"></a>
<a class="next" id="menu-next" href="#"></a>
</nav>
<!-- /Menu -->
<!-- Profile -->
<div id="profile">
<!-- About section -->
<div class="about">
<div class="photo-inner">
<ul>
<li><img src="images/photo-a.jpg" height="186" width="153" /></li>
<li><img src="images/photo-b.jpg" height="186" width="153" /></li>
</ul>
</div>
<h1 style="font-size:28px; line-height:32px;">ANSHULA GANDHI</h1>
<h3></h3>
<p style="font-size: 13px; line-height: 15px;"> Hello! I am a PhD student in Mathematics at the University of Cambridge. I completed my undergraduate studies at MIT in mathematics and history. </p>
<p style="font-size: 13px; line-height: 15px;">I am currently doing research in automated theorem proving. I have previously conducted research in knot theory, combinatorics, robotics, nanosystems, and astrophysics. </p>
<p style="font-size: 13px; line-height: 15px;"> You can <a target="_blank" href="pdf/Anshula_CV.pdf" style="text-decoration: underline;">download my CV</a> here.</p>
<p></p>
</div>
<!-- /About section -->
<!-- Personal info section -->
<!-- /Personal info section -->
</div>
<!-- /Profile -->
<!-- Research -->
<section id="research" class="resume">
<!-- Timeline for Research -->
<div class="timeline-section">
<h3 class="main-heading">Research Experience</h3>
<ul class="timeline">
<li>
<div class="timelineUnit">
<h4>University of Cambridge <span class="timelineDate">Winter '23 -</span></h4>
<h5>Mathematics PhD Student</h5>
<p>
Working to examine conflict-driven reasoning in mathematical proof discovery. Focusing on how mathematicians learn from failure when searching for mathematical proofs, how and why they strengthen statements, and what happens when they fail to prove those strengthenings. Supervised by Prof. Timothy Gowers.
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>Fulbright at Czech Technical University<span class="timelineDate">Summer '21</span></h4>
<h5>Fulbright Student Researcher</h5>
<p>
<!-- Worked under a Fulbright student grant to develop Lean code to formalize lemmas crucial to the polynomial method. -->
Worked with mathematicians under a Fulbright student grant to develop tools for automated deductive reasoning in Lean. Focused on using automated-theorem-proving tools in combination with human insight and ingenuity to prove mathematical lemmas, focusing on lemmas crucial to the polynomial method.
<a class="researchlink" target="_blank" href="https://github.com/anshula/nikodym-lean">Code here.</a>
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>MIT Center for Brains, Minds, and Machines<span class="timelineDate">Winter '20 - '21</span></h4>
<h5>Research Assistant</h5>
<p>Developed program synthesis techniques to solve symbolic reasoning problems through applying neuroscience behind how humans logically reason. Worked under Prof. Tomaso Poggio.
<a class="researchlink" target="_blank" href="https://openreview.net/forum?id=-gjy2V1ko6t">Paper here.</a>
</p>
<!--<p>Created computer models inspired by brain assemblies to perform machine learning in a more biologically-plausible way than neural networks. Also developed program synthesis algorithms to solve the Abstraction and Reasoning Corpus dataset.</p>-->
</div>
</li>
<li>
<div class="timelineUnit">
<h4>The National Autonomous University of Mexico<span class="timelineDate">Fall '19</span></h4>
<h5>Research Assistant</h5>
<p>Developed Coq tactics and a reinforcement learning environment to automate proofs in lattice theory. Worked under Prof. Favio Ezequiel Miranda Perea and Prof. Lourdes del Carmen González Huesca.
<a class="researchlink" target="_blank" href="http://anshula.com/blog/latticetheoryduality.pdf">Paper here.</a>
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>MIT Center for Brains, Minds, and Machines<span class="timelineDate">Spring '19</span></h4>
<h5>Research Assistant</h5>
<p>Designed reinforcement learning environment to prove mathematical theorems in group theory. Worked under Prof. Tomaso Poggio.
<a class="researchlink" target="_blank" href="https://sites.google.com/view/anshula-research-blog/entries/getting-started-with-proving-math-theorems-through-reinforcement-learning">Read more here.</a>
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>MIT Distributed Robotics Lab<span class="timelineDate">Spring '16, Fall '17–Fall '18</span></h4>
<h5>Research Assistant</h5>
<p>Constructed risk-estimating cost function and developed path-planning algorithms for safer autonomous vehicles. Worked under Prof. Daniela Rus.
<a class="researchlink" target="_blank" href="https://ieeexplore.ieee.org/document/8793813">Paper here.</a>
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>MITRE Nanosystems Group<span class="timelineDate">Summer '16</span></h4>
<h5>Research Assistant</h5>
<p>Developed circuits and algorithms for non-invasive medical device to reduce size, weight, and required power. Worked under Dr. Matthew Dunlop-Gray.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>MIT Exoplanet Theory Lab<span class="timelineDate">Summer '15</span></h4>
<h5>Research Assistant</h5>
<p>Algorithmically classified thousands of life-identifying chemical spectra to pave way for detecting life on other planets. Worked under Prof. Sara Seager.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4>NASA Goddard Space Flight Center<span class="timelineDate"> Summer '14–Summer '15</span></h4>
<h5>Research Assistant</h5>
<p>Developed microlensing-based exoplanet detection algorithms to be deployed on NASA’s WFIRST telescope. Worked under Dr. Richard Barry.</p>
</div>
</li>
<div class="clear"></div>
</ul>
</div>
<!-- /Timeline for Research -->
<!-- Publications and Awards -->
<div class="skills-section">
<h3 class="main-heading">Publications</h3>
<ul class="skills">
<li>
<h4 style="line-height: 20px">
<p style="font-weight: 500; margin-top: 6px"><a class="researchlink" target="_blank" href="https://openreview.net/forum?id=-gjy2V1ko6t">Dreaming with ARC</a></p>
<p style="font-style: italic; margin-top: 6px">NeurIPS 2020 LMCA Workshop.</p>
<p style="font-weight: 100; margin-top: 6px">Authors: Andrzej Banburski, Anshula Gandhi, Simon Alford, Sylee Dandekar, Sang Chin, and Tomaso Poggio.</p>
</h4>
</li>
<li>
<h4 style="line-height: 20px">
<p style="font-weight: 500; margin-top: 6px"><a class="researchlink" target="_blank" href="https://beyondbackprop.github.io/">Supervised Learning with Assemblies</a></p>
<p style="font-style: italic; margin-top: 6px">NeurIPS 2020 Beyond Backprop Workshop.</p>
<p style="font-weight: 100; margin-top: 6px">Authors: Akshay Rangamani and Anshula Gandhi.</p>
</h4>
</li>
<li>
<h4 style="line-height: 20px">
<p style="font-weight: 500; margin-top: 6px"><a class="researchlink" target="_blank" href="https://ieeexplore.ieee.org/document/8793813">Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection</a></p>
<p style="font-style: italic; margin-top: 6px">ICRA 2019.</p>
<p style="font-weight: 100; margin-top: 6px">Authors: Alyssa Pierson, Cristian Ioan Vasile, Anshula Gandhi, Wilko Schwarting, Sertac Karaman, and Daniela Rus.</p>
</h4>
</li>
</ul>
</div>
<!-- /Publications and Awards -->
<div class="clear"></div>
</section>
<!-- /Research -->
<!-- Talks -->
<section id="talks" class="resume">
<div class="timeline-section">
<h3 class="main-heading">Illustrated Talks</h3>
<ul class="timeline">
<li>
<div class="timelineUnit">
<h4> Algorithms to Generalize Proofs<span class="timelineDate">Summer '24</span></h4>
<p>Illustrated research talk presenting an algorithm to generalize mathematical proofs, discussing the tactic's implementation in Lean, and more broadly, the role of generalization in learning from failure in mathematics. Presented at the Women in Formal Mathematics workshop at the Hausdorff Research Institute for Mathematics.
</p>
<p>
(<a href="pdf/Autogeneralizing_Talk.pdf" target="_blank" style="text-decoration: underline;">Slides</a>) (<a href="https://www.youtube.com/watch?v=uU3HgLM4UW0" target="_blank" style="text-decoration: underline;">Video with subtitles</a>)
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4> Hats & Hamming Distance<span class="timelineDate">Spring '22</span></h4>
<p>Illustrated expository talk based on Noga Alon's Problems and Results in Extremal Combinatorics<a href="http://www.math.tau.ac.il/~nogaa/PDFS/extremalII.pdf" target="_blank">*</a> about a strategy to figure out what color hat is on your head using the probabilistic method and Hamming distance.
</p><p>
(<a href="https://youtu.be/SP5FCRDI_Jo" target="_blank" style="text-decoration: underline;">Video</a>)
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4> The Polynomial Method in Combinatorics<span class="timelineDate">Spring '21</span></h4>
<p>Illustrated expository talk on the polynomial method and its applications to the finite field Nikodym problem and the cap-set problem. Talk given at the Czech Institute of Informatics, Robotics and Cybernetics.
</p><p>
(<a href="pdf/PolyMethod_Talk.pdf" target="_blank" style="text-decoration: underline;">Slides</a>)
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4> Additive Latin Transversals using Combinatorial Nullstellensatz<span class="timelineDate">Spring '19</span></h4>
<p>Illustrated expository talk based on Noga Alon's Additive Latin Transversals<a href="https://m.tau.ac.il/~nogaa/PDFS/alt2.pdf" target="_blank">*</a>. Talk given in MIT’s Seminar on Combinatorics course.
</p><p>
(<a href="pdf/CombinatorialNullstellensatz_Talk.pdf" target="_blank" style="text-decoration: underline;">Slides</a>)
</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4> Shamir's Secret Sharing and Zero-Knowledge Proofs<span class="timelineDate">Summer '18</span></h4>
<p>Illustrated expository talk on two topics in cryptography: secret sharing and zero-knowledge proofs. Talk given at the cybersecurity company BitSight. </p><p>
(<a href="pdf/Cryptography_Talk.pdf" target="_blank" style="text-decoration: underline;">Slides</a>)
</p>
</div>
</li>
<div class="clear"></div>
</ul>
</div>
<div class="clear"></div>
</section>
<!-- /Talks -->
<!-- Comics -->
<section id="comics" class="resume">
<div class="timeline-section">
<h3 class="main-heading">Educational Comics</h3>
<ul class="timeline">
<li>
<div class="timelineUnit">
<h4><a href="http://anshula.com/compactness" target="_blank" style="text-decoration: underline">Compactness<span class="timelineDate">Winter '24</span></a></h4></a></h4>
<p>A few comics that teach the topological notion of compactness by asking and answering important philosophical questions about pancakes.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4><a href="http://anshula.com/realanalysis" target="_blank" style="text-decoration: underline">Real Analysis<span class="timelineDate">Spring '17-'20</span></a></h4></a></h4>
<p>A few comics that teach the mathematics of formalizing calculus by asking and answering the philosophical questions that gave rise to each concept.</p>
</div>
</li>
<div class="clear"></div>
</ul>
</div>
<div class="clear"></div>
</section>
<!-- /Comics -->
<!-- Blog -->
<section id="blogg" class="resume">
<!-- Timeline for Blog -->
<div class="timeline-section">
<h3 class="main-heading">Research Blog</h3>
<ul class="timeline">
<li>
<div class="timelineUnit">
<h4><a href="https://sites.google.com/view/anshula-research-blog/entries/language-learning-and-program-synthesis" target="_blank" style="text-decoration: underline">Language Learning and Program Synthesis
</a><span class="timelineDate">Dec '20</span></h4>
<p>On a connection between language learning and program synthesis.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4><a href="https://sites.google.com/view/anshula-research-blog/entries/automating-proofs-of-lattice-inequalities-in-coq" target="_blank" style="text-decoration: underline">Automating proofs of lattice inequalities in Coq
</a><span class="timelineDate">Dec '19</span></h4>
<p>On developing a reinforcement learning agent and equipping it with a duality tactic suited for efficiently proving theorems in lattice theory.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4><a href="https://sites.google.com/view/anshula-research-blog/entries/guaranteeing-proof-termination" target="_blank" style="text-decoration: underline">Guaranteeing proof termination</a><span class="timelineDate">Oct '19</span></h4>
<p>On dealing with infinite proof search in reinforcement-learning automated proofs.</p>
</div>
</li>
<li>
<div class="timelineUnit">
<h4><a href="https://sites.google.com/view/anshula-research-blog/entries/getting-started-with-proving-math-theorems-through-reinforcement-learning" target="_blank" style="text-decoration: underline">Getting started with proving math theorems through reinforcement learning</a><span class="timelineDate">Sept '19</span></h4>
<p>On laying a framework for machine-learning automated theorem proving at MIT's Brains, Minds, and Machines Lab.</p>
</div>
</li>
<div class="clear"></div>
</ul>
</div>
<!-- /timeline for Blog -->
<div class="clear"></div>
</section>
<!-- /Blog -->
</section>
<!-- /Content -->
<!-- Footer -->
<footer>
<div class="copyright">Copyright © 2024 Anshula Gandhi</div>
<div class="contact" style="float: right">Contact: [email protected]</div>
</footer>
<!-- /Footer -->
</section>
<!-- /Container -->
</body>
</html>