Revue 2000 - pagina 95

welke volgende stapje wil maken, wat je nog wil leren en waarin je je wilt ontwikkelen. Dit geldt niet alleen voor je werk maar je voor hele leven, je carrière moet goed in balans zijn met je privé-leven. Je moet zelf door ervaring uitvinden waar voor jou die balans ligt en er alert op zijn. Als je eenmaal weet wat je wil kan je veel doelgerichter daarnaar gaan streven. Daarbij moetje altijd openstaan voor de mogelijkheden die er zijn. Het is goed om een rolmodel te hebben. Dat hoeft voor een vrouw niet noodzakelijkerwijs een andere vrouw te zijn, overigens. Laatje als vrouw niet van de wijs brengen door vervelende zaken die zich kunnen voordoen in je werk zoals niet serieus genomen worden of aangezien worden voor secretaresse. Neem geen genoegen met onbeleefdheden of vrouwonvriendelijkheid. Hou wel altijd rekening met de cultuur van een onderzoeksinstelling of universiteit. Elke organisatiesstructuur heeft echter bepaalde (on)mogelijkheden en wanneer binnen de organisatie waar je werkt echt niet mogelijk is watje wil moetje naar iets anders uitzien. Het is goed om uit te gaan van je eigen kracht en mogelijkheden en kijk dan pas of en hoe dat in een bepaalde organisatie zou kunnen passen. Er is vaak meer mogelijk dan je denkt!"

Femke Van Raamsdonk is UD bij Theoretische Informatica en werkt aan Software verificatie. Blik op een Jonge wetenschapper. Kan Je een korte beschrijving geven van Je werl<? "Ik werk sinds bijna twee jaar bij Jan Willem Klop, die ook mijn promotor is, bij de afdeling Theoretische Informatica, eerst als postdoc en nu als UD." We (d.w.z. de groep van Jan Willem) houden ons bezig met formele methoden voor software verificatie. Hier is proof checking een belangrijk onderwerp. Dat is een methode om met behulp van een computer programma, de proof checker, aan te tonen dat de specificatie van een programma correct is. Proof checkers worden ook gebruikt om aan te tonen dat een wiskundig bewijs correct is. Een ander belangrijk gerelateerd onderwerp is model checking. Dat is een methode om, ook met behulp van een computer programma, hier de model checker genoemd, aan te tonen dat een computer systeem de een of andere eigenschap heeft. Bijvoorbeeld dat het niet opeens crasht. Om dit soort methoden

vrije Universiteit

amsterdam

goed te begrijpen en gebruiken is het belangrijk datje computersystemen op een adequate manier kunt modelleren. We bestuderen dus ook allerlei modellen van computersystemen - die zijn vaak vrij wiskundig van karakter - en stellen daar vragen over als "eindigt een berekening in dit systeem altijd?" Dat wil je bijvoorbeeld wei van een een rekenmachine, maar niet als het gaat over een operating system. Ik geef les over dit soort onderwerpen, meestal aan informaticastudenten, en ik doe onderzoek (d.w.z. artikelen lezen en schrijven)." i-ioe InebJe besloten datje deze carrière wilde? Wanneer wist Je datje dat wilde en hoe heb Je Je er op voorbereid? "Ik heb nooit zo heel erg veel besloten geloof ik, maar ik kan me herinneren dat ik in de zomervakantie na het eindexamen iets van twee dagen voor de colleges begonnen heb besloten om wiskunde te gaan studeren. Ik had me aanvankelijk ingeschreven voor

De faculteiten

33

Deze tekst is geautomatiseerd gemaakt en kan nog fouten bevatten. Digibron werkt voortdurend aan correctie. Klik voor het origineel door naar de pdf. Voor opmerkingen, vragen, informatie: contact.

Op Digibron -en alle daarin opgenomen content- is het databankrecht van toepassing. Gebruiksvoorwaarden. Data protection law applies to Digibron and the content of this database. Terms of use.

Printen