Adam (Xinmiao) Huang is a robotics engineer and researcher pursuing a MSc in Robotics at the University of Bristol. He has a strong academic background with a Bachelor of Engineering in Robot Engineering from China University of Mining and Technology, where he graduated with distinction.
Adam has experience leading teams and managing complex robotics projects. As team leader for the 16th National University Students Intelligent Car Competition, he coordinated a team of 5 to develop an autonomous vehicle using SLAM, navigation, and other algorithms. The team won first prize nationally for their innovative work. His bachelorโs dissertation involved developing a Lidar-SLAM system for 3D mapping of underground coal mine tunnels. He has two published patents and one published paper related to robotic inspection, cooling systems, and 3D mapping.
Currently, Adam is working on his MSc dissertation in safety validation of deep neural networks using formal analysis techniques like SMT solvers. He aims to develop methods to formally verify and guarantee the safety of DNNs.
Adam has strong technical skills in C/C++, Python, ROS, MATLAB, TensorFlow, CAD, and other robotics/AI frameworks.
His research interests include AI safety, V&V of machine learning systems, Lidar-SLAM, and autonomous vehicles.
๐ฃ News
- 2023.12: ย ๐๐ Graduated from University of Bristol MSc Robotics with Distinction!
- 2023.09: ย ๐๐ Just finished my Masterโs dissertation: Safety Validation of Deep Neural Networks by Formal Analysis. Hope it will get a good mark! Further research will be conduct soon and hopefully there will be a paper released!
๐ Publications
![sym](images\2022100041-10.jpg)
3D map construction of coal mine roadway mobile robot based on integrated factor graph optimization
ZOU Xiaoyu, HUANG Xinmiao, WANG Zhongbin, FANG Dongsheng, PAN Jie, SI Lei
- Investigated different popular Lidar-SLAM methods and implemented them on a tracked robot with 3D Lidar and IMU
- Develop a brand new Lidar-SLAM based on integrated factor graph optimization
- Improved the precision and robustness of 3D map construction of coal mine roadway and solved the problem of feature point missing and laser odometer failure in long straight underground roadway
- Published one journal paper as the second author
๐ค Research Experience
- 2023.05 - 2023.09 Safety Validation of Deep Neural Networks by Formal Analysis
- 2021.12 - 2022.06 Research on the construction of 3D mapping of coal mine roadways for drilling robots
- 2021.04 - 2021.08 The 16th National University Students Intelligent Car Competition
- 2020.06 - 2022.06 A Universal Cooling Pipe Robot Driven by Magnetorheological Fluid
- 2020.06 - 2021.06 Inspection Robot with the Hybrid Transmission of T rack Friction and Sprocket Chain
๐ Honors and Awards
- 2022 Outstanding Graduates, China University of Mining and Technology
- 2021 The 16th National University Students Intelligent Car Competition - National First Prize
- 2020-2021 Second Prize Scholarship, China University of Mining and Technology
- 2018-2019, 2019-2020 Third Prize Scholarship, China University of Mining and Technology
๐ Educations
- 2022.09 - 2023.09, MSc in Robotics at University of Bristol
- Grade: Distinction
- Dissertation Project: Safety Validation of Deep Neural Networks by Symbolic Analysis
- 2018.09 - 2022.06, B.Eng in Robot Engineering at CUMT (Honored Graduates)
- GPA: 85.77%
- Dissertation Project: Research on the construction of 3D mapping of coal mine roadways for drilling robots
- Grade: Distinction
๐ ๏ธ Patents
- Changdu Du, Xinmiao Huang, Xiangyu Sun. A universal cooling pipe robot driven by magnetorheological fluid, ZL 202220595275.4
- Chao Lei, Junru Huo, Xinmiao Huang, Yuanhao Sun, et al. A Inspection Robot with the Hybrid Transmission of Track Friction and Sprocket Chain, ZL 202120135258.8
๐ฃ๏ธ Languages
- Chinese Mother Tongue
- English C1
- French Beginner
๐ป Technical Skills
- Programming: C, C++, Python, MATLAB, LATEX
- Operating Systems: Windows, Linux(Ubuntu)
- Software: ROS, CAD, Solidworks, Creo, Gazebo, TensorFlow, Pytorch, Git