SAT-based LTL Satisfiability Checking
Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1).
CV
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
Talk on AAAI SSS-23
Symposium talk at AAAI SSS-23, Virtual
Talk on HW Formal Methods Workshop @Hongkong
Symposium talk at HW Formal Methods Workshop, Virtual
Teaching
Service and leadership
- Currently signed in to 43 different slack teams