معرفی
Jeffrey Foster is a Professor and Chair of the Department of Computer Science at Tufts University's School of Engineering. He holds a Ph.D. in Computer Science from the University of California, Berkeley (2002). His research focuses on programming languages, software engineering, and security, with notable contributions to program synthesis, static analysis, and formal verification. He leads efforts in developing tools like Dafny-based synthesis frameworks and Ruby type systems.
His work emphasizes practical applications of formal methods, including security policy analysis for Android systems and improving software reliability through automated testing and machine learning-driven triaging. He has been recognized with awards such as the Outstanding Director of Graduate Studies Award (2017).
Foster’s research spans theoretical advancements (e.g., abstract interpretation-guided synthesis) and empirical studies (e.g., REST API design practices). His publications address challenges in dynamic languages, static analysis, and ethical considerations in algorithmic systems like hiring tools. He actively contributes to the academic community through conference organization and pedagogical innovations in computer science education.
