Arie Gurfinkel is affiliated with the University of Waterloo in Canada, contributing extensively to the field of Computer Science. Their research spans multiple specialized areas including Artificial Intelligence, Computational Theory and Mathematics, Software, Information Systems, and Hardware and Architecture.
The body of work produced by Gurfinkel covers a range of topics, primarily focusing on Formal Methods in Verification, Software Testing and Debugging Techniques, and Logic, Programming, and Type Systems. Other significant topics in their research portfolio include Security and Verification in Computing, Model-Driven Software Engineering Techniques, Blockchain Technology Applications and Security, and Advanced Malware Detection Techniques.
Gurfinkel's recent scholarly publications include:
Frequent co-authors collaborating with Gurfinkel include Jorge A. Navas, Sharon Shoham, Hari Govind V K, Isabel Garcia-Contreras, and Richard Trefler. These collaborations highlight a network of partnerships with researchers active across related domains in formal verification and software engineering.
Gurfinkel's publishing venues reflect an emphasis on both traditional and open-access platforms, with a significant number of publications appearing in:
The scholar also has a presence in academic book publishing, with one book titled "NASA Formal Methods" published by Springer Science+Business Media in 2022, contributing to foundational literature in formal methods.
Anvesh Komuravelli;Arie Gurfinkel;Sagar Chaki
Arie Gurfinkel;Temesghen Kahsai;Anvesh Komuravelli;Jorge A. Navas
Nikolaj Bjørner;Arie Gurfinkel;Kenneth L. McMillan;Andrey Rybalchenko
Marsha Chechik;Benet Devereux;Steve Easterbrook;Arie Gurfinkel
Yi Li;Aws Albarghouthi;Zachary Kincaid;Arie Gurfinkel
Aws Albarghouthi;Yi Li;Arie Gurfinkel;Marsha Chechik
Anvesh Komuravelli;Arie Gurfinkel;Sagar Chaki;Edmund M. Clarke
Arie Gurfinkel;Marsha Chechik
Elazar Gershuni;Nadav Amit;Arie Gurfinkel;Nina Narodytska
Aws Albarghouthi;Arie Gurfinkel;Marsha Chechik
Arie Gurfinkel;Ou Wei;Marsha Chechik
Marsha Chechik;Benet Devereux;Arie Gurfinkel
Arie Gurfinkel;Sagar Chaki
Wesley Jin;Sagar Chaki;Cory Cohen;Arie Gurfinkel
Aws Albarghouthi;Arie Gurfinkel;Marsha Chechik
Arie Gurfinkel;Marsha Chechik
Arie Gurfinkel;Temesghen Kahsai;Jorge A. Navas
A. Gurfinkel;M. Chechik;B. Devereux
Aws Albarghouthi;Arie Gurfinkel;Marsha Chechik
Arie Gurfinkel;Marsha Chechik
If you think any of the details on this page are incorrect, let us know.
Exploring online electrical engineering degree ranking options can open doors to top programs that blend well with a Computer Science education. Many students look for programs that offer flexibility, strong reputations, and direct connections to emerging tech fields.
In addition to full degrees, targeted certifications for jobs can quickly boost your credentials and increase job prospects in IT, cybersecurity, and data analytics. These certifications are often fast to complete and recognized by employers.
For those seeking to advance rapidly, quick masters degrees online allow professionals to grow their skill sets and move up the career ladder without a lengthy time commitment.
Unsure of which area to specialize in next? Explore the most valuable options with what masters program should I do to discover high-demand programs that align with current tech job trends.
China University of Geosciences
University of Colorado Colorado Springs
University Hospital Bonn
National Institutes for the Humanities
University of Bologna
Université Paris Cité
Columbia University
Newcastle University
TU Bergakademie Freiberg
Bond University
Ludwig-Maximilians-Universität München
University of California, San Diego
National Institutes of Health
Instituto de Salud Musculoesquelética
Middle East Technical University
Colorado State University
