Professor Websites

Dan Lerman is a Columbia professor and Human Intelligence expert. He is a teacher and private tutor, considered one of the best in the world at connecting with adolescents, igniting academic passions, and inspiring students to achieve higher test scores and grades through meaningful personal growth. He began his career as a Colet Fellow at St. Paul’s School in London and further developed his approach at Saint Ann’s School in Brooklyn. He has also worked at Kaplan, Manhattan GMAT, and Latitude Tutors. He specializes in creative problem solving and holds a PhD in Cognitive Science in Education. He founded the League of Exceptional Tutors in 2023. He created the world’s first tutoring course at the University level. He is a content creator for YouTube (Scalar Learning) and has a digital Skool Community of global learners (J.E.D.I. Training for the SAT).

Kristopher Micinski is an assistant professor in the Electrical Engineering and Computer Science department at Syracuse University. His research focuses on designing scalable logical reasoning systems for code analysis, analytic reasoning, and symbolic AI. He is interested in extensions to Datalog and applying these engines to reverse engineering, static analysis, medical reasoning, and related fields. His work also includes logics for security and formal methods to reason about a program's (in)security, as well as programming language semantics and analysis. He is looking for motivated undergraduate, masters, and doctoral students to work on research in programming languages and security.

James Bornholt is a senior principal engineer on the S3 team at Amazon Web Services. He works on the S3 Tables analytics service and S3 Vectors vector storage service, open-source clients like Mountpoint for Amazon S3 and S3 Connector for PyTorch, and backend storage systems including ShardStore. He also develops the Shuttle framework for testing concurrent Rust code at AWS and elsewhere. Before AWS, he was a professor of computer science at the University of Texas at Austin. His research interests are in formal methods, programming languages, and systems, with a focus on making systems software faster and safer using automated verification and synthesis techniques. He has a PhD in computer science from the University of Washington. His work has received best paper awards from SOSP, OSDI, ASPLOS, and EuroSys.

Mior is a designer and developer. He is passionate about building experiences that are accessible, inclusive, and human-centered. He enjoys working across the stack, from design to development, to create products that solve real problems. He is currently building things at Shopify.

Vangel V. Ajanovski is a Full Professor at the Faculty of Computer Science and Engineering, Saints Cyril and Methodius University, in Skopje, Republic of North Macedonia. He holds a Doctor of Science in Informatics (PhD). His research interests include recommender systems, learning analytics, and information systems. He teaches courses on databases, internet technologies, big-data analytics, and information systems. Ajanovski received a Magister of Science in Informatics. He worked at the Institute of Informatics, including as Head of the Computing Center. He also authored the first book on the Windows operating system in Macedonia.

Prof. Luc Rocher is an Associate Professor, Senior Research Fellow, and UKRI Future Leaders Fellow at the Oxford Internet Institute, University of Oxford. They lead the Synthetic Society Lab, a research group that conducts human-centred computing research to understand how data, digital infrastructure, and algorithms affect society. Prior to joining Oxford, Luc received a PhD from the Université catholique de Louvain and worked as a researcher at the Data Science Institute and Computational Privacy Group of Imperial College London, at the ENS de Lyon, and at the MIT Media Lab. Their work has been published in peer-reviewed conferences and journals, and has been covered by newspapers and featured in media outlets. Their research has been referenced by organizations and has led to changes to the UK's Data Protection Bill. Luc was General Chair of HotPETS and Area Chair for ACM FAccT. They lead the Observatory of Anonymity, an interactive website in 89 countries.