Projects
Course Projects
Project | Course |
---|---|
* We explored how automated reasoning tools could be used to enable robot programmers to build state machines that can be extended at run time based on user interaction. Specifically, we provided a framework in which programmers can axiomatize their states in terms of their requirements and effects on the state of the world, then leverage this logical representation of the states to dynamically plan sequences of actions to accomplish unforeseen goals (python, Z3, ROS) |
CSE507 Computer-Aided Reasoning for Software Engineering (UW) |
* Designed an orbit transformation of cubesat towards an asteroid using low-thrust techniques |
SD2920 System Integration for Space Technology, Part 1 (KTH) |
Collaborators: Shuqi Xu and Mikael Andblom |
SF2822 Applied Nonlinear Optimization (KTH) |
Collaborators: Sylvain Potuaud and Beatrice Ionascu |
DD2432 Artificial Neural Networks and Other Learning Systems (KTH) |
Collaborators: Shuqi Xu |
EL2320 Applied Estimation (KTH) |
Collaborators: Arvid Fahlström Myrman, Axel Riese, and Peter Langenberg |
DD2434 Machine Learning, Advanced Course (KTH) |
Collaborators: Robin Maillot |
EL2222 Systems and Control in Practice (KTH) |
* Coded deep learning from scratch, including back propagation, batch normalization, drop out, weight regularization and stochastic gradient decent (Matlab); |
DD2424 Deep Learning in Data Science (KTH) |
Skills
Languages
English: Advanced (March,2019 TOEFL iBT 107/120)
Chinese: Intermediate (Started learning in 2010)
Swedish: Beginner (Passed B1/B2 level at KTH)