Gustavo Alonso
Gustavo Alonso from the ETH Zurich, Switzerland was named Fellow of the Institute of Electrical and Electronics Engineers (IEEE) in 2014[1] for contributions to data management and distributed systems.
Career
Alonso studied telecommunications-electrical engineering- at the Madrid Technical University (ETSIT, Politecnica de Madrid). A Fulbright scholar, he received a M.S. and Ph.D. in Computer Science at UC Santa Barbara. For a year after, he worked at the IBM Almaden Research Center before joining ETHZ.[2]
gollark: Didn't they have to go to great effort to formally prove its correctness?
gollark: Not very consistently, apparently.
gollark: Linux is presumably one of the most looked-at codebases around, with many competent developers. Yet they introduce use-after-frees and such.
gollark: I mean, LOOK at this. These are memory safety issues in Linux, partly. https://www.cvedetails.com/vulnerability-list.php?vendor_id=33&product_id=47&version_id=261041&page=1&hasexp=0&opdos=0&opec=0&opov=0&opcsrf=0&opgpriv=0&opsqli=0&opxss=0&opdirt=0&opmemc=0&ophttprs=0&opbyp=0&opfileinc=0&opginf=0&cvssscoremin=0&cvssscoremax=0&year=0&month=0&cweid=0&order=3&trc=79&sha=5cbc7c8cf75413ec8f9ecd4ca33a51259c32d60b
gollark: As much as I hate to be golanguous and say "programmers clearly cannot do X properly", programmers clearly cannot do C properly.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.