Thomas Wies is an Associate Professor in computer science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group. His research interests are in programming languages and formal methods with a focus on program analysis and verification, automated deduction, and correctness of concurrent software. He is the recipient of an NSF CAREER Award and has won multiple best paper awards. His fascination with concurrent tree traversals extends to his spare time: he enjoys hikes in the woods.
4 Ebooks oleh Thomas Wies
Andrei Paskevich & Thomas Wies: Verified Software. Theories, Tools, and Experiments
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, …
EPUB
Inggris
DRM
€56.99
Bernd Finkbeiner & Thomas Wies: Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in …
EPUB
Inggris
DRM
€102.06
Thomas Wies: Programming Languages and Systems
This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint …
EPUB
Inggris
DRM
€3.84
David Mohaisen & Thomas Wies: Networked Systems
This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 22-24, 2023.The 9 full papers and 3 short …
EPUB
Inggris
DRM
€64.20
