Related projects
Discover more projects across a range of sectors and discipline — from AI to cleantech to social innovation.
Data-Driven and Synthesis-Guided Generalization in CHC-Solving
The intern will be working on a research project aimed improving scalability and applicability of automated reasoning tool called SPACER by improving the way it deals with special data types. Overall, the goal of this project is to make SPACER a more effective and reliable tool for verifying program correctness.
Faculty Supervisor:
Arie Gurfinkel
Student:
Partner:
National Technical University of Ukraine
Discipline:
Computer science
Sector:
Technology; Information and Communications Technology
University:
University of Waterloo
Program:
Globalink Research Award
Current openings
Find the perfect opportunity to put your academic skills and knowledge into practice!
Find Projects
International
Load More
International
Load More
