Yaoshun Fu | Artificial Intelligence in Mathematics | Best Researcher Award

Posted on by Math Scientist

Dr. Yaoshun Fu | Artificial Intelligence in Mathematics | Best Researcher Award

Senior Engineer at Beijing Aerospace Era Optoelectronic Technology Co., Ltd, China

Dr. Yaoshun Fu is a distinguished researcher specializing in formal verification, machine theorem proving, and axiomatic set theory. He holds a Ph.D. in Electronic Science and Technology from Beijing University of Posts and Telecommunications (BUPT) and has made significant contributions to mathematical proof automation using Coq-based formal verification. With over 10 research publications, including two JCR Q1 papers as the first author, he has established himself as a leading scholar in his field. His work spans real analysis, topology, algebra, and set theory, with applications in program verification and security. Dr. Fu has also authored two books, secured nine software copyrights, and presented at prestigious international awards. While his research impact is growing, expanding international collaborations and interdisciplinary applications could further enhance his global recognition. His expertise and contributions make him a strong contender for the Best Researcher Award in theoretical and applied mathematics.

Professional Profile 

Scopus Profile

Education

Dr. Yaoshun Fu obtained his Bachelor’s degree in Communication Engineering from Shandong Normal University in 2015. He then pursued his Master’s and Ph.D. degrees in Electronic Science and Technology at Beijing University of Posts and Telecommunications (BUPT) from 2016 to 2022. His doctoral research focused on formal verification, machine theorem proving, and axiomatic set theory, particularly leveraging the Coq proof assistant for mathematical formalization. Throughout his academic journey, he has engaged in cutting-edge research in real analysis, topology, algebra, and formal logic, demonstrating his deep understanding of both theoretical mathematics and computational proof systems. His educational background has provided him with a strong foundation in both mathematical reasoning and practical applications of formal methods, preparing him for a highly impactful research career. His rigorous training in mathematical formalization and theorem proving has positioned him as an emerging expert in the field.

Professional Experience

Dr. Yaoshun Fu has been actively involved in research in formal methods, mathematical logic, and automated theorem proving for several years. During his doctoral studies at BUPT, he worked on multiple projects supported by the National Natural Science Foundation of China, contributing to the development of Coq-based mathematical proof systems. His work has included formalizing real analysis without limits, proving equivalence among completeness theorems of real numbers, and developing machine-proof systems for topology and algebra. As a researcher, he has collaborated with experts in applied mathematics, theoretical computer science, and logic. He has also authored two books and obtained nine software copyrights, demonstrating his ability to translate theoretical research into tangible software solutions. Additionally, he has presented his findings at leading international awards, strengthening his reputation as a scholar in formal verification and theorem proving.

Research Interest

Dr. Yaoshun Fu’s research interests lie in formal verification, machine theorem proving, axiomatic set theory, and mathematical formalization. His primary focus is on using interactive theorem provers such as Coq to develop rigorous, machine-checkable proofs for real analysis, topology, algebra, and logic. He is particularly interested in bridging the gap between human mathematical intuition and computer-assisted proof verification, with applications in program verification, security, and symbolic computation. His research explores automated reasoning techniques, formalizing classical theorems, and ensuring correctness in mathematical software. His expertise extends to constructive mathematics and foundational theories, with an emphasis on improving the reliability and efficiency of formal proof systems. Looking ahead, he aims to expand his research to interdisciplinary applications, such as AI-driven theorem proving, automated logic solvers, and mathematical modeling for secure computing. His work contributes significantly to advancing the field of computer-aided mathematics and proof automation.

Awards and Honors

Dr. Yaoshun Fu has received several prestigious awards in recognition of his academic excellence and research contributions. In 2021, he played a key role as a core member of a student leadership team, earning his group a Top Ten Student Organization award at BUPT. In 2020, he was recognized as an Outstanding Graduate Student Leader for his role as an organizational committee member. His doctoral research was supported by competitive grants, including funding from the National Natural Science Foundation of China, which enabled him to advance his work in formal verification and mathematical theorem proving. Additionally, he has been invited to present at major international awards, further establishing his scholarly reputation. His awards and honors highlight his dedication to academic excellence, leadership, and impactful research, positioning him as a rising star in formal methods and mathematical verification.

Conclusion

Dr. Yaoshun Fu is an accomplished researcher in formal verification, machine theorem proving, and axiomatic set theory, with a strong academic background and extensive research contributions. His expertise in Coq-based formal verification, real analysis, topology, and logic has led to high-impact publications, software developments, and book authorships. His contributions to mathematical proof automation are not only theoretically significant but also have practical implications in program verification and security applications. While his research impact is steadily growing, further international collaborations and interdisciplinary applications could enhance his global recognition. Given his academic excellence, research productivity, and leadership, Dr. Fu is a strong candidate for prestigious research awards. His continued dedication to mathematical formalization and theorem proving promises to push the boundaries of computer-aided mathematics, making him a valuable asset to the scientific community.

Publications Top Noted

  • Title: A Formalization of Topological Spaces in Coq

      • Authors: Sheng Yan, Yaoshun Fu, Dakai Guo, Wensheng Yu
      • Year: July 2022
      • Citations: 5
      • Source: Lecture Notes in Electrical Engineering

  • Title: Formalizing Calculus without Limit Theory in Coq

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: June 2021
      • Citations: 4
      • Source: Mathematics

  • Title: Formalization of the Equivalence among Completeness Theorems of Real Number in Coq

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: December 2020
      • Citations: 5
      • Source: Mathematics

  • Title: A Formalization of Properties of Continuous Functions on Closed Intervals

      • Authors: Yaoshun Fu, Wensheng Yu
      • Year: July 2020
      • Citations: 3
      • Source: Lecture Notes in Computer Science

  • Title: A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without Axiom of Choice

      • Authors: Xiaoyan Zao, Tianyu Sun, Yaoshun Fu, Wensheng Yu
      • Year: July 2019
      • Citations: 1
      • Source: Conference Paper

  • Title: A Formal Proof in Coq of Cantor-Bernstein-Schroeder’s Theorem without Axiom of Choice

      • Authors: Yaoshun Fu, Tianyu Sun, Wensheng Yu
      • Year: November 2019
      • Citations: Not specified
      • Source: Conference Paper

 

Senthilkumar. R | Artificial Intelligence in Mathematics | Best Researcher Award

Posted on by Math Scientist

Dr. Senthilkumar. R | Artificial Intelligence in Mathematics | Best Researcher Award

Assistant Professor at Hindusthan Institute of Technology, India

Dr. R. Senthilkumar is a dedicated researcher and academician with over 13 years of experience in Artificial Intelligence, Machine Learning, Deep Learning, IoT, and Data Science. He has published three SCI-indexed journal papers, three SCOPUS book chapters, and five award papers, showcasing his strong research acumen. He has also published three patents and completed a funded project, with additional research proposals under review by DST, BRAC, and Tamil Nadu State Council for Science and Technology. As an editorial board member and reviewer, he actively contributes to the research community. His achievements include the Best Paper Award at Taylor’s University, Malaysia (2023) and mentoring a winning team in the Chief Minister’s Award of Excellence (2015-16). Passionate about technology-driven solutions, he has developed AI-based applications and conducted awareness programs on climate change and air pollution. His contributions make him a strong contender for the Best Researcher Award.

Professional Profile 

Scopus Profile
ORCID Profile 

Education

Dr. R. Senthilkumar holds a Ph.D. in Information and Communication Engineering from Anna University, Chennai, where he graduated with a 7.8 CGPA. Prior to his doctorate, he completed his Master of Engineering (M.E.) in Computer and Communication from Pavendar Bharathidasan College of Engineering and Technology, Tiruchirappalli, securing a 7.5 CGPA. His academic journey began with a Bachelor of Technology (B.Tech) in Information Technology from Christian College of Engineering & Technology, Dindigul, where he achieved First Class with 63% marks. With a strong foundation in Artificial Intelligence, Machine Learning, Data Science, and the Internet of Things, his educational qualifications reflect his expertise in cutting-edge technologies. His academic credentials have been instrumental in shaping his career in research, education, and technological innovation. Throughout his studies, he actively contributed to research and development, laying the groundwork for his extensive contributions to academia and industry.

Professional Experience

Dr. R. Senthilkumar has over 13 years and 5 months of experience in academia, specializing in Artificial Intelligence, Machine Learning, Data Science, and IoT. Currently serving as an Assistant Professor at Hindusthan Institute of Technology, Coimbatore, he has previously worked at Nehru Institute of Engineering and Technology and K.L.N. College of Information Technology, Madurai. Throughout his career, he has published SCI and SCOPUS-indexed research papers, authored book chapters, and secured patents in emerging technologies. He has also successfully completed a funded project and applied for multiple government-funded research initiatives. As a guest lecturer, reviewer, and editorial board member, he actively contributes to the research community. Additionally, he has mentored students, developed AI-based applications, and conducted social outreach programs on climate change and technology awareness. His expertise spans big data analytics, cloud computing, and mobile computing, making him a distinguished academician and researcher in the field of Information Technology.

Research Interest

Dr. R. Senthilkumar’s research interests lie at the intersection of Artificial Intelligence, Machine Learning, Deep Learning, Data Science, and the Internet of Things (IoT), focusing on innovative solutions for real-world challenges. His work explores AI-driven healthcare systems, air quality monitoring, and intelligent automation, with a strong emphasis on optimizing computational models for enhanced decision-making. He has contributed to IoT-based embedded systems, AI-enabled predictive analytics, and blockchain-integrated security solutions. His recent research delves into humanoid robotics for patient well-being, automated wildlife conservation using AIoT, and smart monitoring frameworks for environmental sustainability. Through his SCI-indexed publications, funded projects, and patents, he aims to bridge the gap between academic research and industrial applications. With a passion for interdisciplinary innovation, he actively collaborates on projects integrating AI, cloud computing, and big data analytics, striving to develop scalable, intelligent systems for healthcare, environmental conservation, and smart cities.

Award and Honor

Dr. R. Senthilkumar is a distinguished researcher in Artificial Intelligence, Machine Learning, and IoT, recognized for his significant contributions to academia and innovation. He received the Best Paper Award for his groundbreaking research on AI-based Lung Cancer Detection at the International Conference on Transforming Engineering Systems at Taylor’s University, Malaysia (2023). As a mentor, he guided a project on E-Governance, which secured First Place in the Chief Minister’s Award of Excellence (2015-16). His research excellence is reflected in SCI-indexed publications, patents, and funded projects with reputed organizations like DST and BRAC. A member of ACM and ISTE, he actively contributes as an editorial board member and peer reviewer. His technological innovations, including AI-based chatbots and real-time object detection systems, further establish his leadership in the field. With a commitment to research, teaching, and social impact, Dr. Senthilkumar continues to make remarkable strides in advancing technology and knowledge.

Conclusion

Dr. R. Senthilkumar is a distinguished researcher in Artificial Intelligence, Machine Learning, and IoT, recognized for his significant contributions to academia and innovation. He received the Best Paper Award for his groundbreaking research on AI-based Lung Cancer Detection at the International Conference on Transforming Engineering Systems at Taylor’s University, Malaysia (2023). As a mentor, he guided a project on E-Governance, which secured First Place in the Chief Minister’s Award of Excellence (2015-16). His research excellence is reflected in SCI-indexed publications, patents, and funded projects with reputed organizations like DST and BRAC. A member of ACM and ISTE, he actively contributes as an editorial board member and peer reviewer. His technological innovations, including AI-based chatbots and real-time object detection systems, further establish his leadership in the field. With a commitment to research, teaching, and social impact, Dr. Senthilkumar continues to make remarkable strides in advancing technology and knowledge.

Publications Top Noted

  • Title: Performance analysis of multiple-input multiple-output orthogonal frequency division multiplexing system using arithmetic optimization algorithm
    Authors: R, D.; R, K.; Velusamy, J.; R, S.
    Year: 2025
    Citations: 0
  • Title: Detection of video anomaly in public with deep learning algorithm
    Authors: Dhurgadevi, M.; Kumar, D.V.; Senthilkumar, R.; Gunasekaran, K.
    Year: 2024
    Citations: 0
  • Title: Quantitative analysis of cervical image to predict the complications of pregnancy
    Authors: Nagarani, N.; Jothiraj, S.; Venkatakrishnan, P.; Kumar, R.S.
    Year: 2023
    Citations: 0
  • Title: Comparison of artificial neural network techniques in prediction of wind speed using combinations of metrological variables
    Authors: Sivakumar, S.; Babu, W.R.; Ravikumar, A.; Kumar, L.K.; Senthilkumar, R.
    Year: 2022
    Citations: 0
  • Title: IoT based artificial intelligence indoor air quality monitoring system using enabled RNN algorithm techniques
    Authors: Ramachandraarjunan, S.; Perumalsamy, V.; Narayanan, B.
    Year: 2022
    Citations: 2
  • Title: Intelligent based novel embedded system based IoT enabled air pollution monitoring system
    Authors: Senthilkumar, R.; Venkatakrishnan, P.; Balaji, N.
    Year: 2020
    Citations: 69