闫士博 / ShiBo Yan
Born in January 2001 in Shijiazhuang, Hebei; now based in Chongqing
Primary school
Primary school
Education
- Chang'an East Road Primary School, Shijiazhuang, Hebei, September 2007–June 2013.
Supporting evidence
Profile
Education, research, and engineering experience.
A chronological record centered on current research and engineering work, with earlier education, awards, and supporting materials retained by stage.
Current work
- Contributing to NSFC General Program project 62472362 on safety verification for neural-network control systems.
- One CCF Class C conference paper has been accepted; one CCF Class B journal paper is under review; and one CCF Class A conference paper has been submitted. The work addresses reach-avoid controller synthesis for stochastic systems and safety guarantees for Bayesian neural-network control policies.
- Advancing CBF-Rover safe-control simulation for mobile robots, covering system modeling, online CBF safety filtering, and empirical validation in exact / Gazebo; the fixed-geometry q-SBC remains not ready.
Graduate stage
Graduate studies
Southwest University
M.Eng. in Software Engineering
Formal methods for stochastic systems
Verifiable control
Education
- Southwest University (Project 211 / Double First-Class University), M.Eng. student in Software Engineering, College of Computer and Information Science / College of Software, September 2024–present.
- Research interests: formal methods and verifiable control for stochastic systems; controller synthesis and safety verification for safety-critical systems.
Academic research
- National Natural Science Foundation of China (NSFC): Contributor to the General Program project “Research on Polynomial Algebraic Methods for Safety Verification of Neural Network Control Systems” (Grant No. 62472362; Jan 2025–Dec 2028).
- Accepted CCF Class C conference paper: Learning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems, MEMOCODE 2026 (first author).
- CCF Class B journal paper under review: Safety Guarantees for Nonlinear Systems with Bayesian Neural Network Control Policies, Formal Aspects of Computing (my supervisor is first author, and I am second author).
- Submitted CCF Class A conference paper: Formal Reach-Avoid Controller Synthesis for Stochastic Systems via Iterative Neural-Symbolic Learning (my supervisor is first author, and I am second author).
- Paper in preparation: Preparing a follow-up manuscript on safe control, reinforcement learning, and formal verification.
- Academic training: Attended the 2024 International Summer School on Trustworthy Software at East China Normal University.
Competitions
- In 2024, I received Second Prize in the 21st “Huawei Cup” China Post-Graduate Mathematical Contest in Modeling, part of the China Postgraduate Innovation and Practice Series.
- In 2025, I received Third Prize in the 22nd “Huawei Cup” China Post-Graduate Mathematical Contest in Modeling, part of the China Postgraduate Innovation and Practice Series.
Projects and practical work
CBF-Rover: Barrier-Certificate and Safe-Control Simulation for Mobile Robots
Mar 2025–present
Mobile RobotsOnline CBFexact / Gazeboq-SBC (not ready)
Built the mobile-robot system model, simulation architecture, and online CBF safety filter, with closed-loop simulation and empirical validation in exact and Gazebo environments; the fixed-geometry q-SBC remains not ready.
- Key work: System modeling, simulation architecture, dynamic-road online CBF safety filtering, real-time constraint evaluation and visualization, and independent empirical checks in exact / Gazebo; empirical closed-loop results are not presented as formal probabilistic guarantees.
Honors
- 2025–2026 academic year: Excellence Award, Graduate Social Practice Report Competition for Ideological and Political Theory Courses, Southwest University.
- 2025: Second-Class Graduate Academic Scholarship, Southwest University.
- 2024–2025 academic year: Outstanding Individual in Academic, Scientific, and Technological Innovation, Southwest University.
- 2024: First-Class Graduate Academic Scholarship, Southwest University.
My path to graduate school
During my first graduate-school entrance examination in late 2022, China had just lifted its nationwide COVID-19 restrictions. I contracted COVID-19 shortly before the exam and was not admitted to Sun Yat-sen University.
I then spent nearly a year traveling around China and reconsidering my direction and pace. In October 2023, I began preparing again, this time for the Software Engineering program at Southwest University. I was ultimately admitted back to my alma mater with the highest overall score in the program (written exam: 373; second-round assessment: 89).
Supporting evidence
Graduate-stage evidence
2024 “Huawei Cup” contest
Second Prize · China Post-Graduate Mathematical Contest in Modeling
2025 “Huawei Cup” contest
Third Prize · China Post-Graduate Mathematical Contest in Modeling
Outstanding Individual in Academic, Scientific, and Technological Innovation
Southwest University · 2024–2025
Graduate Social Practice Report Competition
Excellence Award · Southwest University, 2025–2026
International Summer School on Trustworthy Software
2024 · Completion certificate
Undergraduate stage
Undergraduate studies
Southwest UniversityB.Eng. in Software EngineeringGPA 3.95Ranked 8th of 120 in degree coursesMore than 160 credits earned
Education
- Southwest University (Project 211 / Double First-Class University), B.Eng. in Software Engineering, College of Computer and Information Science / College of Software, September 2019–June 2023.
- Ranked 8th of 120 in degree courses; GPA: 3.95.
- Core courses: Data Structures (98), Probability Theory (98), Data Mining (94), Software Modeling and Design (96).
- Completed every elective offered by the program, earning more than 160 credits and gaining broad academic exposure.
Honors and awards
- Second-Class Scholarship (2021); Third-Class Scholarship (2019); Merit Student (2019 and 2021); Spiritual Civilization Award (2019).
- Honorable Mention, 2020 Certificate Authority Cup International Mathematical Contest in Modeling.
- Second Prize in the 13th and 14th National College Student Mathematics Competition, Chongqing Division (2021 and 2022).
- Outstanding Communist Youth League Member (2022).
- Received awards in multiple mathematical modeling competitions, including the Certificate Authority Cup, two Asia-Pacific contests, and the national competition (2019–2021).
- Received awards in algorithm contests, “Internet+” competitions, WeChat Mini Program competitions, and other university-level events (2019–2022).
Campus experience
- Baidu Songguo Elite Program; received a Certificate of Excellence and ranked second in overall points at completion.
- Appointed volunteer with TIPCC, a Tsinghua University Press committee on computing and industry-practice resources for higher education.
- Led publicity and planning for the Shapingba District Grassroots Service Youth Talent Program, which was recognized as an Outstanding Project at the university level in 2021–2022.
- Earned Huawei Cloud micro-certifications in Kunpeng Skills and Kunpeng Software Performance Optimization Practice.
- Research Assistant, College of Computer and Information Science / College of Software, Southwest University.
Industry training
- Chongqing Chinasoft International Information Technology Co., Ltd. – Project Manager and Technical Manager, Development Department; internship period: June–August 2022; project development period: June–July 2022.
- Recognition: Outstanding Intern; university internship evaluation: 94.
- Project: MicFamily: KTV Operations Management System.
- Project objective: Unify the management of cash flow and information flow, improve internal communication and personnel management, reduce KTV operating costs, and build a competitive advantage through the system.
- Implementation: The browser UI uses Vue; the service layer uses Spring Boot, MyBatis-Plus, and MySQL. Static front-end assets and HTTP APIs are deployed together in one Spring Boot application.
Projects and research experience
- Undergraduate capstone project: Multi-Platform Attendance System Using Face Recognition.
- Recognition: Second Prize for Outstanding Undergraduate Thesis (Design), Southwest University Class of 2023.
- Project overview: The system uses face detection and recognition to identify students present from camera-captured or uploaded photos, then automatically produces attendance summaries and periodic reports. Its multi-platform design supports flexible use and helps deter attendance fraud.
- Technology stack: uni-app, Spring Boot, MySQL, Python.
Student organizations and activities
- September 2019–May 2020, Officer, Department of Learning and Technology, Student Union of the College of Computer and Information Science / College of Software, Southwest University.
- Planned competitions; wrote posts for the WeChat Official Account; supported event promotion and poster design.
Skills
- Familiar with Java, Python, C, Spring Boot, and other back-end technologies; familiar with database principles and experienced in MySQL development.
- Familiar with JavaScript, Vue.js, HTML, and CSS; experienced in uni-app and WeChat Mini Program development.
- Languages: English (CET-4).
Personal summary
- I enjoy music and reflection, and I am curious about how things work—especially in computer science and emerging technologies.
- I take an active role in group activities and work well with classmates and faculty.
Coursework and awards
Transcript, awards, and competition certificates
Undergraduate transcript · page 1Southwest University transcript · highest recorded grades
Undergraduate transcript · page 2Continuation page and credit summary
Second-Class ScholarshipSouthwest University · 2021–2022 academic year
13th National College Student Mathematics CompetitionSecond Prize · Non-Mathematics Category
14th National College Student Mathematics CompetitionSecond Prize · Non-Mathematics Category
2020 Certificate Authority CupInternational Mathematical Contest in Modeling · Honorable Mention
Practice evidence
Campus, organization, project, and industry-training materials
Baidu Songguo Elite ProgramCertificate of Excellence
TIPCC volunteer appointmentTsinghua University Press
TIPCC volunteer serviceTIPCC volunteer service certificate
Student Union appointmentOfficer · Department of Learning and Technology
Merit Student2019–2020 academic year
Spiritual Civilization Award2019–2020 academic year
Outstanding Undergraduate Thesis (Design)Second Prize · Southwest University Class of 2023
Chinasoft International industry trainingProject Manager and Technical Manager · Outstanding Intern
High school
High school
Education
- Hebei Jizhou High School, Hengshui, Hebei, September 2016–June 2019.
Honors and awards
- July 2018, National Final of the 10th National Secondary School Mathematics, Physics, and Chemistry Competency Showcase: National Second Prize in the Grade 11 Physics Competency Showcase (written examination, oral defense of a paper, and subject-specific information technology component).
- July 2018, National Final of the same event: National First Prize in the Innovation Practice Showcase.
- January 2018, Problem-Solving Skills Showcase of the same event: First Prize in Grade 11 Physics, Hebei Division.
- January 2018, same event: Third Prize in Grade 11 Mathematics, Hebei Division.
- January 2018, same event: Third Prize in Grade 11 Chemistry, Hebei Division.
- June 2018, Modeling Paper and Experimental Report Evaluation: Second Prize in Grade 11 Mathematics, Hebei Province.
- June 2018, Modeling Paper and Experimental Report Evaluation: Second Prize in Grade 11 Physics, Hebei Province.
- June 2018, Modeling Paper and Experimental Report Evaluation: Third Prize in Grade 11 Chemistry, Hebei Province.
- September 15, 2018, School-Level First Prize in the 35th National High School Physics Competition.
Supporting evidence
High school certificates
Physics · First PrizeGrade 11 · Hebei Division competency showcase
Innovation practice · National First Prize10th national competency showcase · National Final
Physics competency showcase · National Second PrizeWritten examination, oral defense of a paper, and subject-specific information technology component
Physics competition · School-Level First Prize35th National High School Physics Competition
Junior high
Junior high school
Education
- Shijiazhuang No. 44 Middle School, Shijiazhuang, Hebei, September 2013–June 2016.
Honors and awards
- January 2015, 7th National Secondary School Mathematics, Physics, and Chemistry Problem-Solving Skills Showcase: Third Prize in Grade 8 Mathematics, Hebei Province.
- June 2014, 25th “Hope Cup” National Mathematics Invitational: Third Prize (Bronze Medal), Grade 7.
Supporting evidence
