Andrei Lapets [ | ORCID | GitHub ]

Director of Research Development & Research Scientist Hariri Institute for Computing at Boston University

The Hariri Institute offers seed research funding for collaborative, interdisciplinary research efforts with a computational or data-driven component. Faculty can apply for research awards or nominate others for fellowships.

Secure MPC and Distributed Data Analytics

We are currently defining and building a general-purpose analytics platform that supports secure multi-party computation capabilities and static analysis of algorithm performance.

Salary Equity Analysis Platform

We are supporting 100% Talent: The Boston Women's Compact with a specialized secure multi-party computation web application for aggregate data collection and analytics. Data from the first collection has been announced and published in a report.

Small Brain

We are exploring how, given recent advances in the development and application of neural networks, their capabilities can be packaged to help programmers write more robust code.

Communications of the ACM Research Highlights

I serve as a coordinator for the Communications of the ACM Research Highlights Editorial Board. If you see a noteworthy publication in computer science with potential appeal to a broad audience, feel free to let me know.

Director Software & Application Innovation Lab (SAIL) at Boston University

Professional software development capacity and consulting are available to researchers (via research awards or applicants' own funds). Students interested in a software engineering internship are welcome to contact us.

Lecturer Department of Computer Science at Boston University

I teach or have taught department courses on logic and combinatorics, linear algebra, abstract algebra, programming language theory and compilers, data science, and secure multi-party computation. I also oversee undergraduate Computer Science students through UROP and directed studies, and serve as faculty adviser for students' Kilachand Honors College keystone projects.

Data Mechanics

A data repository and service platform to support educational and research efforts in data science and focusing on urban applications, being built concurrently with a graduate course on the topic.

Formal Verification, Usability, & Instruction

My research interests include the construction of formal modeling tools, automated verifiers, content management systems, and visualization libraries for use in classroom instruction.

  1. CS 591 B2 Secure Multiparty Computation at Scale

    ( Fal. 2016 )

  2. CS 591 L1 Data Mechanics for Pervasive Systems & Urban Applications

    ( Spr. 2017, Fal. 2016, Spr. 2016 )

  3. CS 320 Concepts of Programming Languages

    ( Fal. 2015, Spr. 2015, Fal. 2014, Fal. 2013 )

  4. CS 235 Algebraic Algorithms

    ( Spr. 2016, Fal. 2015, Spr. 2015, Fal. 2014, Spr. 2014, Fal. 2013, Fal. 2012 )

  5. MA 142 Introduction to Linear Algebra

    ( Spr. 2013, Spr. 2012 )

  6. CS 132 Geometric Algorithms

    ( Spr. 2013 )

  7. CS 131 Combinatoric Stuctures

    ( Spr. 2014 )

Scientific & Software Development Consultant

I have experience providing scientific consulting services to Raytheon BBN Technologies, where I've worked with groups specializing in cyber security and quantum information processing on DARPA and IARPA programs such as Automated Program Analysis for Cybersecurity (APAC), Crowd Sourced Formal Verification (CSFV), and Quantum Computer Science (QCS).

As a commercial software development consultant, I have experience developing systems that employ cloud computing services to deliver content and aggregate data on a large scale, implementing natural language processing algorithms, extending and customizing content management systems to serve as commercial web applications, and designing user interfaces.

Research Publications, Reports, & Other Materials

My broader research interests lie in modeling, assisting, and verifying formal and informal human reasoning, particularly within programming, mathematical modeling, and data analysis contexts.

I am currently interested in developing languages, tools, and platforms that help anyone working with distributed systems and data to formally reason about the code they author along relevant domain-specific dimensions such as resource cost and security.

Other papers, surveys, notes, comments, and exercises

  1. Notes on concepts of programming languages. (section notes)
  2. Problem sets for a course on functional programming.
  3. Introductory notes on the theory of computation. (section notes)
  4. Survey: formal proof languages and cryptography.
  5. Comments on selected papers. (Ph.D. depth exam)
  6. Transformations on Simple Programs with Proofs.
  7. Refining Algebraic Data Types.
  8. Algebraic Semantics of DSLs. (A.B. thesis)
  9. The Ideal Class Group. (expository paper)
  10. Notes on nexus numbers and the divisor function.
  11. Works frequently cited by me. (BibTeX)

Pertinent, interesting, or amusing books and articles by others

  1. Conceptual Spaces by Gärdenfors.
  2. Where Mathematics Comes From by Lakoff and Núñez.
  3. Society of Mind by Minsky.
  4. Faith, hope, and love describes a fundamental problem in contemporary software science.
  5. Algebraic Flowers provides a context for some of my other opinions.
  6. Article by Minsky on AI, psychology, and language.
  7. Richard W. Hamming talks about scientific research.


In 2010, I earned my Ph.D. as a student within the Department of Computer Science at the Boston University Graduate School of Arts and Sciences. I was involved with the iBench Initiative and the Church Project, both as a participant and an organizer.

2010Ph.D.Computer Science
2007S.M.Computer Science
2007A.B.Computer Science and Mathematics

Until 2007, I attended Harvard University, SEAS and concentrated in computer science and mathematics. During my time there, I also participated in the Programming Languages Group.


I usually take a particular kind of photograph.