Fengrui Hao | Computer Science | Best Researcher Award

Published on by Academic Excellence

Dr. Fengrui Hao | Computer Science | Best Researcher Award

Jinan University, China

Dr. Fengrui Hao is an emerging researcher in the field of computer science, currently pursuing his Ph.D. in Cyber Security at the School of Information Science and Technology, Jinan University, Guangzhou, China. He holds a B.S. degree in Information Management and Information Systems and an M.S. degree in Computer Technology from Guilin University of Electronic Technology, which laid the foundation for his deep engagement with advanced computing and security research. His primary focus lies in adversarial machine learning and trustworthy artificial intelligence, where he has made significant contributions to strengthening AI systems against vulnerabilities and ensuring fairness, transparency, and robustness in their applications. With more than ten publications in prestigious journals and conferences such as IEEE Transactions on Dependable and Secure Computing (TDSC), IEEE Transactions on Industrial Informatics (TII), and IEEE Transactions on Knowledge and Data Engineering (TKDE), Dr. Hao has established himself as a promising scholar. His research contributions include the development of novel attack and defense mechanisms, fairness-aware algorithms, and privacy-preserving techniques for graph data publishing, all of which are shaping the foundation of secure and ethical AI. His work has been recognized through two completed or ongoing research projects, one consultancy project, and an impressive record of sixteen patents under process. With a citation index of twenty, his influence in the field continues to expand as he pursues innovative research directions. Dr. Hao’s dedication to advancing adversarial learning and trustworthy AI reflects his vision of creating resilient, secure, and human-centered AI technologies for the future.

Profiles: Scopus | Orcid

Featured Publications

  • FBA: Fairness Backdoor Attack on Graph Neural Networks – IEEE Transactions on Dependable and Secure Computing, 2025, DOI: 10.1109/TDSC.2025.3563668

  • dK-DGDP: A Differential Privacy Approach on Directed Social Network Graphs – Computers & Security, 2025, DOI: 10.1016/j.cose.2025.104647

  • GCPA: GAN-Based Collusive Poisoning Attack in Federated Recommender Systems – IEEE Transactions on Knowledge and Data Engineering, 2025, DOI: 10.1109/TKDE.2025.3579807

  • CBAs: Character-level Backdoor Attacks against Chinese Pre-trained Language Models – ACM Transactions on Privacy and Security, 2024, DOI: 10.1145/3678007

  • Collusive Model Poisoning Attack in Decentralized Federated Learning – IEEE Transactions on Industrial Informatics, 2024, DOI: 10.1109/TII.2023.3342901

 

Vincenzo Arceri | Computer Science | Best Researcher Award

Published on by Academic Excellence

Dr. Vincenzo Arceri | Computer Science | Best Researcher Award

Dr. Vincenzo Arceri | Computer Science | University of Parma | Italy

Dr. Vincenzo Arceri is an accomplished computer scientist and Assistant Professor at the University of Parma, Italy. His expertise lies in abstract interpretation, static program analysis, blockchain security, and formal methods for ensuring software reliability. With a strong academic background and multiple research fellowships, he has established himself as a leading voice in advancing secure, dependable software systems. Dr. Arceri has contributed significantly to the development of static analysis tools, including LiSA, a generic library for static analysis, and EVMLiSA, a specialized analyzer for Ethereum smart contracts. His research extends into improving the quality and security of large language model–generated code, showcasing his commitment to addressing emerging challenges in artificial intelligence and blockchain domains. Recognized internationally through invitations to prestigious Dagstuhl Seminars, awards, and collaborations, Dr. Arceri combines research excellence with impactful teaching, mentoring students in programming and fostering the next generation of computer scientists.

Author Profiles

Orcid | Google Scholar

Education

Dr. Vincenzo Arceri pursued his academic journey at the University of Verona, Italy, where he obtained a Bachelor’s Degree in Computer Science in 2014 with a thesis on semantic analysis techniques for JavaScript. He continued his studies with a Master’s Degree in Computer Science, graduating cum laude in 2016, with a thesis focusing on static type analysis for PHP. Building upon his foundation, he earned his Ph.D. in Computer Science in 2020, presenting a dissertation titled “Taming Strings in Dynamic Languages – An Abstract Interpretation-based Static Analysis Approach.” His doctoral work, supervised by Prof. Isabella Mastroeni, was critically acclaimed by international reviewers such as Prof. Sergio Maffeis and Prof. Xavier Rival. Through this academic pathway, Dr. Arceri specialized in the rigorous application of abstract interpretation to real-world programming challenges, setting the stage for his future contributions to static analysis, software verification, and blockchain-related applications.

Experience

Dr. Vincenzo Arceri began his research career as a Postdoctoral Researcher at Ca’ Foscari University of Venice (2019–2021), where he worked on IoT applications in smart cities and the development of static analysis tools for Go, particularly in the context of blockchain smart contracts. His research there focused on formal verification and the precision–efficiency trade-offs in string analysis. In September 2021, he joined the University of Parma as an Assistant Professor, where he currently teaches Fundamentals of Programming to undergraduate students while continuing his research in advanced program analysis. His contributions include designing LiSA, a generic static analysis framework, and EVMLiSA, a static analyzer for Ethereum Virtual Machine bytecode. He has also explored static analysis for unsafe Rust programs and LLM-generated code. Dr. Arceri’s professional trajectory reflects a balance of teaching, applied research, and international collaboration with academic and industry partners.

Awards and Honors

Dr. Vincenzo Arceri’s research excellence has been recognized through prestigious awards and honors. In 2019, he received the Best Paper Award at VALID 2019 for his contribution to the operational semantics of Solidity, highlighting his innovative work in blockchain verification. His international reputation was further affirmed with scholarships such as the Marktoberdorf Summer School in 2018, which focused on engineering secure and dependable software systems. In 2023, he was awarded INdAM GNCS funding to support his participation in international conferences, workshops, and seminars. Furthermore, Dr. Arceri has been invited to the distinguished Dagstuhl Seminars in 2023 and 2025, gatherings known for shaping the future of computer science research. These invitations underscore his standing as an expert in abstract interpretation and static analysis. Collectively, these accolades reflect his academic rigor, groundbreaking contributions, and the international recognition he has garnered for advancing software reliability and security.

Research Focus

Dr. Vincenzo Arceri’s research centers on the application of abstract interpretation to improve the security, reliability, and correctness of software systems. He has dedicated his career to advancing static program analysis for a wide range of programming paradigms, from dynamic languages such as JavaScript and PHP to domain-specific blockchain applications. His work also addresses the challenges of analyzing unsafe Rust code and verifying smart contracts in Go and Ethereum. Notably, he has developed LiSA, a multilanguage static analysis framework, and EVMLiSA, a static analyzer tailored to EVM bytecode, demonstrating his ability to merge theoretical rigor with practical implementations. His recent projects explore the safety of LLM-generated code, aiming to ensure that AI-driven programming integrates robust security principles. By balancing precision and performance in static analysis, Dr. Arceri’s work provides a critical foundation for future-proof software engineering, cross-blockchain applications, and secure AI-integrated development practices.

Publications

  • Static analysis for dummies: experiencing LiSA.

  • Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval.

  • LiSA: a generic framework for multilanguage static analysis.

  • Static Program Analysis for String Manipulation Languages.

  • Static analysis for ECMAScript string manipulation programs.

  • Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

  • Information flow analysis for detecting non-determinism in blockchain.

  • Twinning automata and regular expressions for string static analysis.

  • Abstract domains for type juggling.

  • Relational string abstract domains.

Conclusion

Dr. Vincenzo Arceri exemplifies the qualities of a modern computer scientist—innovative, collaborative, and deeply committed to advancing the reliability of digital systems. His work bridges theory and practice, from foundational contributions in abstract interpretation to impactful tools for blockchain verification and AI-generated code analysis. With a growing body of influential publications, awards, and teaching contributions, he stands as a leading researcher shaping the future of secure and dependable software systems.

 

Ashok Ghimire | Computer Science | Research Excellence Award

Published on by Academic Excellence

Mr. Ashok Ghimire | Computer Science | Research Excellence Award

Mr. Ashok Ghimire | Computer Science | Westcliff University | United States

Ashok Ghimire is a dynamic researcher and professional specializing in artificial intelligence, data analytics, and financial technology. Born in Nepal and currently based in Anaheim, California, he has demonstrated a strong commitment to advancing computer science applications in banking, finance, and business intelligence. With over a decade of academic and professional experience, he has transitioned from banking operations and financial management in Nepal to advanced research in AI-driven data analytics in the United States. His work emphasizes leveraging machine learning, quantum computing, and big data to address critical challenges such as fraud detection, financial inclusion, and risk management. Ashok has earned recognition for his scholarly contributions, securing multiple scholarships and publishing extensively in reputed journals. In addition to his academic excellence, he contributes to the research community as a peer reviewer and conference evaluator. His forward-looking vision integrates technology and finance to create sustainable and secure digital ecosystems.

Author Profiles

Orcid | Google Scholar

Education 

Ashok Ghimire has pursued a strong academic journey combining business, finance, and technology. He completed his high school and higher secondary education in Nepal with distinction before receiving an ICCR-funded scholarship to study for a Bachelor of Business Administration in Finance at MITSOM, Pune, India, where he graduated with distinction. Continuing his academic path, he earned an MBA in Finance and Marketing at Surya World, India, achieving high distinction and receiving support through Surya Pharmaceuticals’ CSR scholarship. Ashok’s academic excellence has been recognized with multiple scholarships at each stage of his education. Building on this foundation, he is currently pursuing a Doctor of Business Administration (DBA) in Business Intelligence and Data Analytics at Westcliff University, Irvine, California. His doctoral studies reflect his growing specialization in artificial intelligence, machine learning, and big data analytics, preparing him to make innovative contributions to the U.S. financial technology and banking sectors.

Experience 

Ashok Ghimire has built a diverse professional background, beginning his career as a Management Trainee at CG Electronics, Nepal, where he gained experience in sales enhancement, product imports, and brand management. He later advanced to Assistant Manager and then Deputy Manager at Nepal Bank Limited, one of the country’s leading financial institutions. During his tenure, he managed credit assessments, financial risk evaluations, loan negotiations, and approvals of major projects, including hydroelectric power initiatives. His responsibilities also extended to customer relations, compliance, staff supervision, and branch operations. Ashok’s professional expertise lies in analyzing business proposals, conducting industry research, and making strategic financial recommendations. Since moving to the U.S., he has focused on academic research and peer reviewing for international journals and conferences, strengthening his global engagement in computer science, AI, and data analytics. His career path reflects a seamless integration of financial management and emerging digital technologies.

Awards and Honors 

Ashok Ghimire’s academic and professional journey is distinguished by numerous awards and recognitions. He received scholarships at every stage of his higher education, beginning with Einstein Academy in Nepal, where he was awarded for his higher secondary studies. He later received the prestigious Indian Council for Cultural Relations (ICCR) scholarship for his undergraduate degree in Finance at MITSOM, Pune, India. His postgraduate studies were supported by a CSR scholarship from Surya Pharmaceuticals, enabling him to complete his MBA in Finance and Marketing with distinction. At Westcliff University, he has been recognized on the Dean’s List with Distinction and awarded the Founder’s Scholarship for Business during his doctoral studies. Beyond academia, Ashok has secured a UK Design Patent for an AI-based Facial Recognition Device (2025) and has established himself as an active peer reviewer for leading international journals and conferences, highlighting his global recognition as a scholar.

Research Focus 

Ashok Ghimire’s research focus lies at the intersection of computer science, artificial intelligence, and financial technology. His work explores how AI, machine learning, and data analytics can transform the U.S. financial sector, particularly in enhancing fraud detection, anti-money laundering (AML) compliance, financial crime prevention, and risk management. He has published extensively on AI-driven predictive modeling, big data in banking, quantum computing applications in fraud detection, and the role of sentiment analysis in cryptocurrency markets. His research also extends to healthcare, education, and agricultural industries, where AI-driven solutions are shaping innovation and efficiency. Through his doctoral studies, he aims to strengthen the adoption of business intelligence and decision-support systems in organizations, especially in resource-constrained environments. His future vision is to integrate computer science with financial strategies to support economic inclusion, transparency, and security, ultimately contributing to both national priorities and global digital transformation.

Publications 

  • Exploring Benefits, Overcoming Challenges, and Shaping Future Trends of AI in Agriculture.

  • Behavioral Intention to Adopt Artificial Intelligence in Educational Institutions.

  • Exploring the Latest Trends in AI Technologies: Current State and Impacts.

  • Applying TAM in IT Systems to Evaluate Decision Support Adoption.

  • Advances in Smart Health Care: Paradigms, Challenges, Case Studies.

  • Predictive Models Performance in Financial Services for At-Risk Customers.

  • Harnessing Big Data with AI-Driven BI Systems for Real-Time Fraud Detection.

  • AI-Powered Anomaly Detection for AML Compliance in US Banking.

  • Quantum Computing in US Banking: Future of Fraud Prevention.

  • Multi-Factor Forex Hedging Models with Reinforcement Learning.

  • Organizational Factors Influencing Predictive Analytics Adoption for FX Exposure.

  • Role of AI-Based Sentiment Detection in Forecasting Cryptocurrency Market.

  • Leveraging AI for Trade-Based Money Laundering Detection.

  • AI-Driven Drug Repurposing for Oncology Treatments.

  • Meta-Synthesis of Barriers to Decision Tree Analytics in Payment Fraud.

  • Enhancing Real-Time Fraud Detection Using RNNs.

  • Sociotechnical Framework for Business Intelligence Adoption in SMEs.

  • Data Analytics in Judicial Decision-Making.

Conclusion

Ashok Ghimire represents a new generation of scholars who bridge finance, technology, and computer science to drive innovation in real-world contexts. His academic journey, professional expertise, and extensive publications reflect a strong foundation in both theory and practice. Through his pioneering research on artificial intelligence, data analytics, and financial risk management, he is actively shaping the future of digital finance and business intelligence. His achievements, including international scholarships, patents, and peer-review contributions, highlight his credibility and leadership in the field. Positioned at the intersection of academia and industry, Ashok continues to contribute toward building smarter, safer, and more inclusive financial systems. His forward-looking vision makes him a strong candidate for recognition in the domain of Computer Science, particularly where technology and finance converge to address global challenges.