معرفی
Dr. William Eiers is an Assistant Professor in the Department of Computer Science at Stevens Institute of Technology. His research focuses on automated software verification, cloud security, and the intersection of AI with software engineering. He leads research on applying large language models to formal verification and policy synthesis.
He currently advises graduate students and teaches courses including Algorithms and Discrete Structures. His work has been published in top conferences including ICSE, ASE, and ISSTA. He holds multiple patents related to access control policy analysis.
Honors include UCSB Outstanding Graduate Student and teaching awards. He serves on program committees for major conferences including ICRA and IROS.
۰مقاله منتشرشده
William Eiers در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Tevfik BultanMax Planck Institute for Security and Privacy · استاد
Koushik SenNational and Kapodistrian University of Athens · استاد
Shuvendu K. LahiriMax Planck Institute for Software Systems · پژوهشگر
Raghavan KomondoorMax Planck Institute for Security and Privacy · دانشیار
Hamid BagheriNational and Kapodistrian University of Athens · دانشیار
Owolabi LegunsenMax Planck Institute for Security and Privacy · استادیار