Nathaniel Yazdani Email & Phone Number

Boston, Massachusetts, United States

Boston, Massachusetts

I am a PhD student advised by Prof. Amal Ahmed and working at the intersection of programming languages (e.g., language design and implementation) and formal methods (e.g., verification by formal proof and constraint solving). I am a member of the Secure Interoperability, Languages, and Compilers group (SILC) and am affiliated with the Programming Research Laboratory (NU PRL).

Seattle, Wa

As a research master's student, I took a variety of graduate courses, taught undergraduates (2nd- to 4th-year) as a TA, and performed research at the intersection of programming languages and formal methods.In my research, I was affiliated with the Programming Languages & Software Engineering group (PLSE).Over the two years, I served as a TA for six course offerings, all under Dr. Hal Perkins. These six offerings were for the following three courses: CSE 331 "Software Design and… Show more As a research master's student, I took a variety of graduate courses, taught undergraduates (2nd- to 4th-year) as a TA, and performed research at the intersection of programming languages and formal methods.In my research, I was affiliated with the Programming Languages & Software Engineering group (PLSE).Over the two years, I served as a TA for six course offerings, all under Dr. Hal Perkins. These six offerings were for the following three courses: CSE 331 "Software Design and Implementation" (core major-track course); CSE 374 "Programming Concepts and Tools" (elective non-major course); and CSE 401 "Introduction to Compiler Construction" (elective major-track course). Show less

Madrid, Spain

Working with Prof. Aleksander Nanevski, I performed the first fully modular formalization and verification of a concurrent elimination layer, using a novel logical structure for composition of concurrent resources in fine-grained concurrent separation logic (FCSL). Unlike prior work, this verification is reusable for different elimination-based data structures. Prof. Aleksander Nanevski and I have continued to collaborate in order to demonstrate this through compositional verification of an… Show more Working with Prof. Aleksander Nanevski, I performed the first fully modular formalization and verification of a concurrent elimination layer, using a novel logical structure for composition of concurrent resources in fine-grained concurrent separation logic (FCSL). Unlike prior work, this verification is reusable for different elimination-based data structures. Prof. Aleksander Nanevski and I have continued to collaborate in order to demonstrate this through compositional verification of an elimination-based stack (commonly known as an "HSY stack"), an elimination-based queue, and a concurrent exchanger. This work was done with the Coq proof assistant and Ssreflect proof framework. Show less

Seattle, Washington

For my undergraduate thesis, I worked with Prof. Ras Bodik on program synthesis. Our work demonstrated the possibility to automatically derive a scalable synthesizer for domain-specific scheduling languages. We applied this to construct a tool to synthesize data visualization engines from a declarative specification of the visualization design.

Seattle, Washington

In this role, I worked with the instructor and a team of five other teaching assistants to run the undergraduate course CSE 341 Programming Languages, with 70 undergraduates enrolled. Collectively, the course staff and I graded weekly programming assignments and two programming projects, and I individually taught a weekly recitation session for 20 of those students.

Remote (Wa, Us)

As a part of the Fedora Engineering team inside Red Hat, I had the opportunity to work on the web applications that power Fedora's online ecosystem. In particular, I contributed extensively to the statscache analytics framework for the fedmsg bus, written in Python and built atop the Flask, Twisted, and Moksha frameworks. This internship also presented the unique responsibility to work from home and to manage the day-to-day effectiveness and direction of my work on my own.

Hillsboro, Oregon

As an independent contributor in an international team of engineers, I have found that strong initiative and clear communication have been critical to success. Using cutting-edge web development software and technologies (e.g., HTML5, CSS3, Flask), I create full-stack Linux-based web applications, and in co-operation with two other developers, I write code and test cases for a line-of-business ASP.NET web application with HP Application Lifecycle Management. Besides development, I also assist… Show more As an independent contributor in an international team of engineers, I have found that strong initiative and clear communication have been critical to success. Using cutting-edge web development software and technologies (e.g., HTML5, CSS3, Flask), I create full-stack Linux-based web applications, and in co-operation with two other developers, I write code and test cases for a line-of-business ASP.NET web application with HP Application Lifecycle Management. Besides development, I also assist with Linux systems engineering, in particular software package distribution and management through CFEngine. Show less

Doctor Of Philosophy - Phd, Computer Science

Specialized in programming languages & formal methods (PL/FM) and advised by Amal Ahmed of the Programming Research Laboratory (PRL).

Master Of Science, Computer Science & Engineering

Bachelor Of Science, Computer Science, Cum Laude

Activities and Societies: Mortar Board Honor Society

Computer Science, 3.92 Cumulative Gpa

Activities and Societies: Phi Theta Kappa Honor Society Attended through the Washington Running Start early-college program.

High School Diploma

Activities and Societies: Rotary Interact; Future Business Leaders of America