William Eiers

William Eiers is an esteemed Assistant Professor at the Stevens Institute of Technology, where he contributes to the Charles V. Schaefer, Jr. School of Engineering and Science within the Department of Computer Science. With a robust academic foundation, William earned his PhD in Computer Science from the University of California, Santa Barbara. His research expertise spans across automated verification, cloud security, software engineering, and formal methods, areas in which he has made significant scholarly contributions. Throughout his academic journey, William has been the recipient of numerous accolades, including the Outstanding Graduate Student and Outstanding Teaching Assistant awards at UCSB. These honors underscore his commitment to excellence in both research and education. His innovative spirit is further evidenced by his involvement in patenting inventions that enhance access control policies, showcasing his ability to translate theoretical insights into practical applications. William's scholarly output includes a series of influential publications that delve into critical aspects of computer science. His work on quantitative policy repair and access control permissiveness analysis has been particularly impactful, providing novel solutions to complex problems in the field. Additionally, his research on model counting for program analysis has contributed to advancing the understanding of software verification processes. In his role as an educator, William is dedicated to fostering a dynamic learning environment that encourages critical thinking and innovation. He is passionate about mentoring students and guiding them in their academic and professional pursuits. His teaching philosophy emphasizes the integration of theoretical knowledge with practical skills, preparing students to tackle real-world challenges in the ever-evolving landscape of computer science. William continues to push the boundaries of his research interests, exploring new methodologies and technologies that can enhance the security and reliability of cloud-based systems. His ongoing projects aim to address emerging issues in cloud security and software engineering, reflecting his commitment to advancing the field and contributing to the broader scientific community.