Andrei Lapets [ | | | | | | ORCID ]
Founder, Principal, and Advisor
I am currently involved in a number of early-stage technology companies working in the areas of cybersecurity, data science, and formal methods.
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.
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.
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.
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
Pertinent, interesting, or amusing books and articles by others
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.
I usually take a particular kind of photograph.