Jean-Francois Hocquette | Agricultural | Outstanding Scientist Award

Dr. Jean-Francois Hocquette | Agricultural | Outstanding Scientist Award

INRAE, France

Dr. Jean-François Hocquette is a distinguished Senior Scientist at the French National Institute for Research on Agriculture, Food and Environment (INRAE). He began his academic journey as an agricultural engineer in 1985, earning dual MSc degrees in Animal Nutrition and Endocrinology from Paris VI and Paris XI Universities, respectively, followed by a PhD in Endocrinology in 1990. Since joining INRA in 1991, Dr. Hocquette has made significant contributions to animal and meat science. He led the “Muscle Growth and Metabolism” research team (1999–2006) focusing on muscle biology, genomics, and beef quality, and later served as Director of the Herbivore Research Unit (2006–2010). Currently, he holds the title of Outstanding Class Research Director at INRAE and manages international collaborations with Australia and New Zealand. Dr. Hocquette’s research portfolio includes over 40 major projects, 290 scientific publications, and multiple books addressing beef and milk quality, consumer attitudes, and sustainable livestock practices. His pioneering work in muscle biomarkers, genomics, and beef tenderness has influenced premium beef production and international grading standards, including Meat Standards Australia. He has collaborated extensively with global experts in Europe, Australia, and Asia and maintains active editorial roles in leading journals such as Meat and Muscle Biology, Viandes et Produits Carnés, and BMC Genomics. A fellow of the French Academy of Agriculture and the French Meat Academy, Dr. Hocquette’s research has earned worldwide recognition, reflected in ~19,200 citations. His scientific leadership is further highlighted by organizing major international conferences, including the World Congress of Animal Science and the European Federation of Animal Science annual meeting in Lyon (2023).

Profiles: Scopus | Orcid | Google Scholar

Featured Publications

  • Innovations in beef production systems that enhance the nutritional and health value of beef lipids and their relationship with meat quality – N Scollan, JF Hocquette, K Nuernberg, D Dannenberger, I Richardson, … Meat Science 74(1), 17-33, 2006

  • Intramuscular fat content in meat-producing animals: development, genetic and nutritional control, and identification of putative markers – JF Hocquette, F Gondret, E Baéza, F Médale, C Jurie, DW Pethick Animal 4(2), 303-319, 2010

  • The myth of cultured meat: a review – S Chriki, JF Hocquette Frontiers in Nutrition 7, 507645, 2020

  • Effect of nutritional factors on biochemical, structural and metabolic characteristics of muscles in ruminants, consequences on dietetic value and sensorial qualities of meat – Y Geay, D Bauchart, JF Hocquette, J Culioli Reproduction Nutrition Development 41(1), 1-26, 2001

  • Live weight, body size and carcass characteristics of young bulls of fifteen European breeds – P Albertí, B Panea, C Sañudo, JL Olleta, G Ripoll, P Ertbjerg, … Livestock Science 114(1), 19-30, 2008

  • Enhancing the nutritional and health value of beef lipids and their relationship with meat quality – ND Scollan, D Dannenberger, K Nuernberg, I Richardson, S MacKintosh, … Meat Science 97(3), 384-394, 2014

  • Is in vitro meat the solution for the future? – JF Hocquette Meat Science 120, 167-176, 2016

  • New indicators of beef sensory quality revealed by expression of specific genes – C Bernard, I Cassar-Malek, M Le Cunff, H Dubroeucq, G Renand, … Journal of Agricultural and Food Chemistry 55(13), 5229-5237, 2007

 

Ksenia Klionovska | Aerospace | Best Researcher Award

Dr. Ksenia Klionovska | Aerospace | Best Researcher Award

German Aerospace Center (DLR) | Germany

Dr. Ksenia Klionovska is a German aerospace scientist specializing in guidance, navigation, and control (GNC) systems and autonomous visual navigation for space missions. Born in 1992 and based in Munich, she has established herself as a leading researcher at the German Aerospace Center (DLR), where she has been part of the On-Orbit Servicing group since 2020. Her work focuses on developing and verifying GNC systems using advanced 2D/3D sensor technologies for proximity operations, with hands-on experience in the European Proximity Operations Simulator (EPOS) and mission testing at the German Space Operations Center. In addition to her technical expertise, she serves as Deputy Project Manager and Scrum Master, applying agile methodologies to enhance project outcomes, while mentoring young scientists and students. Dr. Klionovska earned her PhD in Aerospace Engineering from the Universität der Bundeswehr München, where her doctoral research pioneered the use of Photonic Mixer Device (PMD) sensors for space debris removal and satellite servicing missions. She holds an Engineer degree with honors from the Moscow Aviation Institute, where her thesis contributed to advancements in spacecraft landing dynamics. Complementing her academic journey, she has completed research internships at the Technical University of Munich and Russia’s Mission Control Center, further broadening her expertise in flight dynamics and interplanetary trajectory design. Fluent in multiple languages and proficient in programming, Dr. Klionovska has received several awards, including the Best PhD Project Award (GISTAM 2016). Through her publications and international conference contributions, she continues to shape the future of autonomous space navigation and orbital servicing technologies.

Profiles: Scopus | Orcid

Featured Publications

  • Influence of non-symmetry of opening stabilizer’s consoles on the motion of uncontrolled aircraft.

  • Fault detection and identification technique in control systems with redundant inertial measurement unit.

  • Visual Navigation for Rendezvous and Docking using PMD Camera.

M. Shaheer Akhtar | Chemical Engineering | Academic Excellence Recognition Award

Prof. M. Shaheer Akhtar | Chemical Engineering | Academic Excellence Recognition Award

Jeonbuk National University | South Korea

Professor M. Shaheer Akhtar is a distinguished researcher and educator in the field of energy materials and nanotechnology, currently serving as a Full Professor at the Laboratory of Energy-AI and the New & Renewable Energy Materials Development Center (NewREC), Jeonbuk National University, Republic of Korea. He also holds a Visiting Professorship at La Trobe University, Melbourne, Australia, contributing to international collaborations in sustainable energy research. He earned his Ph.D. in Chemical Engineering from Jeonbuk National University in 2008, with a dissertation focused on electrode materials and polymer composite electrolytes for dye-sensitized solar cells. Prior to this, he obtained his M.Sc. and B.Sc. in Chemistry from D.D.U. Gorakhpur University, India. Over the years, he has advanced from Postdoctoral Researcher under the Brain Korea 21 program to Instructor, Assistant Professor, Associate Professor, and now Full Professor, demonstrating consistent academic and research leadership. Professor Akhtar’s research spans nanomaterials synthesis, solar cell development, charge storage, photoelectrochemical characterization, and advanced energy devices including sensors, batteries, and FETs. His scholarly influence is reflected in an impressive 12,000+ citations, an h-index of 60, and over 230 indexed publications, positioning him among leading experts in renewable energy materials. An inspiring teacher, he has designed and taught diverse courses ranging from solar cell fundamentals and catalysis to nanoscience and biomaterials. With strong technical expertise in spectroscopy, photocatalysis, and thin-film technologies, Professor Akhtar continues to drive impactful innovations bridging renewable energy, nanotechnology, and artificial intelligence for sustainable development.

Profiles: Scopus | Orcid

Featured Publications

  • Coherent anode based on mesoporous carbon integrated ZnCo₂O₄ composite for efficient lithium-ion batteries.

  • State-of-charge estimation and prediction by machine learning models using experimental dataset of lithium-ion batteries based on ionic liquid modified LiFSI electrolyte.

  • Coupling of ammonium dihydrogen phosphate additives with LiPF₆ electrolytes for improving thermal stability and performance of lithium-ion batteries.

  • Enhanced ethylenediamine detection using WO₃–BiVO₄ nanoflakes heterostructure with exceptional adsorption capabilities: experimental and theoretical studies.

  • Innovative organic electrolytes for enhanced energy density and performance in supercapacitors.

  • Possibility of highly efficient 2D–3D perovskite/CIGS tandem solar cells with over 30% efficiency.

  • Tailoring porous NiMoO₄ nanotube via MoO₃ nanorod precursor for environmental monitoring: electrochemical detection of micro-sized polyvinylchloride.

  • Nitrogen self-doped desiccated coconut–derived carbon dots as optical nanoprobe sensor for the detection of heavy metal ion Hg²⁺.

 

Manuel Toledo Padrón | Environmental Science | Best Researcher Award

Assist. Prof. Dr. Manuel Toledo Padrón | Environmental Science | Best Researcher Award

University of Cordoba | Spain

Manuel is a young and internationally recognized researcher specializing in odour emissions from organic waste and wastewater treatment. His scientific career began in 2015 with a competitive F.P.I. pre-doctoral contract at the University of Córdoba, where he launched a pioneering research line on odour impact assessment in waste management. During his doctoral studies, he published six JCR-indexed papers, presented at multiple international congresses, and undertook two research stays abroad, advancing knowledge on sulphur compound behaviour in air-sampling materials. His work represented a significant step forward in odour quantification and minimisation, essential for sustainable waste treatment. In 2018, he continued as a postdoctoral researcher at Córdoba, contributing to odour mitigation strategies in co-composting plants, with three additional JCR publications. A subsequent postdoctoral stay at Ghent University focused on biofiltration of volatile organic compounds and novel analytical methods for water odorant detection, resulting in two high-impact articles. Since 2021, Manuel has been a Juan de la Cierva postdoctoral researcher at the University of Valladolid and a member of the Institute of Sustainable Processes (ISP), focusing on odour prevention in sewage networks and treatment plants. He has participated in national and international projects, research contracts with companies, and teaching innovation initiatives, while supervising degree, master’s, and doctoral theses. With 21 scientific publications, 16 conference participations, editorial roles, and prestigious awards—including the extraordinary thesis prize and the Abbás Ibn Firnás award—Manuel has established himself as a leading researcher. His medium- and long-term goals center on advancing sustainable odour and GHG mitigation strategies for environmental protection and industrial application.

Profiles: Scopus | Orcid

Featured Publications

  • Odour prevention strategies in wastewater treatment and composting plants: A review  – Journal of Environmental Management, 2025.

  • Activated sludge process versus rotating biological contactors in WWTPs: Evaluating the influence of operation and sludge bacterial content on their odor impact  – Process Safety and Environmental Protection, 2022.

  • Optimization of activated sludge recycling and oxidized ammonium recycling as odour control strategies in wastewater treatment plants  – Journal of Water Process Engineering, 2022.

  • Enhanced removal of hydrophobic volatile organic compounds in biofilters and biotrickling filters: A review on the use of surfactants and the addition of hydrophilic compounds  – Chemosphere, 2021.

  • Study of the Tagus River and Entrepeñas reservoir ecosystem around the Trillo nuclear power plant using chemometric analysis: Influence on water, sediments, algae and fish  – Chemosphere, 2021.

  • Biofiltration of butyric acid: Monitoring odor abatement and microbial communities – Environmental Research, 2020.

  • Co-composting of chicken manure, alperujo, olive leaves/pruning and cereal straw at full-scale: Compost quality assessment and odour emission  – Process Safety and Environmental Protection, 2020.

 

Ankita Bhatiya | Nursing | Women Researcher Award

Dr. Ankita Bhatiya | Nursing | Women Researcher Award

Bhaikaka University | India

Dr. Ankitaben Rameshkumar Bhatiya is a dedicated researcher and academic professional specializing in Medical Laboratory Technology, with a strong educational foundation in biotechnology and laboratory sciences. She pursued her early education under the Gujarat Secondary and Higher Secondary Education Board, followed by a Bachelor of Science in Biotechnology from Sardar Patel University in 2010. She further strengthened her expertise with a Master of Science in Medical Laboratory Technology in 2012 from the L.P. Patel Institute, affiliated with Sardar Patel University, where she gained valuable exposure to diagnostic and analytical techniques. Currently, she is advancing her research career by pursuing a Ph.D. in Medical Laboratory Technology at Bhaikaka University, expected to be completed in 2024. Her academic journey has been marked by active participation in professional seminars and workshops, including discussions on recent advances in laboratory diagnosis of infectious diseases, biochemistry, AIDS awareness programs, and national-level symposia on quality improvement plans. These experiences have enriched her scientific outlook and strengthened her interest in translational research and diagnostic innovations. Dr. Bhatiya is known for her dedication, values, and commitment to continuous growth, both as a professional and as a contributor to institutional excellence. Her multilingual proficiency in English, Hindi, and Gujarati allows her to connect effectively with diverse academic and community groups. With a vision to blend her scientific knowledge with practical applications, she aspires to contribute significantly to healthcare research, diagnostics, and medical education in the coming years.

Profile: Google Scholar

Featured Publications 

  • Hematological and Bone Marrow Correlations in Pacytopenia: A Retrospective Correlational Study – Biomedicine, 2025.

  • Prenatal Cytogenetic Analysis: Methods, Applications and Clinical Implications – Futuristic Trends in Medical Sciences, 2024.

  • The Prevalence of Chromosomal Abnormalities Diagnosed Prenatally in an Anand Population – International Journal of Pharmaceutical Sciences and Research (IJPSR), 2024.

  • Correlation of Prenatal Biochemical Marker with Nuchal Translucency and Nasal Bone in First Trimester – Indian Obstetrics and Gynaecology, 2023.

  • Pre-Donation and Post-Donation Deferral of Whole Blood Donors in Khambhat Taluka, Anand, Gujarat, India – Journal of Survey in Fisheries Sciences, 2023.

  • Comparison of Live Birth Rate in IVF Patients with Severe OATS and Normozoospermic in Male Factor Infertility – International Journal of Advance Research, 2022.

  • A Role of FSH-LH-Prolactin Hormones Levels Among Infertile Women – International Journal of Scientific Research, 2021.

  • Hematology & Blood Banking Practical Manual – Co-authored with Miral Patel, 2021.

 

Gowrishankar M | Business | Excellence in Research

Mr. Gowrishankar M | Business | Excellence in Research

Knowledge Institute of Technolog|India

M. Gowrishankar is a passionate Assistant Professor and Incubation Manager with over eight years of experience in fostering innovation, entrepreneurship, and venture development among students. Based in Salem, India, he currently serves as Professor Incharge of Venture Development at the Excel Technology Business Incubator, Excel Engineering College, Kumarapalayam, where he has been instrumental in cultivating a vibrant entrepreneurial ecosystem. Through his leadership, he has successfully transformed student projects into startups, guided aspiring founders in crafting impactful business plans, and bridged academia with industry by building strong networks with experts, investors, and government agencies. Gowrishankar holds a Master of Business Administration (MBA) in Human Resource Management from Annamalai University and a Bachelor of Technology (B.Tech.) in Information Technology from Periyar Maniammai University. His teaching and mentoring roles emphasize entrepreneurship, innovation, and venture creation, enabling students to develop practical business skills alongside academic knowledge. Previously, he served as Assistant Professor at Muthayammal Engineering College, where he focused on entrepreneurship development, and as Manager of Training and Development at Periyar Technology Business Incubator, where he launched initiatives such as the PeTI shop and organized awareness camps funded by NI-MSME and EDI. With early career experience as a Quality Engineer at Sutherland Global Solutions for Dell processes, he combines corporate insights with academic and incubation expertise. Dedicated to empowering the next generation of changemakers, Gowrishankar continues to inspire students to pursue innovation-driven ventures, equipping them to become future leaders and contributors to India’s entrepreneurial growth.

Profile: Google Scholar

Featured Publications

  • Life Balance and Environmental Sustainability: Investigating the Link between Employee Well-being and Engagement in Green Work Practices – R. Ramya, M. Gowrishankar, B. Sivaranjini (2024)

  • Navigating Leadership Transition and Succession Planning in Ammachi’s Masala: Sustaining Legacy in a Family-Owned Food Processing Business – S.K. M. Gowrishankar, Pourab Das, Rakesh Kumar, Anjali Kumari (2024)

  • Empowering Sustainable Development Goals in the Banking Industry: A Comprehensive Analysis of Ethical Banking Practices and Economic Viability – G. Kiruthika, M. Gowrishankar, P.K.J. Kumar (2024)

  • Measuring the Impact of Business Incubators and Accelerators on Early Stage Startups – R.R.M. Gowrishankar (2024)

  • The Impact of Workplace Bullying on the Well-being of Workers and Human Services Organisations – R.R.M. Gowrishankar (2023)

Fateme Marandi | Engineering | Best Researcher Award

Assist. Prof. Dr. Fateme Marandi | Engineering | Best Researcher Award

Birmingham City University, United Kingdom

Dr. Fateme Marandi is a dedicated academic and researcher specializing in industrial engineering, supply chain management, and business optimization. Currently serving as a Lecturer in International Business at Birmingham City University (BCU), she brings more than a decade of combined academic and corporate experience. She earned her Ph.D. in Industrial Engineering from Tehran Polytechnic – Amirkabir University of Technology in 2019, focusing on production optimization, following an M.S. in Industrial Engineering from Tarbiat Modares University and a B.S. from Alzahra University. Her research has been widely published in reputable journals such as Technology in Society, International Journal of Production Research, and Computers & Industrial Engineering, contributing over 15 papers with nearly 300 citations. She has also authored book chapters currently under review and regularly reviews for high-ranking journals, including European Journal of Operational Research and Transportation Research Part E. Dr. Marandi has secured significant research funding, notably a DARe’s Flexible Fund award for sustainable transport infrastructure. She collaborates extensively with scholars in the UK, Sweden, France, Iran, India, and Canada, and maintains active partnerships with the NHS in Birmingham to address healthcare efficiency and patient satisfaction challenges. An enthusiastic educator, she leads undergraduate and postgraduate modules in supply chain and operations management, consistently achieving excellent outcomes. Her commitment to teaching excellence earned her shortlisting for the prestigious “I AM BCU Award” as both Inspirational Teacher and Supervisor of the Year. With her interdisciplinary expertise, Dr. Marandi continues to make impactful contributions to research, teaching, and institutional development.

Profiles: Orcid | Google Scholar

Featured Publications

  • Modeling the enablers for blockchain technology adoption in renewable energy supply chain.

  • Integrated multi-factory production and distribution scheduling applying vehicle routing approach.

  • Integrated production and distribution scheduling for perishable products.

  • Time series forecasting and analysis of municipal solid waste generation in Tehran city.

  • Network configuration multi-factory scheduling with batch delivery: a learning-oriented simulated annealing approach.

  • A new approach in graph-based integrated production and distribution scheduling for perishable products.

  • An Integrated approach based on MADM and MODM for supplier selection and assembler selection in supply chain management.

  • Integrated Production Scheduling in Dairy Products with Improved Particle Swarm Optimization.

Fengrui Hao | Computer Science | Best Researcher Award

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

 

Priya Saxena | Biochemistry | Best Researcher Award

Dr. Priya Saxena | Biochemistry | Best Researcher Award

South Dakota School of Mines and Technology, United States

Dr. Priya Saxena is a highly motivated biotechnologist pursuing her Ph.D. in Chemical and Biological Engineering at the South Dakota School of Mines and Technology (SDSM&T), with expected completion in May 2025 under the mentorship of Prof. (Dr.) Rajesh K. Sani. Her research bridges environmental microbiology, molecular biology, and computational biology, with a particular emphasis on sulfate-reducing bacteria (SRB), biofilm formation, and stress adaptation on metallic and non-metallic surfaces. She has gained expertise in anaerobic microbial culturing, biofilm reactor studies, nucleic acid extraction, nanopore sequencing, transcriptomics, proteomics, and single-cell genomics. Priya has also developed custom pipelines for omics data analysis, identified essential genes through comparative genomics, and engineered GFP-tagged bacterial strains to study biofilm dynamics. Beyond her research, she has demonstrated strong leadership by mentoring undergraduate and graduate students, teaching microbiology and bioinformatics courses, and assisting in grant writing. Her scholarly contributions include 14 peer-reviewed publications, two book chapters, and several conference presentations. With technical proficiency in advanced analytical tools such as GC-MS, HPLC, SEM, CLSM, and bioreactor operations, she combines wet-lab and computational approaches to address microbial corrosion and biofilm-associated challenges. Priya’s work reflects innovation, interdisciplinary collaboration, and a strong potential for advancing biotechnology and microbial engineering.

Profile: Google Scholar

Featured Publications

  • Sulfate-Reducing Bacteria: Unraveling Biofilm Complexity, Stress Adaptation, and Strategies for Corrosion Control – Science of the Total Environment

  • Comparative Transcriptomics Analysis of the Oleidesulfovibrio alaskensis G20 Biofilms Grown on Copper and Polycarbonate Surfaces – Biofilm

  • pH-dependent Genotypic and Phenotypic Variability in Oleidesulfovibrio alaskensis G20 – Applied and Environmental Microbiology

  • Impact of Graphene Layers on Genetic Expression and Regulation within Sulfate-Reducing Biofilms – Microorganisms

  • Influence of Copper on Oleidesulfovibrio alaskensis G20 Biofilm Formation – Microorganisms

Vincenzo Arceri | Computer Science | Best Researcher Award

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.