Rashed H.

Computer Science Researcher and AI Enthusiast.

PhD candidate @UNLincoln · Trustworthy AI, agent security & formal methods

[Rashed H. @hasan1991007]

@1tymmp Thank you, Our One page presentation will be shown during the conference

[Rashed H. @hasan1991007]

Excited to share that our paper on Reinforcement Learning Guided optimization was accepted and will be presented at ASE 2026. This work features AI for SE.

#ASE2026 #SoftwareEngineering

[Rashed H. @hasan1991007]

#ASE2026 #ACM #SIGSOFT #SoftwareEngineering #AIforSE #ReinforcementLearning #CyberSecurity #VulnerabilityDetection #MetaLearning #LLM #PhDLife #AcademicLife #Research #MetaMorphSES #UNL #Nebraska #CollegeOfEngineering

[Rashed H. @hasan1991007]

Our paper, Self-Discovering Security Oracles: Meta-learning Vulnerability Detection Strategies through Adversarial Self-Play, introduces MetaMorphSES.

[Rashed H. @hasan1991007]

Paper Access: https://t.co/a1uMzOsZ3z
Presentation Video: https://t.co/Awdz9xWzsA
Artifact Access: https://t.co/ciC6R2dhF2
Conference Page: https://t.co/FCSIW6YukX

@UNLincoln @UNLresearch @UNLComputing

[Rashed H. @hasan1991007]

@SimranKaurkya7 Thank you

[Rashed H. @hasan1991007]

@hunscjef1 I agree , tradeoff analysis is expensive which is why we need learning based approaches to accelerate the pipeline

[Rashed H. @hasan1991007]

Paper Access: https://t.co/DTErn0AkBj
Presentation Video: https://t.co/hjx3ODsWkk
Artifact Access: https://t.co/VeZUPaWw0v
Conference Page: https://t.co/3yEIFMF6Y2

@UNLincoln @UNLComputing @NebEngineering

[Rashed H. @hasan1991007]

ReinforceORM formulates ORM schema synthesis as multi-objective optimization solved with reinforcement learning and Alloy-based bounded formal verification. The RL agents search mapping strategies that balance insertion time, query performance, and storage.