Summary
Kinan Al Bab is an assistant professor of Computing & Data Sciences at Boston University and a computer systems researcher with 11 years of industry and academic experience spanning distributed systems, secure multi-party computation, and IoT data backends. He completed a PhD at Brown after hands-on roles building production-grade platforms—from SDN testing at Google to an Android SDK and backend engines at an early-stage startup. His work blends rigorous research (including collaborations at MIT CSAIL) with practical system design, notably implementing MPC-enabled backends for cross-device applications. Comfortable across languages and stacks (Java, Python/Flask, Postgres, Neo4j) he repeatedly bridges theory and deployment, turning formal models and prototypical tools into usable systems. Less obvious: he has deep experience in model-based software tooling and automated model repair, reflecting a knack for making complex verification ideas practically applicable.
11 years of coding experience
6 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Brown University
Bachelor of Science (B.S.) Computer Science, Bachelor of Science (B.S.) Computer Science at American University of Beirut
Masters of Science Computer Science, Masters of Science Computer Science at Boston University
English, Arabic