Science fiction is easily one of the most popular and prolific genres in movies today. Sci-fi cinema began almost as soon as ...

Andrei has received distinguished paper awards at the last three Principle of Programming Languages (POPL) conferences, one of the most prestigious conferences in Computer Science. Congratulations to ...