معرفی
Dr. Jacob Howe is a Senior Lecturer in the Department of Computer Science at City, University of London. He holds a PhD in Computer Science (University of St Andrews, 1998), an MSc in Philosophy & History of Science (University of London, 1995), and a BSc in Mathematics (University of Warwick, 1994). His research focuses on static program analysis, formal methods, and their applications in software verification and security. Specific interests include abstract interpretation, constraint solving, and computational geometry.
Dr. Howe has led research projects such as the EPSRC-funded VIP project on Verification with Integer Polyhedra. His work bridges theoretical foundations and practical applications, emphasizing geometrical and logical techniques in program analysis. Recent contributions include advancements in widening for polyhedral analysis, neural network interpretability, and cybersecurity applications.
He has served on program committees for conferences like LOPSTR, WLPE, and PPDP, reflecting his academic leadership. Dr. Howe is also a Course Director for BSc and MSci Computer Science programs, underscoring his commitment to education and curriculum development.
