Master in de Wiskundige Informatica

(enkel aan Universiteit Gent)

Master in de Wiskundige Informatica

voor bachelors informaticavoor bachelors wiskunde

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

'Beroepsprofiel'

Financiële en verzekeringssector

Geomatica

Bio-informatica

(Overal waar andere informatici terechtkomen)

Onderwijs

Onderzoek

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, ...

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

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)

Werkvormen

Niet enkel hoorcolleges

Zelf dingen opzoeken, verwerken en presenteren

Projectwerk

Kleine groepen: iedereen kent iedereen

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

Keuzevakken

24 stpt (+ 24 stpt minor onderzoek)

Drie soorten

Remediërende – logica, algoritmen

Domeineigen – specialiserend of verbredend

Domeinvreemd – ( ≤ 12stpt)

KeuzevakkenlijstFunctionele en logische

program-meertalenComputationele biologieNum. meth. differen-

tiaalvgl.ComputeralgebraComp. group theoryComp. financiële wisk.Algoritmische grafen-

theorie

DataontginningBewijstheorieCapita sel. in soft

computingWachtlijntheorieBeeldverwerkingCompilersInformatiebeheerInformatiebeveiligingMachinaal leren

en vrije keuze ...

MasterproefDit 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)

Masterproef (30stpt)

Schrijven van een thesis

Verdediging en tussentijdse presentatie

Extended abstract

Aangevuld met stage of seminarie (6stpt)

Zijn er nog vragen?

informatica@ugent.be