Paper Title Number 1
Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
Mingyu Cai (蔡明钰)
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
Paper Title Number 2
Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2).
Paper Title Number 3
Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3).
Talks
2021 American Control Conference
Conference proceedings talk at , New Orleans, USA
2021 International Conference on Robotics and Automation (ICRA)
Conference proceedings talk at ICRA 2021, Xi'an, China
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Conference proceedings talk at IROS 2021, Prague, Czech Republic
Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic
Lehigh AIR Lab Talk at Journal, Bethlehem, PA
Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications
Conference proceedings talk at ICRA 2022, Philadelphia, PA
Teaching
Service and leadership
- Currently signed in to 43 different slack teams