Onderzoeker
Wolfgang De Meuter
- Onderzoeksexpertise:
- formele semantiek, functionele programmeertalen, object-gerichte programmeertalen
- Trefwoorden:Informatica
- Disciplines:Parallel programmeren, Taalprocessoren, Taalontwerp, -constructies en -eigenschappen, Coderingstools en -technieken, testen en debuggen, Software engineering
- Gebruikers van onderzoeksexpertise:
- formele semantiek, functionele programmeertalen, object-gerichte programmeertalen
Affiliaties
- Software Languages Lab (Onderzoeksgroep)
Verantwoordelijke
Vanaf1 okt 1993 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 jan 2024 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2021 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf8 apr 2019 → Heden - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf22 jun 2017 → 7 sep 2017 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2006 → 20 okt 2022 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 feb 2005 → 30 sep 2006 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 mrt 1997 → 30 sep 2006 - Laboratorium voor Programmeerkunde (Onderzoeksgroep)
Lid
Vanaf1 okt 1993 → 1 jun 2009
Projecten
1 - 10 of 13
- IOF GEAR Project AST4S3 : Geavanceerde Software Technologieën voor de ontwikkeling van Slimme, Sustainable en Veilige SystemenVanaf1 jan 2022 → HedenFinanciering: IOF - technologie concept exploratie, IOF - mandaten
- Joint R&D 2022: ECOPIPE: optimalisatie van energieverbruik in pijpleiding-architecturen.Vanaf1 dec 2021 → HedenFinanciering: Brussels Hoofdstedelijk Gewest
- Programmeertaalondersteuning voor het integreren van machine learning in grootschalige software applicatiesVanaf1 nov 2019 → 31 okt 2021Financiering: FWO mandaten
- Een algemeen toepasbaar componentenmodel voor nooit-stoppende reactieve big data toepassingenVanaf1 nov 2019 → 31 okt 2023Financiering: FWO mandaten
- SRP-Onderzoekszwaartepunt: Foundations for Reliable Multi-Paradigm Network-Centric ProgrammingVanaf1 mrt 2019 → HedenFinanciering: BOF - projecten
- IOF Gear: Duurzame software-ontwikkeling voor de volgende generatie van ICT systemenVanaf1 jan 2018 → 31 dec 2021Financiering: IOF - Industrieel Onderzoeksfonds
- SBO D3-CPS: gedistribueerde softwaretechnologieën voor het ontwikkelen en beheren van betrouwbare cyber-fysieke systemenVanaf1 apr 2017 → 31 mrt 2021Financiering: FWO Prijzen en sabbaticals (vroeger FWO onbepaald)
- Dynamische datastructurenVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Onderzoeksproject (incl. WEAVE projecten)
- FLAMENCO: FLAnders Mobile ENacted Citizen ObservatoriesVanaf1 jan 2016 → 31 dec 2019Financiering: FWO Strategisch Basisonderzoek (SBO)
- Een geïntegreerd programmeermodel voor uiteindelijke consistentie in collaboratieve applicaties van planetaire omvang.Vanaf1 okt 2014 → 27 apr 2017Financiering: FWO mandaten
Publicaties
21 - 30 van 51
- A Generic Replicated Data Type for Strong Eventual Consistency(2019)
Auteurs: Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix
Aantal pagina's: 3 - Effect-driven Flow Analysis(2019)Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Auteurs: Jens Nicolay, Quentin Stiévenart, Wolfgang De Meuter, Coen De Roover
Pagina's: 247-274Aantal pagina's: 28 - Distributed Reactive Programming for Reactive Distributed Systems(2019)
Auteurs: Florian Myter, Wolfgang De Meuter, Christophe Scholliers
Pagina's: 1-52 - Putting Order in Strong Eventual Consistency(2019)Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Volume: 11534
Auteurs: Kevin De Porre, Florian Myter, Christophe De Troyer, Christophe Scholliers, Wolfgang De Meuter, Elisa Gonzalez Boix
Pagina's: 36-56Aantal pagina's: 21 - A General Method for Rendering Static Analyses for Diverse Concurrency Models Modular(2019)
Auteurs: Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover
Pagina's: 17-45 - Statisch Verifiëren van Inter-veld Vereisten en de Toepassingen in Web API’s(2019)
Auteurs: Nathalie Oostvogels, Wolfgang De Meuter, Christophe Scholliers
- Building IoT Systems Using Distributed First-Class Reactive Programming(2018)Series: Proceedings of the International Conference on Cloud Computing Technology and Science, CloudComVolume: 2018-December
Auteurs: Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter
Pagina's: 185-192Aantal pagina's: 8 - Static typing of complex presence constraints in interfaces(2018)Volume: 109
Auteurs: Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter
Pagina's: 14:1-14:27Aantal pagina's: 27 - Algorithmic Governance in Smart Cities: The Conundrum and the Potential of Pervasive Computing Solutions(2018)
Auteurs: Franco Zambonelli, Flora D. Salim, Seng W. Loke, Wolfgang De Meuter, Salil S Kanhere
Pagina's: 80-87 - Een multi-paradigma programmeermodel voor concurrency(2018)
Auteurs: Janwillem Swalens, Wolfgang De Meuter