1. Master in de Wiskundige
Informatica
(enkel aan Universiteit Gent)
2. Master in de Wiskundige
Informatica
voor bachelors informatica
voor bachelors wiskunde
3. Wiskundige Informatica?
Wiskunde (en logica) toepassen om beter
aan informatica te doen
Informatica toepassen om typische
wiskundevraagstukken op te lossen
Modelleren van reële problemen in een
wiskundig/theoretisch formalisme en
daarvoor een informatica-oplossing vinden
5. Zes verplichte vakken
Complexiteit en berekenbaarheid
Theoretisch-logische benadering van inherente
efficiëntie van een algoritme
Niet alles kan effectief door een computer
worden berekend
Fundamenten van programmeertalen
Theoretische fundering van
programmeertaalconcepten
Formele semantiek, typesystemen, ...
6. Zes verplichte vakken
Combinatorische algoritmen
Werken met combinatorische objecten:
permutaties, combinaties, … maar ook grafen,
DNA-sequenties, …
Hyperexponentiële complexiteit handelbaar
maken
Numerieke algoritmen voor lineaire algebra
Vervolg op 'wetenschapellijk rekenen'
Heeft ook een Matlab luik
7. Zes verplichte vakken
Computationele intelligentie
Machine learning: neurale netwerken,
genetische algoritmes, ...
Omgaan met onzekerheid en vaagheid
Herschrijfsystemen
Theoretische behandeling van algoritmen
uitgedrukt als herschrijfregels
Toepassingen: symbolisch rekenen, L-systemen
(fractalen)
9. Structuur v/d opleiding
Eerste jaar 3+3 verplichte vakken (36stpt)
Voor de rest: veel keuzevakken (24stpt +)
En een masterproef (30stpt)
Drie minoren (30stpt) in het 2e jaar
'Onderzoek' (met stage of seminarie)
Bedrijfseconomische minor
Lerarenopleiding (wiskunde of informatica)
Mogelijkheid om op Erasmus te gaan
10. Keuzevakken
24 stpt (+ 24 stpt minor onderzoek)
Drie soorten
Remediërende – logica, algoritmen
Domeineigen – specialiserend of verbredend
Domeinvreemd – ( ≤ 12stpt)
11. Keuzevakkenlijst
Functionele en logische Dataontginning
program-meertalen Bewijstheorie
Computationele biologie Capita sel. in soft
Num. meth. differen- computing
tiaalvgl. Wachtlijntheorie
Computeralgebra Beeldverwerking
Comp. group theory Compilers
Comp. financiële wisk. Informatiebeheer
Algoritmische grafen- Informatiebeveiliging
theorie
Machinaal leren
en vrije keuze ...
12. Masterproef
Dit jaar:
Zoekalgoritmen voor plantveredelingsprojecten
Gedistribueerd doorzoeken en opbouwen van
indexstructuren voor genoomanalyse met MapReduce
Een constructief algoritme voor nanojoins
+ drie andere...
Publieke verdediging
Eind juni (zal aangekondigd worden)
13. Masterproef (30stpt)
Schrijven van een thesis
Verdediging en tussentijdse presentatie
Extended abstract
Aangevuld met stage of seminarie (6stpt)