Software engineer with exceptional background in formal methods,programming languages, compiler technologies, static and dynamic analysis,and mathematical reasoning.
The Linux kernel is a complicated piece of software with multiple components interacting with each other in complex ways. The performance and resource consumption of a particular application depends, among many things, on configuration/tuning parameters and policies...
Trenton W. Ford is a doctoral candidate in computer science at the University of Notre Dame. His research focuses on misinformation and disinformation in online contexts. Specifically, Trenton’s work has involved investigating meme evolution, exploring image-text...
Joao Phillipe Cardenuto earned his Bachelor of Science in Computer Engineering and Computer Science at the University of Campinas (2019). Currently, he is pursuing a Ph.D. degree at the University of Campinas, Brazil. He has been working in the area of Computer...
Bill Theisen is a fourth year PhD student in the Computer Vision Research Lab at the University of Notre Dame. Advised by Dr. Walter Scheirer, he also works very closely with Dr. Tim Weninger. His current area of research is political memes, misinformation, and...
