#— #layout: archive #title: “CV” #permalink: /cv/ #author_profile: true #redirect_from:
- /resume
#—
Education
- B.S. in GitHub, GitHub University, 2012
- M.S. in Jekyll, GitHub University, 2014
- Ph.D in Version Control Theory, GitHub University, 2018 (expected)
Work experience
- Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
- Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub
Skills
- Skill 1
- Skill 2
- Sub-skill 2.1
- Sub-skill 2.2
- Sub-skill 2.3
- Skill 3
Publications
MK-SQuIT: Synthesizing Questions using Iterative Template-filling
BA Spiegel, V Cheong, JE Kaplan, A Sanchez. arXiv preprint arXiv:2011.02566
Guided Policy Search for Parameterized Skills using Adverbs
B.A. Spiegel, G.D. Konidaris. In the Interactive Learning with Implicit Human Feedback Workshop at ICML 2023.
RLang: A Declarative Language for Describing Partial World Knowledge to Reinforcement Learning Agents
R. Rodriguez-Sanchez, B.A. Spiegel, J. Wang, R. Patel, G.D. Konidaris, and S. Tellex. RLang: A Declarative Language for Describing Partial World Knowledge to Reinforcement Learning Agents. In Proceedings of the Fortieth International Conference on Machine Learning, July 2023.
Skill Generalization with Verbs
R. Ma, L. Lam, B.A. Spiegel, A. Ganeshan, R. Patel, B. Abbatematteo, D. Paulius, S. Tellex, G. Konidaris, “Skill Generalization With Verbs” in International Conference for Intelligent Robots and Systems (IROS) 2023, Accepted.
Talks
Talk 1 on Relevant Topic in Your Field
Talk at UC San Francisco, Department of Testing, San Francisco, California
Tutorial 1 on Relevant Topic in Your Field
Tutorial at UC-Berkeley Institute for Testing Science, Berkeley CA, USA
Talk 2 on Relevant Topic in Your Field
Talk at London School of Testing, London, UK
Conference Proceeding talk 3 on Relevant Topic in Your Field
Conference proceedings talk at Testing Institute of America 2014 Annual Conference, Los Angeles, CA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams