Justin Restivo

Justin Restivo Email and Phone Number

Embedded C/Rust, Nix, Haskell. MIT '19 @ Espresso Systems
Justin Restivo's Location
Cheshire, Connecticut, United States, United States
Justin Restivo's Contact Details

Justin Restivo work email

Justin Restivo personal email

n/a
About Justin Restivo

Website: https://justin.restivo.me/Github: DieracDelta; PGP fingerprint: 2565 7B91 AD2D 02C6 1B7F 9819 E682 81EB 2ABC E9B8Please do not contact me about positions involving Java, JS, or C#.

Justin Restivo's Current Company Details
Espresso Systems

Espresso Systems

View
Embedded C/Rust, Nix, Haskell. MIT '19
Justin Restivo Work Experience Details
  • Espresso Systems
    Software Engineer
    Espresso Systems Nov 2021 - Present
    Working primarily in Rust and Nix on a team as a Consensus and Networking Engineer for our home-brewn consensus algorithm, HotShot. My primary contribution areas include:- A Libp2p networking backend for HotShot- A testing harness for consensus- Consensus implementations including pipelined HotStuff- Nix infra for HotShot https://github.com/EspressoSystems/HotShot
    View
  • Draper
    Security & Systems Researcher
    Draper Mar 2020 - Nov 2021
    Cambridge, Ma, Us
    - Built and debugged example programs for CBAT (comparative binary analysis tool) tool. (https://github.com/draperlaboratory/cbat_tools)- Added Rust userland programs to SEL4, utilized nix to improve build and deploy times, wrote deployment tool in Rust.- Contributed to qemu patch for pwm emulation. https://yhbt.net/lore/all/CAEUhbmWnRqVAi_HcKpK8Vu9rmYJHdkTbrGfvjkwgqgQjwt5ofA@mail.gmail.com/T/
    View
  • Ngi - The Next Generation Internet
    Summer Of Nix Mentor
    Ngi - The Next Generation Internet Aug 2021 - Oct 2021
    Brussels, Belgium, Be
    Lead team of 5 full-time contractors to package NGI applications for the Summer of Nix program. Program description: summer.nixos.org
    View
  • Mit Computer Science And Artificial Intelligence Laboratory (Csail)
    Csail Research Assistant
    Mit Computer Science And Artificial Intelligence Laboratory (Csail) Jan 2019 - Jan 2020
    Cambridge, Ma, Us
    Researched full-time with the "Inherently Secure Laboratory" at CSAIL in conjunction with Lincoln Laboratories. My work was in three camps:- Resource allocation/tooling support for lab with MIT OpenStack and docker.- Upstreamed contributions to Tock (an embedded OS written in Rust) RISC-V support.- My Master's thesis, which lives here: https://dspace.mit.edu/handle/1721.1/129858 and proposes a novel kernel design that replaced virtual memory and rings with a tagged architecture and language safety in order to improve performance and security.
    View
  • Mit Computer Science And Artificial Intelligence Laboratory (Csail)
    Urop With Inherently Secure Laboratory
    Mit Computer Science And Artificial Intelligence Laboratory (Csail) Sep 2018 - Dec 2018
    Cambridge, Ma, Us
    Researched as a student with "Inherently Secure Laboratory" at CSAIL. Learned about RISCV architecture, Rust, OS internals, and tagged architectures.
    View
  • Blackbaud
    Software Engineer Intern
    Blackbaud May 2017 - Aug 2017
    Charleston, South Carolina, Us
    Predicted data trends for Blackbaud clients using time series forecasting techniques in .NET.
    View
  • Mit
    Mit - 6.S080 Brief Introduction To Python, Lab Assistant
    Mit Jan 2017 - Jan 2017
    Hosted office hours for students learning python. Graded students python assignments.
  • Blackbaud
    Software Engineer Intern
    Blackbaud May 2016 - Aug 2016
    Charleston, South Carolina, Us
    Verified that uploaded data matched T-SQL database by writing testing framework in .NET. Used Gooddata Ruby API wrapper and Cucumber testing framework.
    View

Justin Restivo Education Details

  • Yale University
    Yale University
    Computer Science
  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Computer Science
  • Massachusetts Institute Of Technology
    Massachusetts Institute Of Technology
    Computer Science

Frequently Asked Questions about Justin Restivo

What company does Justin Restivo work for?

Justin Restivo works for Espresso Systems

What is Justin Restivo's role at the current company?

Justin Restivo's current role is Embedded C/Rust, Nix, Haskell. MIT '19.

What is Justin Restivo's email address?

Justin Restivo's email address is jr****@****per.com

What schools did Justin Restivo attend?

Justin Restivo attended Yale University, Massachusetts Institute Of Technology, Massachusetts Institute Of Technology.

Free Chrome Extension

Find emails, phones & company data instantly

Find verified emails from LinkedIn profiles
Get direct phone numbers & mobile contacts
Access company data & employee information
Works directly on LinkedIn - no copy/paste needed
Get Chrome Extension - Free

Aero Online

Your AI prospecting assistant

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.