Md Rashedul Hasan is a Ph.D. student in Computer Science and Graduate Research Assistant in the School of Computing at the University of Nebraska–Lincoln, where his research focuses on trustworthy AI, software verification, and system security. His work explores how to integrate formal methods and machine learning to build reliable, secure, and verifiable software systems, including automated repair of declarative specifications, transformer‑based analysis for ORM design, and neuro‑symbolic approaches to certified software synthesis.

Rashed holds a B.Sc. in Software Engineering from Daffodil International University and has been active in information security since 2013 as an information security researcher and OSINT expert. He has supported government organizations in Bangladesh in understanding cybercrime threats and defenses, worked with Detectify as a CrowdSource Researcher, and co‑founded CyberTrendz Inc., a cybersecurity startup that delivered vulnerability assessment, training, and public awareness programs. CyberTrendz Inc. was selected among the top 27 teams in Grameenphone Accelerator Season 3 and advanced to the top 19, running workshops and seminars in Dhaka, including at BDjobs Training’s corporate office.

Since 2019, Rashed has been a core researcher on bug bounty platforms such as Zerocopter, earning Hall of Fame listings and acknowledgments from organizations including the U.S. Department of Defense, T‑Mobile, Twitter, Snapchat, Mavenlink, Edmodo, Mobidea, Envoy, Magento, and others. From 2020 to 2021, he worked as an Assistant Maintenance Engineer with the Ministry of Defense of Bangladesh, contributing to cybersecurity solutions and broadcast distribution infrastructure. He has also participated in international training and academic programs in Bangladesh, Singapore, Malaysia, and Indonesia, and more recently in advanced programs such as SRI’s Summer School on Formal Techniques and the ICANN 79 NextGen initiative.

Alongside his research, Rashed remains engaged with the broader academic and professional community through publications, reviewing, and invited talks on topics such as OSINT and vulnerability detection with large language models. His long‑term vision is to build a career that blends research and education with technology translation, entrepreneurship, and impact investing, serving as a mentor and stakeholder in the global IT and cybersecurity ecosystem while helping to shape the next generation of trustworthy intelligent systems.

Selected Publications