Andrei Lapets [ firstname.lastname@example.org | 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.
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.
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
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.