Computable.nl
  • Thema’s
    • Carrière
    • Innovatie & Transformatie
    • Cloud & Infrastructuur
    • Data & AI
    • Governance & Privacy
    • Security & Awareness
    • Software & Development
    • Werkplek & Beheer
  • Sectoren
    • Channel
    • Financiële dienstverlening
    • Logistiek
    • Onderwijs
    • Overheid
    • Zorg
  • Awards
    • Overzicht
    • Nieuws
    • Winnaars
    • Partner worden
  • Vacatures
    • Vacatures bekijken
    • Vacatures plaatsen
  • Bedrijven
    • Profielen
    • Producten & Diensten
  • Kennisbank
  • Magazine
  • Nieuwsbrief

Universiteit Twente maakt software foutloos

22 oktober 2010 - 12:58ActueelSoftware & DevelopmentUniversiteit Twente
Heleen van Roon
Heleen van Roon

Onderzoeker Marieke Huisman van het onderzoeksinstituut Centrum voor Telematica en Informatietechnologie (CTIT) krijgt 1,3 miljoen euro om een technologie te ontwikkelen die helpt voorkomen dat bij het bouwen van software fouten worden gemaakt. De subsidie is afkomstig van het agentschap European Research Council (ERC). Huisman gaat met het bedrag de komende vijf jaar onder andere twee assistenten en twee onderzoekers aannemen.

Het CTIT waarvoor Huisman werkt, is een onderdeel van de Universiteit Twente. De onderzoeker gaat proberen met wiskundige modellen ervoor te zorgen dat software vaker foutloos ontwikkeld wordt. Dat gebeurt gedeeltelijk ook met programmeertaal Java, maar de onderzoeker wil die techniek uitbreiden en toepasbaar maken voor andere soortgelijke programmeertalen.

Multi-core processoren
‘Computers worden steeds sneller en kunnen steeds meer’, aldus Huisman. ‘Toch lijkt de grens zo langzamerhand bereikt te zijn. Het is niet meer mogelijk om processoren nog sneller te laten werken.’ Om dat probleem op te lossen, zouden steeds vaker multi-core processoren gebruikt worden om tegelijkertijd berekeningen te doen. Om ervoor te zorgen dat een programma goed werkt, moet de software op de processor beschrijven welke berekeningen tegelijkertijd gedaan kunnen worden. Daar gaat volgens Huisman nog wel eens iets mis. Haar onderzoek moet daar dus verandering in brengen.

De ERC kijkt bij het toekennen van de subsidie naar de inhoud van het onderzoeksvoorstel en de kwaliteiten van de onderzoeker.

Marieke Huisman
Huisman is onderzoeker bij de vakgroep Formal Methods & Tools van de faculteit Elektrotechniek, Wiskunde en Informatica en het onderzoeksinstituut CTIT. Ze werkt sinds 2008 aan de Universiteit Twente. Voordat ze in Twente kwam, deed ze onder andere onderzoek bij een onderzoeksinstituut in Frankrijk en aan de Radboud Universiteit in Nijmegen.

Deel

    Inschrijven nieuwsbrief Computable

    Door te klikken op inschrijven geef je toestemming aan Jaarbeurs B.V. om je naam en e-mailadres te verwerken voor het verzenden van een of meer mailings namens Computable. Je kunt je toestemming te allen tijde intrekken via de af­meld­func­tie in de nieuwsbrief.
    Wil je weten hoe Jaarbeurs B.V. omgaat met jouw per­soons­ge­ge­vens? Klik dan hier voor ons privacy statement.

    Whitepapers

    Computable.nl

    Agentic AI in actie

    De stappen van automatiseren naar écht autonoom werken. Welke toepassingen zijn succesvol?

    Computable.nl

    Staat Digitale Connectiviteit Bouw- en Installatiebranche

    Connectiviteit is de kern van veel processen en van strategisch belang voor de toekomst. Waar sta jij?

    Computable.nl

    Design Sprints: 4 dagen van idee naar prototype

    Hoe zet je in vier dagen tijd een gevalideerd prototype neer met Design Sprints?

    Geef een reactie Reactie annuleren

    Je moet ingelogd zijn op om een reactie te plaatsen.

    Populaire berichten

    Meer artikelen

    Uitgelicht

    Partnerartikel
    Data & AI

    AI in softwaretesten: tussen belofte e...

    De opkomst van kunstmatige intelligentie (AI) wekte hoge verwachtingen in de wereld van softwaretesten. Zelflerende testsuites, automatisch gegenereerde testgevallen en...

    Meer persberichten

    Meer lezen

    ai klusjes gig
    Data & AI

    Kort: Java en ai-tools vernieuwd, klusjes scoren (en meer)

    Software & Development

    Value8 wil totale controle over Ctac

    Data & AI

    Kort: Innobrix wint Google-prijs, anonieme ai helpt zorg nog meer (en nog meer)

    Data & AI

    Kort: ai op universiteit nu riskeert onoplosbare problemen later (en meer)

    Overheid

    Grote kwetsbaarheid Rijk bij uitval ict-dienstverlening

    Data & AI

    Kort: 100 miljoen voor Nederlandse ai, down under investeert ook (en meer)

    ...

    Footer

    Direct naar

    • Carrièretests
    • Kennisbank
    • Planning
    • Computable Awards
    • Magazine
    • Ontvang Computable e-Magazine
    • Cybersec e-Magazine
    • Topics
    • Phishing
    • Ransomware
    • NEN 7510

    Producten

    • Adverteren en meer…
    • Jouw Producten en Bedrijfsprofiel
    • Whitepapers & Leads
    • Vacatures & Employer Branding
    • Persberichten

    Contact

    • Colofon
    • Computable en de AVG
    • Service & contact
    • Inschrijven nieuwsbrief
    • Inlog

    Social

    • Facebook
    • X
    • LinkedIn
    • YouTube
    • Instagram
    © 2025 Jaarbeurs
    • Disclaimer
    • Gebruikersvoorwaarden
    • Privacy statement
    Computable.nl is een product van Jaarbeurs