黑料福利网

Formele methoden maken gebruik van wiskundige logica om de veiligheid en betrouwbaarheid van systemen te waarborgen. Binnen de specialisatie Formal Methods van de masteropleiding Computer Science and Engineering aan de 黑料福利网 ontwikkel je abstracte en kritische denkvaardigheden die zeer waardevol zijn binnen zowel het bedrijfsleven als de academische wereld. Je leert systemen formeel te modelleren, de correctheid ervan te verifi毛ren, complexe gedragingen te analyseren en processen te bestuderen met behulp van geavanceerde computationele technieken.

De specialisatie biedt ook mogelijkheden om process mining te bestuderen. Hiermee leer je datagedreven beslissingen te ondersteunen en processen te analyseren.

Binnen de masteropleiding Computer Science and Engineering volg je twee specialisaties, waarvan Formal Methods er 茅茅n kan zijn. Je kunt deze specialisatie bijvoorbeeld combineren met Resource Constrained Systems of Software Engineering, ter voorbereiding op functies als consultant of systeemarchitect. Je kunt Formal Methods ook combineren met een specialisatie in Algorithms, waarmee je een sterke basis opbouwt voor een R&D-functie in het bedrijfsleven of een academische carri猫re.

Curriculum

Binnen de masteropleiding Computer Science and Engineering kun je je specialiseren in twee gebieden. Voor elke specialisatie kies je de bijbehorende kerncursus en twee keuzevakken binnen de specialisatie.

Kies je Formal Methods als een van je specialisaties, dan volg je System Validation als kerncursus en selecteer je daarnaast twee vakken binnen het domein Formal Methods.

Deze specialisatie biedt een route naar afstuderen binnen het Formal System Analysis-cluster (FSA). Als je ge茂nteresseerd bent in de twee vakken over process mining (in de tabel aangeduid met *), kun je je verder verdiepen binnen het Process Analytics-cluster (PA)