POPL 2021
Sun 17 - Fri 22 January 2021 Online
Nicholas V. Lewchenko

Registered user since Thu 1 Aug 2019

Name: Nicholas V. Lewchenko

Bio: I am a computer science PhD student at the University of Colorado Boulder, advised by Pavol Černý.

I am interested in the application of programming languages to distributed systems. My aim in this area is to find language abstractions that make distributed programs as natural to write, mechanically verify, and informally think about as traditional sequential programs.

Country: United States

Affiliation: University of Colorado Boulder

Personal website: https://www.octalsrc.org/research

Research interests: Programming Languages, Type Systems, Distributed Systems

Contributions

POPL 2021Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
Show activities from other conferences

Using general profile