TMP DeepMind Profiles
TMP DeepMind Profiles
TMP DeepMind Profiles
Elizabeth C. https://www.linkedin.com/in/ekcole/
Research Engineer at
DeepMind
Mansi G https://www.linkedin.com/in/mansi-g-729272122/
Research Engineer
IIT Bombay - Engg Physics - 2014 Harvard University - PhD - Physics (2019)
IIT Delhi - B.Tech & M. Tech - Maths KTH Royal Institute of Technology Meryll Lynch, Barclays, Bloomberg
and Comp Sc
IIT Delhi - EEE (1987) U. Mass (Amherst) (PhD. Comp Sc & SI) AT&T, U. Michigan
MIT (Post Doctoral Fellow)
IIT Delhi (Comp Sc) (2015) U. Montreal (PhD - Machine Learning) - Internships at Google
2020
IIT Madras, Mech - 2014 Harvard University - Masters - Internships at Goldman Sachs, Facebook
Computational Science & Engg
IIT Madras - 2014 Caltech - PhD - Computing and Internships - Uber AI, TIFR, DeepMind
Mathematical Sciences
IIT Madras - Mech - 2008 Texas A&M - MS - Comp Sc - 2007 Visiting Researcher at Stanford
Dartmouth College - PhD Cognitive
Neuroscience (2012)
BIT Messra, Ranchi - Comp Sc - 2015 University of Waterloo - MS Maths & Bloomberg
Comp Sc - 2018
BITS Comp Sc - 2007 U. Wisconsin - Madison - Comp Sc - 2010 Yahoo, Oracle, Microsoft etc.
U. Toronto - Maths & Comp Sc - CMU - PhD Comp Sc - 2019 Microsoft, DeepMind, Visiting
2013 Researcher at Stanford
NIT Calicut - Comp Sc - 2007 Texas A&M - 2013 - Comp Sc Microsoft, Google
Notes 1 Notes 2 Notes 3 Notes 4
Interests: Algorithms, Automated
Reasoning, Planning and Scheduling,
Robotics, Control Theory, Machine
Learning
Some particular problems that interest
me now are
- Faster synthesis from temporal logic
specifications
- Robustness of synthesized strategies
- Using ML for scalable SMT solving and
decomposition
And the quest for more free food!
Notes 5 Notes 1 Notes 2
Notes 3 Notes 4 Personal site Google Scholar site Sequence
1
10
11
12
13
14
15
https://ankeshanand.com/ 16
17
18
19
20
21
23
24
25
https://kayoyin.github.io 26
27
28
29
30
31
32
33
34
https://sritee.github.io/ 35
36
37
38
39
40
41
222