Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Nicholas V. Lewchenko

Registered user since Thu 1 Aug 2019

Name:Nicholas V. Lewchenko

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
Research interests:Programming Languages, Type Systems, Distributed Systems


ICFP 2019 Sequential Programming for Replicated Data Stores
Show activities from other conferences

ICFP 2019-profile
View general profile