Andrei Lapets [ | | | | | | ORCID ]

Applied Scientist, Founder, and Advisor

I am currently helping organizations integrate novel technologies into real-world infrastructure in the areas of cryptography, data science, and formal methods.

Chief Science Officer & Co-Founder
Choose K Corp. [ | | ]

Choose K helps build production-ready encrypted workflows for finance and Web3 applications.

Chief Technology Officer
Nillion [ | | ]

Nillion builds and maintains a secure computation network that enables decentralized workflows involving high-value data.

Principal
Reity LLC [ | | ]

Reity provides consulting services and other forms of assistance to organizations and initiatives that work at the boundaries between computer science research efforts and their practical applications and impacts.

Member & Technical Committee Chair, Board of Directors
MPC Alliance [ | | ]

The MPC Alliance is a consortium of both early-stage and large organizations that are working together to accelerate awareness, acceptance, and adoption of secure multi-party computation (MPC) technologies.

Contributor
IAB Tech Lab [ | ]

The IAB Tech Lab is a non-profit research and development consortium that produces standards, software, and services for the digital advertising industry (including those that leverage privacy-enhancing technologies).

Member, Halo Industry Technical Advisory Group
World Federation of Advertisers [ | ]

The World Federation of Advertisers (WFA) is a peer-to-peer network of brands and advertising associations collaborating on technology initiatives (such as privacy-preserving cross-media measurement infrastructures).

VP, Engineering & Applied Cryptography January 2022 — June 2024 Magnite [ | | ]

The advertising platform provider Magnite incorporated novel cryptographic techniques into large-scale advertising technology infrastructure and services.

Chief Science Officer & Co-Founder October 2019 — December 2021 Nth Party, Ltd. (acquired by Magnite) [ | | | ]

Nth Party adapted secure multi-party computation protocols within a number of verticals and contributed to open-source frameworks and standards.

Director of Research Development & Faculty Fellow Hariri Institute for Computing [ ] at Boston University

From 2014 until 2019, I worked to support a broad community of faculty, students, and external organizations across many disciplines as they envisioned, planned, and executed computational and data-driven research efforts. I also led and co-led a number of interdisciplinary research agendas in areas such as cybersecurity and digital health. 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.

Accessible and Scalable Multi-Party Computation [ ]

Collaborators at BU and other organizations and institutions continue to build open-source libraries and platforms that enable practical web- and cloud-based MPC applications. This work has been supported by NSF Grants #1718135 (former PI) and #1739000 (former co-PI), IARPA HECTOR (former co-PI), as well as a grant from the Honda Research Institutes (former PI).

Communications of the ACM Research Highlights

I have served 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.

Mobile & Electronic Health ARC

This affinity research collaborative (ARC) is a network of researchers interested in using web and mobile technologies to enhance and extend health interventions.

Digital Health Initiative (DHI)

This initiative aims to catalyze innovative solutions for the complex problems facing the health sector. Funding opportunities are available for faculty pursuing research efforts relevant to the mission of the DHI.

Founding Director Software & Application Innovation Lab [ | | ] at Boston University

From 2015 until 2019, I led the growth and operation of a research software engineering lab within the Hariri Institute. The lab consists of an experienced team of professional consultants and software engineers; it is open to collaborating on research efforts requiring computational, data science, or software engineering expertise (at any stage). Students interested in a software engineering internship are welcome to contact SAIL.

Synthetic Biology and Computation

SAIL is collaborating with CIDAR within the context of efforts such as the DARPA SD2 program and the Living Computing Project to develop databases, frameworks, languages, and algorithms that enable automated synthetic biology workflows.

Secure Multi-Party Computation Deployments

SAIL helps organizations such as the Boston Women's Workforce Council and the Greater Boston Chamber of Commerce use secure multi-party computation for aggregate data analysis initiatives. Results from past deployments have been announced and published in reports.

Digital & Electronic Health

SAIL has helped researchers modernize computerized adaptive testing platforms, build and deploy electronic health and public health mobile apps, and design and develop treatment monitoring platforms.

Data & Computation in the Social Sciences

SAIL team members have contributed to the design, implementation, and enhancement of data platforms, data analysis tools, and mobile applications for projects in domains such as political science, economics, and sociology.

Associate Professor of the Practice Department of Computer Science at Boston University

Working within a number of roles from 2012 until 2019, I have taught department courses on logic and combinatorics, linear algebra, abstract algebra, programming language theory and compilers, data science, secure multi-party computation, and software engineering. I have also overseen undergraduate computer science students through UROP and directed studies, and have served 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, with a focus on urban applications, was built concurrently with a graduate course in which students collaborated on projects with local organizations and governments.

Formal Verification, Usability, & Instruction [ ]

My past research efforts include the construction and evaluation of formal modeling tools, automated verifiers, content management systems, and visualization libraries for use in classroom instruction of logic, linear algebra, abstract algebra, and theory of programming languages.

  1. CS 591 V1/B2 Secure Multiparty Computation at Scale

    ( Fal. 2017, Fal. 2016 )

  2. CS 591 L1 Embedded Languages & Frameworks

    ( Fal. 2019 )

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

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

  4. CS 506 Computational Tools for Data Science

    ( Fal. 2018 )

  5. CS 504 Data Mechanics

    ( Spr. 2019 )

  6. CS 491 L1 Experiential Lab in Software Engineering (ELSE)

    ( Fal. 2017 )

  7. CS 320 Concepts of Programming Languages

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

  8. CS 235 Algebraic Algorithms

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

  9. CS 132 Geometric Algorithms

    ( Spr. 2013 )

  10. CS 131 Combinatoric Structures

    ( Spr. 2014 )

  11. MA 142 Introduction to Linear Algebra

    ( Spr. 2013, Spr. 2012 )

  12. QD 602x Business Analytics for Data-Driven Decision Making

    ( Sum. 2019, Spr. 2019, Fal. 2018, Spr. 2018 )

Scientific & Software Engineering Consultant

I have experience providing scientific consulting services to Raytheon BBN Technologies and Systems & Technology Research. I've worked with groups specializing in cybersecurity and quantum information processing on DARPA and IARPA programs such as Automated Program Analysis for Cybersecurity (APAC), Crowd Sourced Formal Verification (CSFV), Cyber Assured Systems Engineering (CASE), and Quantum Computer Science (QCS).

As a commercial software engineering consultant, I have experience developing systems that employ cloud computing services to deliver content and analyze data on a large scale, implementing natural language processing algorithms, adapting frameworks 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 building distributed systems and working with distributed and/or sensitive data to formally reason about the code they author along relevant domain-specific dimensions such as security and resource cost.

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. Notes on nexus numbers and the divisor function.
  10. 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. Fairly concise introduction to domain theory.
  7. Article by Minsky on AI, psychology, and language.
  8. Richard W. Hamming talks about scientific research.

Education

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

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.

2007S.M.Computer Science
2007A.B.Computer Science and Mathematics

Miscellaneous

I usually take a particular kind of photograph.