闫士博 / 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 first-author MEMOCODE 2026 (a constituent conference of ESWEEK 2026) paper is published online; one CCF Class B journal paper has been submitted; 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.
- Developed CBF-Rover for mobile-robot reach-avoid under stochastic disturbances, combining research on polynomial controllers and SBCs with online CBF action correction and closed-loop simulation.
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).
- Published CCF Class C conference paper: Learning-Aided Reach-Avoid Controller Synthesis with Formal Guarantees for Stochastic Systems, MEMOCODE 2026 (a constituent conference of ESWEEK 2026); first author, published online. Citation and full text.
- Submitted CCF Class B journal paper: 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: Safe Control for Mobile Robots under Stochastic Disturbances
Mar 2025–Jul 2026
PythonMOSEK FusionSOS / SDPOnline CBF
Independently developed a safe-control workflow for mobile robots navigating obstacles under stochastic disturbances, combining reinforcement learning, dynamics modeling, controller synthesis, and closed-loop simulation.
- Research workflow: Trained and optimized RL policies, approximated neural controllers with sparse polynomials, used SBCs with SOS / SDP to compute reach-avoid lower bounds, and explored certificate-guided controller refinement.
- Simulation and results: Used Python / MOSEK Fusion for batch trajectory and safety evaluation across disturbance and obstacle scenarios, and integrated online CBF action correction with Gazebo closed-loop validation. Formal probability lower bounds concern the modeled research systems; robot simulations provide empirical evidence.
- Related publication: First-author work published at MEMOCODE 2026 (a constituent conference of ESWEEK 2026); follow-up research submitted to a CCF Class A conference. Read the published paper.
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
Research assistant
Research assistant
School of Computer and Information Science / School of Software, Southwest University
Research assistant, September 1, 2023–July 1, 2024. The appointment agreement lists laboratory equipment maintenance, software testing, and alumni liaison among the duties. Work was based at the College or completed online.
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.
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
