Hi, I'm Alex Friedman

I'm a computer science PhD student advised by Stefan Muller at Illinois Tech. My research focuses on designing programming languages for distributed and concurrent systems as well as exploring how programming languages can serve as mediums for effective communication. Through this work, my aim is to bring intuitive correctness guarantees to domains where our current languages are notoriously error-prone.

To these ends, I am currently exploring the use of Graph Types to perform static deadlock detection in existing languages as well as creating Bismuth, a new programming language for distributed systems based on session types.

Previously, I completed my MS & BS (with a double major in writing) at Worcester Polytechnic Institute where I was advised by Rose Bohrer and Yunus Telliel.

Starting my PhD!

2024-08-19

Today is my first day as a PhD student working with Stefan Muller at Illinois Tech!

Details



The first project I'll be working on has to do with graph types. Read more about them here!

Recent Project: Bismuth

4/19/2023

Sample image of the Bismuth editor on https://bismuth-lang.org
Bismuth is designed to be a user-friendly general-purpose programming language for distributed, concurrent, and mobile systems.

Details



While still early in its development, the Bismuth prototype (accessible via our online editor) can already support complicated yet type safe communication channels along with a variety of other features designed to make distributed and parallel applications easier to write.

Read more

Recent Project: WPL

12/9/2022

Sample image of code in my implementation of WPL
Implementing a programming language in c++17 with llvm.

Details



My version of WPL has several features including:

  • Lambdas and Higher-order Functions
  • Algebraic Datatypes
  • Type Inferencing

Read more

Recent Project: IQP

5/3/2022

Strengthening Romanian Startups Project Report Cover
Strengthening the American Chamber of Commerce in Romania's Relationship with Startups

Details



This project synthesized strategies for the American Chamber of Commerce in Romania (AmCham Romania) to strengthen Romania’s startup community.

Read more