Programs
Fields of Study
Degree Types
Business & Management
Computer Science & IT
Engineering & Technology
Arts, Design & Architecture
Social Sciences
Law
Medicine & Health
Nursing
Psychology
Education
Economics
Accounting & Finance
Media & Communication
Biology & Life Sciences
Mathematics
Architecture
Environmental Studies
Hospitality & Tourism
View all fields of study
Browse degrees by level
Find Bachelor’s degrees
Find Master’s degrees
Find MBA degrees
Find PhD degrees
Learn about degrees
Bachelor’s guide
Master’s guide
MBA guide
PhD guide
Browse all degree guides
Universities
IAIC Global — Explore Universities by Country
Find universities, discover programs, and explore study opportunities across the world.
Europe
North America
Oceania
Asia
Explore all universities
Europe
Austria
Belgium
Bulgaria
Croatia
Cyprus
Czech Republic
Denmark
Estonia
Finland
France
Germany
Greece
Hungary
Iceland
Ireland
Italy
Latvia
Lithuania
Luxembourg
Malta
Netherlands
Norway
Poland
Portugal
Romania
Serbia
Slovakia
Slovenia
Spain
Sweden
Switzerland
United Kingdom
Explore by study interest
Business in the United Kingdom
Engineering in Germany
Master’s study in France
Countries
Popular Study Destination
Canada
USA
Australia
Germany
UK
France
Study in Trending Countries
United States of America
United Kingdom
Canada
Australia
Germany
View all countries
Scholarships
Scholarship by Location
United States of America
United Kingdom
Canada
Australia
Germany
View all scholarships
Popular Scholarships
Erasmus+ Scholarship
Study in Europe
Chevening Scholarships
United Kingdom
Fulbright Scholarships
United States
DAAD Scholarships
Germany
Australia Awards
Australia
Resources
Study Guide
Articles
Bachelor’s guide
Master’s guide
MBA guide
PhD guide
How to apply to Universities
Scholarship Guide
Services
Ranking
USD
($)
USD
($)
Programs
Universities
Countries
Scholarships
Resources
Services
Ranking
Loading program details
M.Eng. Computer Science (Formal Verification, Program Analysis & Type Systems) at GISMA University of Applied Sciences | IAIC
Loading program details