Bashar Nuseibeh

FormIDEAble achieves a groundbreaking balance between safety and social awareness in autonomous systems, demonstrating that formal guarantees can coexist with effective human-agent cooperation.

Failure can be a powerful tool for uncovering the true requirements of machine learning systems, leading to better alignment with stakeholder needs.

RSEs aren't just coders; a strong collective identity shapes their professional wellbeing, revealing a crucial social dimension in software engineering.