Registered user since Fri 15 Jan 2016
Name:Alejandro Russo
Country:Sweden
Affiliation:Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden
Personal website: http://www.cse.chalmers.se/~russo/
X (Twitter): https://x.com/poke48k
Research interests:Security, Functional Programming, Systems, Type systems, Semantics
Contributions
Using general profile