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 ...

Computers are all around us. They're a big part of many people's day-to-day lives. A computer is an electronic device which processes, stores and displays information. Most electronic devices used ...