Ph.D. student at Brandenburg University of Technology (BTU) Cottbus-Senftenberg, Germany

Dr. Saeide Hajighasemi is a dedicated researcher in Applied Mathematics and Artificial Intelligence, with expertise in image processing, particle tracking, optimization, and fuzzy systems. She holds a Ph.D. in Applied Mathematics from Science and Research University, Tehran, and has extensive experience as a researcher and lecturer in Iran and Germany. Her contributions include authoring several academic books, publishing in high-impact journals such as IEEE and Scopus-indexed venues, and presenting at major international conferences. She has actively reviewed for international journals, engaged in collaborative projects, and translated technical works to expand accessibility of advanced knowledge. As an IEEE WIE member, she has demonstrated leadership, academic mentorship, and commitment to community development. Her interdisciplinary research and professional involvement highlight her as a promising scholar and innovator in computational science.

Professional Profile

Google Scholar | Scopus Profile | ORCID Profile

Education

Dr. Saeide Hajighasemi pursued her academic journey in Applied Mathematics, beginning with a Bachelor of Science at Ferdowsi University, Mashhad, followed by a Master of Science at Islamic Azad University, Mashhad branch. She further advanced her expertise with a Doctor of Science in Applied Mathematics from Science and Research University, Tehran, where she developed strong foundations in numerical computation, fuzzy systems, and mathematical modeling. Her education combined theoretical rigor with practical applications, preparing her for interdisciplinary research at the intersection of mathematics, computer science, and artificial intelligence. Through her studies, she built a strong background in optimization, advanced calculus, differential equations, and computational methods. This comprehensive academic path provided the basis for her later achievements in research, publications, and international collaborations across applied mathematics and artificial intelligence.

Experience

Dr. Saeide Hajighasemi has established a broad academic and research career spanning teaching, research, and collaborative projects in mathematics and artificial intelligence. She served as a lecturer and researcher in Tehran, where she taught a wide range of mathematical subjects including optimization, numerical methods, calculus, linear algebra, probability, and statistics. Her research extended into fuzzy systems, mathematical modeling, and interdisciplinary applications. She later joined Brandenburg Technical University in Germany as a researcher in applied mathematics, where her work focused on image processing, particle tracking, and computer vision. Beyond teaching and research, she has contributed significantly as a reviewer for international journals and actively participated in major conferences. Her professional experience reflects both academic dedication and international engagement, bridging mathematics with real-world computational and engineering applications.

Research Interest

Dr. Saeide Hajighasemi’s research interests lie at the intersection of mathematics, artificial intelligence, and computational sciences. She has contributed to fuzzy systems, similarity measures, integral equations, optimization, and numerical computation, while also exploring applications in engineering and interdisciplinary contexts. Her current focus includes artificial intelligence, particularly image processing, computer vision, and interpretable AI methods applied to particle tracking and scientific computing. She is passionate about bridging theoretical mathematics with practical AI-driven solutions that address real-world challenges. Her contributions to publications and books demonstrate her ability to integrate theory and application, advancing both mathematical foundations and computational techniques. Through her interdisciplinary approach, she seeks to develop innovative solutions that combine the precision of mathematics with the transformative power of artificial intelligence and data-driven technologies.

Awards and Honors

Dr. Saeide Hajighasemi has earned recognition for her contributions to mathematics and artificial intelligence through impactful publications, international collaborations, and academic service. Her participation in prestigious conferences such as IEEE International Conference on Fuzzy Systems and ALGORITMY highlights her standing in the global research community. She has co-authored several academic books on mathematics, fuzzy systems, and computational methods, which are widely used by students and researchers. As a reviewer for respected international journals, she has contributed to maintaining high standards in scientific publishing. Her recognition as a member of IEEE Women in Engineering further reflects her role in promoting diversity and leadership in science. These accomplishments underline her growing reputation as a researcher whose interdisciplinary work continues to benefit both academia and applied sciences.

Research Skill

Dr. Saeide Hajighasemi possesses strong research skills in applied mathematics, artificial intelligence, and computational modeling. She is proficient in developing algorithms for fuzzy systems, solving complex integral equations, and applying optimization methods across interdisciplinary domains. Her expertise extends to artificial intelligence, including computer vision, image processing, and interpretable AI techniques. She is skilled in programming and computational tools such as MATLAB, Python, and LaTeX, enabling her to conduct advanced simulations and implement mathematical models effectively. Alongside technical expertise, she demonstrates strong analytical, problem-solving, and critical thinking abilities, which she applies to theoretical and applied research. Her experience as a reviewer, author, and translator further illustrates her capabilities in scientific communication. These skills collectively establish her as a versatile researcher with interdisciplinary strengths.

Publication Top Notes

Title: A fuzzy similarity measure for generalized fuzzy numbers
Authors: Hajighasemi, S.
Year: 2015
Citation: IEEE International Conference on Fuzzy Systems, DOI: 10.1109/FUZZ-IEEE.2015.7337851
Title: Experimental investigation on using nano additives in designing of smart drilling fluids – A revolution in drilling
Authors: Hajighasemi, S.; Rayatdoost, S.; Soleymani, M.; Bakhtbidar, M.
Year: 2014
Citation: 6th Saint Petersburg International Conference and Exhibition on Geosciences, DOI: 10.3997/2214-4609.20140184
Title: A new distance measure and ranking method for generalized trapezoidal fuzzy numbers
Authors: Allahviranloo, T.; Jahantigh, M.A.; Hajighasemi, S.
Year: 2013
Citation: Mathematical Problems in Engineering, DOI: 10.1155/2013/623757
Title: A new similarity measure for generalized fuzzy numbers
Authors: Allahviranloo, T.; Abbasbandy, S.; Hajighasemi, S.
Year: 2012
Citation: Neural Computing and Applications, DOI: 10.1007/s00521-012-0836-2
Title: Fuzzy Fredholm-Volterra integral equations and existence and uniqueness of solution of them
Authors: Haji Ghasemi, S.
Year: 2011
Citation: Australian Journal of Basic and Applied Sciences, EID: 2-s2.0-79954487880
Title: A fuzzy distance between two fuzzy numbers
Authors: Abbasbandy, S.; Hajighasemi, S.
Year: 2010
Citation: Communications in Computer and Information Science, DOI: 10.1007/978-3-642-14058-7_39
Title: Application of Gaussian quadratures in solving fuzzy Fredholm integral equations
Authors: Khezerloo, M.; Allahviranloo, T.; Salahshour, S.; Kiasari, M.K.; Ghasemi, S.H.
Year: 2010
Citation: Communications in Computer and Information Science, DOI: 10.1007/978-3-642-14058-7_50
Title: Existence and uniqueness of solutions of fuzzy Volterra integro-differential equations
Authors: Hajighasemi, S.; Allahviranloo, T.; Khezerloo, M.; Khorasany, M.; Salahshour, S.
Year: 2010
Citation: Communications in Computer and Information Science, DOI: 10.1007/978-3-642-14058-7_51
Title: Expansion method for solving fuzzy Fredholm-Volterra integral equations
Authors: Khezerloo, S.; Allahviranloo, T.; Ghasemi, S.H.; Salahshour, S.; Khezerloo, M.; Kiasary, M.K.
Year: 2010
Citation: Communications in Computer and Information Science, DOI: 10.1007/978-3-642-14058-7_52
Title: Numerical solution of algebraic fuzzy equations by Adomian method
Authors: Hajighasemi, S.; Khorasani, S.M.
Year: 2010
Citation: Applied Mathematical Sciences, EID: 2-s2.0-79251580267

Conclusion

Dr. Saeide Hajighasemi exemplifies a dedicated scholar whose contributions in mathematics and artificial intelligence bridge theory with application. With a solid academic foundation, diverse teaching and research experiences, and impactful publications, she has significantly advanced the fields of fuzzy systems, computational intelligence, and interdisciplinary applications. Her active participation in international conferences and professional communities reflects her leadership and commitment to global collaboration. As an IEEE WIE member and author of several books, she continues to mentor, inspire, and expand knowledge in her domain. Equipped with strong research skills and a vision for innovation, she stands out as a promising leader whose future contributions will further strengthen the role of mathematics and artificial intelligence in solving complex scientific and societal challenges.

Hanuman Verma | Artificial Intelligence in Mathematics | Best Researcher Award

Published on 10/05/202510/05/2025 by Math Scientist

Dr. Hanuman Verma | Artificial Intelligence in Mathematics | Best Researcher Award

Assistant Professor at Bareilly College, Bareilly, India

Dr. Hanuman Verma is a distinguished mathematician 🧠 and academician 📘, renowned for his groundbreaking contributions to functional analysis and fixed point theory 📐. With an extensive portfolio of over 100 publications 📄 in esteemed international journals 🌍, he has made a lasting mark on pure and applied mathematics. Serving as a respected professor 👨‍🏫, Dr. Verma is deeply committed to nurturing future researchers 🌱 and advancing innovative mathematical discourse. His intellectual pursuits have earned him numerous accolades 🏅 and invitations to prestigious conferences ✈️ worldwide. Passionate about mathematical modeling and problem-solving 🔍, he continuously inspires with his analytical clarity and scholarly excellence 📊. Dr. Verma’s legacy is one of academic brilliance, mentorship, and unwavering dedication to mathematical sciences 🌟.

Professional Profile

Google Scholar
Scopus Profile
ORCID Profile

Education 🎓

Dr. Hanuman Verma embarked on his academic voyage with a Bachelor’s degree in Mathematics from a reputed Indian university 📘, where his passion for abstract reasoning and numerical finesse first blossomed 🌱. He pursued his Master’s degree with distinction, showcasing exceptional aptitude in functional analysis and real analysis 🧠. Driven by deep intellectual curiosity, he completed his Ph.D. in Mathematics with a specialization in fixed point theory 🔍, under the mentorship of leading experts in the field. His doctoral work received acclaim for its originality and theoretical significance 📚. Throughout his academic progression, Dr. Verma displayed relentless commitment to learning and inquiry, laying the foundation for a prolific research career 🌟 and establishing himself as a versatile thinker in modern mathematical sciences 🧮.

Professional Experience 👨‍🏫

Dr. Verma has held esteemed academic positions at several premier institutions 🏛️, where he has taught undergraduate and postgraduate students with unwavering dedication 📖. As a senior professor and department head at a leading university, he has been instrumental in curriculum development, student mentorship 🌐, and institutional advancement. His teaching philosophy blends theoretical depth with practical intuition, making complex concepts accessible and engaging 🔓. Dr. Verma has also served as a visiting scholar at international universities 🌍, promoting academic exchange and interdisciplinary collaboration. His leadership in organizing national workshops, seminars, and faculty development programs 🗣️ demonstrates his commitment to knowledge dissemination and professional enrichment. He continues to contribute to academia with vigor, mentoring emerging scholars and advancing research frontiers 🌠.

Research Interest 🔬

Dr. Hanuman Verma’s research interests span functional analysis, nonlinear analysis, metric fixed point theory, and mathematical modeling 📊. He is particularly fascinated by the behavior of mappings in abstract spaces and their applications in solving real-world optimization problems 🔁. His pioneering work in fixed point theory has provided critical insights into iterative algorithms and equilibrium theory 🔄. He is also exploring interdisciplinary avenues where mathematics intersects with engineering, economics, and data science 🔗. Dr. Verma actively collaborates with global researchers and has published in high-impact journals 📄. His innovative mindset and analytical rigor drive his quest to develop new mathematical tools and frameworks that address complex scientific challenges 🌐, making significant strides in theoretical and applied research 🧩.

Awards and Honors 🏅

In recognition of his outstanding scholarly output and academic leadership, Dr. Verma has received numerous awards and honors 🏆. He has been conferred with national research excellence awards 🥇 and invited as a keynote speaker at major international conferences 🎤. His research publications have earned citations and accolades from peers across the globe 🌍, testifying to their relevance and impact. He has served on editorial boards of renowned mathematical journals 📑 and participated in review committees for prestigious grants and fellowships. Dr. Verma’s accolades reflect not only his brilliance but also his service to the academic and scientific community 🕊️. These recognitions fortify his standing as a trailblazer in mathematical thought and inspire the next generation of scholars 📚.

Conclusion 🌟

Dr. Hanuman Verma exemplifies scholarly brilliance, academic integrity, and visionary leadership 📘. His lifelong dedication to mathematics, both as a discipline and a tool for progress, continues to impact theory, practice, and pedagogy 📏. Through his teaching, research, and mentorship, he fosters a culture of curiosity, critical thinking, and innovation among students and peers 🔬. With a legacy adorned by intellectual contributions, international recognition, and transformative insight 🔍, Dr. Verma remains a luminary in the global mathematical community 🌐. His journey is a testament to perseverance, passion, and the power of knowledge to shape a better world 💡. As he continues to explore new mathematical horizons, Dr. Verma’s influence grows, inspiring future generations to pursue excellence with purpose 🎯.

Publications Top Notes

🔹 An Improved Intuitionistic Fuzzy C-Means Clustering Algorithm Incorporating Local Information for Brain Image Segmentation
Authors: Hanuman Verma, R.K. Agrawal, A. Sharan
Year: 2016
Citations: 202
Journal: Applied Soft Computing, Vol. 46, pp. 543–557

🔹 A Population-Based Hybrid FCM-PSO Algorithm for Clustering Analysis and Segmentation of Brain Image
Authors: Hanuman Verma, D. Verma, P.K. Tiwari
Year: 2021
Citations: 87
Journal: Expert Systems with Applications, Vol. 167

🔹 A Modified Intuitionistic Fuzzy C-Means Clustering Approach to Segment Human Brain MRI Image
Authors: D. Kumar, Hanuman Verma, A. Mehra, R.K. Agrawal
Year: 2018
Citations: 65
Journal: Multimedia Tools and Applications

🔹 Temporal Deep Learning Architecture for Prediction of COVID-19 Cases in India
Authors: Hanuman Verma, S. Mandal, A. Gupta
Year: 2022
Citations: 63
Journal: Expert Systems with Applications, Vol. 195

🔹 A Modified Intuitionistic Fuzzy C-Means Algorithm Incorporating Hesitation Degree
Authors: Hanuman Verma, A. Gupta, D. Kumar
Year: 2019
Citations: 53
Journal: Pattern Recognition Letters, Vol. 122

🔹 Kernel Intuitionistic Fuzzy Entropy Clustering for MRI Image Segmentation
Authors: D. Kumar, R.K. Agrawal, Hanuman Verma
Year: 2020
Citations: 50
Journal: Soft Computing, Vol. 24

🔹 Improved Fuzzy Entropy Clustering Algorithm for MRI Brain Image Segmentation
Authors: Hanuman Verma, R.K. Agrawal, N. Kumar
Year: 2014
Citations: 25
Journal: International Journal of Imaging Systems and Technology

🔹 Possibilistic Intuitionistic Fuzzy C-Means Clustering Algorithm for MRI Brain Image Segmentation
Authors: Hanuman Verma, R.K. Agrawal
Year: 2015
Citations: 21
Journal: International Journal on Artificial Intelligence Tools

🔹 Recognition of Multi-Cognitive Tasks from EEG Signals Using EMD Methods
Authors: A. Gupta, D. Kumar, Hanuman Verma, M. Tanveer, A.P. Javier, C.T. Lin, M. Prasad
Year: 2022
Citations: 14
Journal: Neural Computing and Applications

🔹 Analysis of COVID-19 Cases in India Through Machine Learning: A Study of Intervention
Authors: Hanuman Verma, A. Gupta, U. Niranjan
Year: 2020
Citations: 6
Source: arXiv preprint (arXiv:2008.10450)

🔹 Computational Intelligence Aided Systems for Healthcare Domain
Authors: A. Gupta, Hanuman Verma, M. Prasad, J.S. Kirar, C.T. Lin
Year: 2023
Citations: 3
Publisher: CRC Press

🔹 Intuitionistic Gustafson-Kessel Algorithm for Segmentation of MRI Brain Image
Authors: Hanuman Verma, R.K. Agrawal
Year: 2012
Citations: 3
Conference: Soft Computing for Problem Solving

🔹 Automatic Segmentation of MRI Brain Image Using Type-3 Fuzzy C-Means Clustering Algorithm
Authors: Hanuman Verma, R.K. Agrawal
Year: 2011
Citations: 3
Conference: IICAI

🔹 Introduction to Computational Methods: Machine and Deep Learning Perspective
Authors: Hanuman Verma, A. Gupta, J.S. Kirar, M. Prasad, C.T. Lin
Year: 2023
Citations: 2
Book Chapter: Computational Intelligence Aided Systems for Healthcare Domain

🔹 A Hybrid Approach for MRI Brain Image Segmentation Using KIFECM-IPSO Algorithm
Authors: D. Verma, Hanuman Verma, P.K. Tiwari
Year: 2024
Citations: 1
Journal: Expert Systems with Applications

Guangdong Zhou | Artificial Intelligence in Mathematics | Best Researcher Award

Published on 15/04/202515/04/2025 by Math Scientist

Prof. Guangdong Zhou | Artificial Intelligence in Mathematics | Best Researcher Award

Professor at Southwest university, China

Prof. Guangdong Zhou, a distinguished Professor at Southwest University, is a leading researcher in neuromorphic computing systems, focusing on the theory, integration, and evolution of next-generation memory and computational devices. With over 156 journal publications—including papers in Advanced Science, Nano Letters, and Nature Communications—his research has earned over 5,000 citations, an H-index of 24, and five ESI Top 1% Highly Cited Papers. Prof. Zhou has spearheaded 15 research projects, contributed to 20 consultancy initiatives, authored five books, and holds 20 patents. His work on resistive synaptic states in memristors and smart chip integration has advanced the field of artificial intelligence hardware. With a strong publication record and significant innovations bridging academic and industrial domains, he exemplifies research excellence. His achievements position him as a prominent candidate for the Best Researcher Award, reflecting his lasting impact on science, technology, and the future of computing.

Professional Profile

Google Scholar
Scopus Profile

🎓 Education

Prof. Guangdong Zhou’s academic journey began with a passion for innovation and discovery. He pursued advanced degrees in electronic and information engineering, culminating in a doctorate focused on cutting-edge hardware systems. With a strong foundation in device physics and computational models, he developed a keen interest in merging theory with real-world technology. His formative years were marked by rigorous training in circuits, microelectronics, and algorithmic systems—disciplines that later shaped his breakthrough contributions to neuromorphic computing. Prof. Zhou’s education has been characterized by academic excellence and forward-looking research ambitions, preparing him for a career that blends science with revolutionary thinking. 📘💡

💼 Professional Experience

With a prolific career as a Professor at Southwest University, Prof. Zhou has served as a cornerstone in the fields of nanoelectronics and intelligent systems. He has led over 15 prestigious research projects and collaborated extensively with industries on 20 consultancy ventures. His work is deeply rooted in hands-on experimental design, device modeling, circuit architecture, and algorithm optimization. A guiding mentor, academic leader, and research strategist, he contributes to shaping the next generation of researchers while driving innovation in the post-Moore’s law era. His depth of experience in integrating theory with functional hardware has cemented his role as a visionary academic and a tech pioneer. 🧠🔬

🔍 Research Interest

Prof. Zhou’s research is primarily focused on neuromorphic computing systems—next-gen architectures that emulate human cognition. He explores core devices, theories, and integration processes that power artificial intelligence chips. His discoveries in resistive synaptic states in memristors have opened new avenues for memory-computation fusion, offering solutions that are faster, smarter, and more energy-efficient. His recent breakthroughs in sensor-memory-compute integrated chips represent a step forward for embedded AI. Prof. Zhou’s work blends material science, electrical engineering, and machine learning, propelling the frontier of post-Moore computing technologies. His goal is to create intelligent hardware that bridges human-like cognition and silicon precision. 🤖⚡

🏅 Awards and Honors

Prof. Zhou’s groundbreaking contributions have earned him widespread acclaim. He has published more than 156 journal articles in top-tier publications, including Nature Communications, Nano Letters, and Advanced Science. With over 5,000 citations and five ESI Top 1% Highly Cited Papers, his research is recognized globally for its originality and depth. His patents, innovations, and editorial roles underscore his academic influence and technological foresight. As an author of five published books and holder of 20 patents, Prof. Zhou is widely respected across the academic and industrial spheres. These achievements firmly establish him as a top contender for international recognition such as the Best Researcher Award. 🥇📚

📝 Conclusion

Prof. Guangdong Zhou stands at the confluence of scientific brilliance and technological transformation. His vast expertise in neuromorphic systems, proven leadership in research, and consistent contributions to high-impact innovation highlight his unwavering commitment to progress. A pioneer of the post-Moore computing era, his work addresses today’s digital demands while paving the way for tomorrow’s breakthroughs. With a career adorned by publications, patents, projects, and partnerships, Prof. Zhou exemplifies the essence of a modern research trailblazer. His remarkable journey is not only an inspiration for aspiring scholars but also a beacon for the global research community. 🌐🚀

Publications Top Notes

📘 1. Evolution from CRS to SRS in a Multifunctional Ag/TiO₂@MoO₃/Ti Memristor for Emotional Perception Application

🧑‍🔬 Authors: Jiajia Qin, Bai Sun, Shuangsuo Mao, Yulong Yang, Yong Zhao
📅 Year: 2025
📊 Citations: 0
📰 Source: Applied Materials Today
💡 Theme: Emotional computing with multifunctional memristors 💖

🌟 2. Photoelectric Reservoir Computing Based on TiOx Memristor for Analog Signal Processing

🧑‍🔬 Authors: Zimu Li, Dengshun Gu, Xuesen Xie, Shukai Duan, Guangdong Zhou
📅 Year: 2025
📊 Citations: 0
📰 Source: ACS Applied Nano Materials
💡 Theme: Memristive analog signal computing powered by light 💡🔁

🌱 3. An Organic Artificial Synaptic Memristor for Neuromorphic Computing

🧑‍🔬 Authors: Kaikai Gao, Bai Sun, Bo Yang, Xiaoliang Chen, Jinyou Shao
📅 Year: 2025
📊 Citations: 0
📰 Source: Applied Materials Today
💡 Theme: Bio-inspired computing using organic materials 🧠🌿

🧠 4. Self-Rectifying Switching Memory Based on HfOx/FeOx Semiconductor Heterostructure for Neuromorphic Computing

🧑‍🔬 Authors: Haofeng Ran, Zhijun Ren, Jie Li, Shukai Duan, Guangdong Zhou
📅 Year: 2025
📊 Citations: 1
📰 Source: Advanced Functional Materials
💡 Theme: Efficient and selective memory switching for AI 🧠⚡

💡 5. Polymer Optoelectronic Synapse with Tunable Negative Photoconductance Memory for Sequential Signal Processing

🧑‍🔬 Authors: Zhaohui Yang, Dengshun Gu, Bochang Zhang, Shukai Duan, Guangdong Zhou
📅 Year: 2025
📊 Citations: 0
📰 Source: ACS Applied Electronic Materials
💡 Theme: Light-controllable memory synapses for AI logic 📲🔦

❤️‍🩹 6. TiOx-Based Implantable Memristor for Biomedical Engineering

🧑‍🔬 Authors: Chuan Yang, Hongyan Wang, Zelin Cao, Yong Zhao, Bai Sun
📅 Year: 2025
📊 Citations: 0
📰 Source: ACS Applied Materials and Interfaces
💡 Theme: Future-ready implantables for bio-interfacing tech 🧬🩺

🫁 7. A High-Stability Pressure-Sensitive Implantable Memristor for Pulmonary Hypertension Monitoring

🧑‍🔬 Authors: Zelin Cao, Yiwei Liu, Bai Sun, Jinyou Shao, Sida Qin
📅 Year: 2025
📊 Citations: 5
📰 Source: Advanced Materials
💡 Theme: Real-time pressure detection for advanced health monitoring 🌡️🫁

🧪 8. Investigation of the TaOx Unipolar Switching Memory on High-Efficiency Computing

🧑‍🔬 Authors: Chunrong Du, Xiaoyue Ji, Zhekang Dong, Shukai Duan, Guangdong Zhou
📅 Year: 2025
📊 Citations: 0
📰 Source: Journal of Alloys and Compounds
💡 Theme: Accelerating computing with advanced memory systems 💻⚙️

🔊 9. Flexible Artificial Vision Computing System Based on FeOx Optomemristor for Speech Recognition

🧑‍🔬 Authors: Jie Li, Yue Xin, Bai Sun, Shukai Duan, Guangdong Zhou
📅 Year: 2025
📊 Citations: 1
📰 Source: Journal of Semiconductors
💡 Theme: Bridging vision and sound through flexible AI tech 🎤👁️

Miljana Milic | Artificial Intelligence in Mathematics | Best Academic Researcher Award

Published on 01/04/202501/04/2025 by Math Scientist

Prof. Dr. Miljana Milic | Artificial Intelligence in Mathematics | Best Academic Researcher Award

University Full Professor at University of Nis, Faculty of Electronic Engineering, Serbia

Prof. Dr. Miljana Milic is a distinguished full professor at the University of Niš, specializing in applied mathematics, artificial intelligence, and electronic circuit design. With an extensive academic background, she holds MSc and PhD degrees in Electrical Engineering and has made significant contributions to neural networks, forecasting algorithms, and VLSI circuit design. Her research focuses on improving forecasting accuracy and system performance, with notable publications in high-impact journals such as Mathematics and Microelectronics Reliability. Prof. Milic’s work spans across numerous international collaborations, particularly in Southeast Europe and with renowned universities in Germany, the UK, and Greece. She has also contributed to multiple innovation projects and holds several patents. As a mentor, she has shaped the careers of emerging researchers while continuing her own impactful work in artificial intelligence and electronic systems. Prof. Milic’s research is recognized for its practical applications in energy systems, communications, and predictive modeling.

Professional Profile

Google Scholar
Scopus Profile
ORCID Profile

Education

Prof. Dr. Miljana Milic holds both MSc and PhD degrees in Electrical Engineering, reflecting her strong academic foundation. Her education has equipped her with deep expertise in applied mathematics, artificial intelligence, and electronic circuit design, providing a solid base for her pioneering research in forecasting methods and complex system modeling. Over the years, her academic journey has been complemented by her continuous pursuit of knowledge through collaborations with prestigious institutions globally. Her educational background has not only formed the foundation of her research but also contributed to her leadership in shaping future engineers and researchers, further enhancing her impact on both the academic and professional communities.

Professional Experience

Prof. Dr. Miljana Milic is a full professor at the University of Niš, Faculty of Electronic Engineering, where she has significantly influenced both research and education. She has led several research projects funded by government agencies and collaborated internationally on various technical solutions related to electronic systems, artificial intelligence, and forecasting. With a focus on bridging theoretical advancements and practical applications, her career has seen her at the forefront of developments in areas such as VLSI circuits, predictive modeling, and energy systems. Prof. Milic’s teaching and mentorship have further cemented her reputation as a respected figure in academia.

Research Interest

Prof. Dr. Milic’s research spans applied mathematics, artificial intelligence, and electronic circuit design. Her primary focus lies in developing advanced forecasting methods, particularly using neural networks to improve prediction accuracy in time series modeling. Additionally, her work explores VLSI circuit design, specifically in the areas of delay estimation and integrated circuit testing. Prof. Milic is also dedicated to exploring the intersection of AI and electronic systems, applying predictive models to various sectors such as energy management, wireless communication, and healthcare. Her interdisciplinary approach aims to narrow the gap between theoretical research and real-world applications, particularly in the context of modern technological challenges.

Awards and Honors

Prof. Dr. Miljana Milic has received numerous accolades for her contributions to research and academia. Her work has been recognized internationally, with her publications cited widely across the academic community. She has received funding for numerous research projects, including those from the Ministry of Education, Science, and Technological Development in Serbia, highlighting her role in advancing scientific innovation. As a mentor and leader, Prof. Milic has also earned recognition for her dedication to education and academic development, playing a pivotal role in shaping the next generation of researchers in her field. Her ongoing contributions to academic journals and international collaborations further solidify her standing in the global research community.

Conclusion

Prof. Dr. Miljana Milic is an accomplished academic whose research has made a significant impact in the fields of artificial intelligence, neural networks, and electronic circuit design. With a strong academic background and extensive professional experience, she has contributed to numerous international projects and innovations that bridge theory with real-world applications. Her work in predictive modeling, particularly in energy systems and communication technologies, showcases her interdisciplinary approach and commitment to advancing modern science and engineering. Through her dedication to research, teaching, and mentorship, Prof. Milic continues to inspire and shape the future of engineering, making her a highly deserving candidate for the Best Academic Researcher Award.

Publications Top Notes

Title: Decimation Filter Design
Authors: M. Sokolovic, B. Jovanovic, M. Damnjanovic
Year: 2004
Citation: 21
Source: 24th International Conference on Microelectronics (IEEE Cat. No …)
Title: Modular Design of Fast Leading Zeros Counting Circuit
Authors: N.Z. Milenkovic, V.V. Stankovic, M.L. Milic
Year: 2015
Citation: 19
Source: Journal of Electrical Engineering 66 (6), 329
Title: Oscillation-Based Analog Diagnosis Using Artificial Neural Networks Based Inference Mechanism
Authors: M.A. Stošović, M. Milić, M. Zwolinski, V. Litovski
Year: 2013
Citation: 19
Source: Computers & Electrical Engineering 39 (2), 190-201
Title: Performance Analysis of SSC/SC Combiner at Two Time Instants in the Presence of Rayleigh Fading
Authors: P. Nikolić, D. Krstić, M. Milić, M. Stefanović
Year: 2011
Citation: 17
Source: Walter de Gruyter GmbH & Co. KG 65 (11-12), 319-325
Title: Simulation of a Pick-and-Place Cube Robot by Means of the Simulation Software KUKA Sim Pro
Authors: D. Lukač
Year: 2018
Citation: 11
Source: 41st International Convention on Information and Communication Technology (ICT)
Title: Analog Filter Diagnosis Using the Oscillation-Based Method
Authors: M.S. Andrejevic, M. Milic
Year: 2012
Citation: 11
Source: Journal of Electrical Engineering 63 (6), 349
Title: Oscillation-Based Analog Testing—A Case Study
Authors: M. Milić, M.A. Stošović, V. Litovski
Year: 2011
Citation: 10
Source: Proceedings of the 34th International Convention MIPRO, 96-101
Title: Using VHDL Simulator to Estimate Logic Path Delays in Combinational and Embedded Sequential Circuits
Authors: M.L.J. Sokolovic, V.B. Litovski
Year: 2005
Citation: 10
Source: EUROCON 2005-The International Conference on “Computer as a Tool” 2, 1683-1686
Title: Arduino-Based Non-Contact System for Thermal-Imaging of Electronic Circuits
Authors: M. Milic, M. Ljubenovic
Year: 2018
Citation: 9
Source: Zooming Innovation in Consumer Technologies Conference (ZINC), 62-67
Title: From Artificial Intelligence to Augmented Age: An Overview
Authors: D. Lukac, M. Milic, J. Nikolic
Year: 2018
Citation: 6
Source: Zooming Innovation in Consumer Technologies Conference (ZINC), 100-103
Title: Daily Danube River Water Level Prediction Using Extreme Learning Machine Approach
Authors: M. Milić, N. Radivojević, J. Milojković, M. Jeremić
Year: 2024
Source: Facta Universitatis, Series: Automatic Control and Robotics 23 (1), 077-094
Title: Adaptation of the Feedback Transfer Function for Oscillation-Based Testing of Second-Order Active RC Filters
Authors: D. Mirković, M. Milić, M.S. Mirković
Year: 2024
Source: Facta Universitatis, Series: Automatic Control and Robotics 23 (1), 001-015
Title: Prediction of Reference Evapotranspiration Using Neural Networks
Authors: M. Milić, M. Jeremić, J. Milojković, M.S. Mirković
Year: 2024
Source: 11th International Conference on Electrical, Electronic and Computing Technologies
Title: Extended, Short-Term Neural Prediction Methodology for European Electricity Production by Type
Authors: M.L.J. Milic, J.B. Milojković, A.Z. Petrusic
Year: 2024
Source: ACTA POLYTECHNICA HUNGARICA 21 (8), 147-168
Title: A Defects Classification Algorithm for Hybrid OBT–IDDQ Fault Diagnosis in Analog CMOS Integrated Circuits
Authors: D.D. Mirkovic, M.L. Milić, M. Stanojlovic, V.Z. Petrovic
Year: 2024
Source: Journal of Circuits, Systems and Computers (2024)

Yaoshun Fu | Artificial Intelligence in Mathematics | Best Researcher Award

Published on 24/02/202524/02/2025 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

Published on 01/02/202501/02/2025 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

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