Naam Activiteit "Logic Engineering" "Binnen de context van de alliantieonderzoeksgroep willen we o.m. werken aan de studie van declaratieve formalismen die schaalbaar zijn tot het niveau van webtoepassingen. Door de uitdrukkingskracht van formalismen op een zinvolle manier te beperken tot wat effectief vereist is, kunnen soms verrassend efficiente systemen gevonden warden. We willen bv. onderzoeken ender welke voorwaarden het PageRank algoritme, dat door Google gebruikt wordt om de kwaliteit van webpagina's te schatten, kan uitgebreid warden voor vaag answer set programmeren. We willen ons ook toeleggen op het opstellen van een theoretisch verantwoorde methodologie voor het bekomen van bruikbare, vage kennisbanken uit webinformatie. Dit behelst ender meer het opstellen van een operationele definitie van lidmaatschapsgraden voor deze context, evenals technieken om een zinvol consensus te bepalen uit conflicterende invoergegevens, zo dat meer geloofwaardige bronnen een grotere invloed spelen (bv. gebaseerd op social choice theory). Het is onze bedoeling om dit o.m. te gebruiken voor het extraheren van eiwit-interactienetwerken uit de biomedische literatuur." "Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde" "Leo Storme" "Binnen de analyse wordt er gewerkt op harmonische analyse, functionaalanalyse, partiële differentiaalvergelijkingen, operatortheorie, asymptotische analyse en niet-standaard analyse. Het onderzoek in functionaalanalyse legt zich toe op de studie van functieruimten, functionele ongelijkheden en veralgemeende functies. Veralgemeende functies worden zowel onderzocht in een lineaire als in een niet-lineaire context, vaak gebruik makend van Fourieranalyse, schoventheorie, complexe analyse en analyse op variëteiten. Verschillende problemen in de asymptotische analyse geven aanleiding tot het ontwikkelen van reële en complexe Tauberse stellingen voor integraaltransformaties, waarmee problemen opgelost worden in analytische getaltheorie, spectraaltheorie en analytische combinatoriek. Binnen de vakgroep is er ook het internationaal Analysis and PDE research center waar gewerkt wordt op verschillende onderwerpen binnen de microlokale analyse, i.h.b. op pseudodifferentiaaloperatoren en Fourier-integraaloperatoren. Pseudodifferentiaaloperatoren worden onderzocht in verschillende contexten, i.h.b. op verschillende soorten groepen. Dit wordt aangevuld met harmonische en niet-commutatieve analyse op compacte, nilpotente en algemene lokaal compacte groepen. Het centrum biedt ook ondersteuning aan voor problemen binnen de toegepaste wetenschappen die te maken hebben met partiële differentiaalvergelijkingen.Binnen de logica wordt er onderzoek verricht over bewijstheorie, notatiesystemen voor ordinaalgetallen en fase-overgangen voor Gödel onvolledigheid. Dit onderwerp steunt voor een groot deel ook op complexe analyse en analytische combinatoriek. Verder worden ook logische limietwetten via analytische combinatoriek bestudeerd. De notatiesystemen voor ordinalen vinden hun toepassingen in bewijstheoretische analyses, subrecursieve hiërarchieën, en combinatorische onafhankelijkheidsstellingen. Recent werd onderzoek verricht naar veralgemeende Goodsteinrijen die aanleiding geven tot representaties van ordinalen via natuurlijke gerichte limietstructuren. Goede quasi-ordeningen vormen een breed onderzoeksgebied dat dicht aanleunt bij representatiesystemen voor ordinalen. Deze ordeningen staan centraal in de studie van terminatie van algoritmen. Tenslotte wordt ook nog onderzoek verricht naar modale logica, bewijsbaarheidslogica, computergestuurde bewijsvoering, reverse mathematics en berekenbaarheidstheorie.Binnen de discrete wiskunde wordt er onderzoek verricht naar deelstructuren in eindige projectieve ruimten en eindige klassieke polaire ruimten, met toepassingen in andere domeinen zoals algebraïsche combinatoriek, codeertheorie en extremale grafentheorie. Er wordt onderzoek verricht naar voorbeelden van deelstructuren, karakterisaties van deelstructuren, en verbeteren van parameters gerelateerd aan deze deelstructuren. Vele van deze deelstructuren worden onderzocht omwille van hun intrinsiek meetkundig belang, maar ook vele van deze deelstructuren staan in verband met andere onderzoeksdomeinen, of komen uit andere onderzoeksdomeinen." "Centrum voor Logica en Filosofie van de Wetenschappen (OE)" "Jan Heylen" "Het Centrum voor Logica en Analytische Wijsbegeerte (CLAW) coördineert alle onderzoek binnen het Hoger Instituut voor Wijsbegeerte aangaande logica en analytische filosofie, met bijzondere aandacht voor de filosofie van specifieke wetenschappen.Het Centrum werkt samen met andere Belgische onderzoekers binnen het Nationaal Centrum voor Navorsingen in de Logica en met internationale onderzoekers in onderzoeksprogramma’s binnen de filosofie van de wetenschappen. Het Centrum is zeer actief op het vlak van de organisatie van lezingen en workshops in samenwerking met buitenlandse collega's.De onderzoeksprojecten en publicaties van het Centrum overspannen de volgende domeinen:•Alle takken van de logica•Grondslagen van de wiskunde, inclusief waarschijnlijkheidsrekening•Filosofie van de fysica en de chemie•Filosofie van de biologie•Filosofie van de cognitie- en de sociale wetenschappen•Filosofie van de geneeskunde en de psychiatrie" "Log-IC Beschrijving" "Luc Geukens" "Het Expertisecentrum PXL Log-IC (Logistics Intelligence Center) is een neutrale dienstverlener en de referentie voor bedrijfsprofessionalisering op het vlak van supply chain en logistiek. PXL Log-IC ondersteunt u met objectief en gespecialiseerd advies om zowel uw interne als externe logistieke flows te verbeteren. Slimme en efficiënte logistieke processen vormen immers een essentiële schakel in uw innovatietraject. PXL Log-IC biedt maatwerk voor ieder bedrijf en vertaalt een gedegen behoefteanalyse in een praktijkgerichte oplossing: van de optimalisatie van de hele supply chain, over de selectie en implementatie van logistieke softwarepakketten tot de (her)inrichting van het volledige warehouse. Daarnaast biedt PXL Log-IC expertise en advies op vlak van Business Continuity Plan (BCP) en ISO9001:2015. Tot slot kunnen logistieke professionals hier terecht voor gespecialiseerde trainingen en opleidingen op maat." "Centrum voor Logica en Wetenschapsfilosofie" "Karen François" """Het lopende onderzoek richt zich op: 1. Grondslagen van de Wiskunde; 2. Ontwikkeling van Nieuwe Logica; 3. Geschiedenis en Filosofie van de Kosmologie van de 20e eeuw ; 4. Popularisatie van de wetenschap; 5. Filosofie en Kinderen; 6. Wetenschap Retorica. In weze concentreert deze onderzoeksgroep zich op 1. Filosofie van wetenschap (met name wiskunde en natuurkunde); 2. Overdracht van kennis.""" "Afdeling ESAT - COSIC, Computerbeveiliging en Industriële Cryptografie" "Onderzoeksgroep Computerbeveiliging en Industriële CryptografieDe COSIC onderzoeksgroep heeft een ruime expertise in digitale veiligheid. Op basis van deze expertise ontwikkelt COSIC innovatieve beveiligingsoplossingen die rekening houden met privacy en gebruiksvriendelijkheid.Het onderzoek in COSIC richt zich op het ontwerp, de evaluatie en de implementatie van cryptografische algoritmen en protocollen, de ontwikkeling van beveiligingsarchitecturen voor informatie- en communicatiesystemen, het creëren van hardware en software beveiligingsmechanismen voor ingebedde systemen en het ontwikkelen van privacy-vriendelijke oplossingen. Specifieke technologieën die bestudeerd worden zijn post-quantum cryptografie, Volledige Homomorfe Encryptie, Multi-Party Computation (MPC), block chain, drempel oplossingen tegen fysische aanvallen, whitebox cryptografie, PUFs (Physical Unclonable Functions), veilige processoren en mixnets.Ons onderzoek vindt zijn toepassing in omgevingen van cloud tot het Internet der Dingen (IoT); de applicaties omvatten elektronische betalingen en cryptomunten, mobiele authenticatie, digitaal stemmen, biometrie, medische implantaten, slimme wagens en slimme steden." "Translationele Beeldvorming Onderzoeksalliantie" "Het doel van translationeel onderzoek is het vertalen van onderzoeksresultaten uit fundamenteel onderzoek naar nieuwe klinische toepassingen. Translationeel onderzoek op het gebied van beeldvorming kan onderverdeeld worden in drie topics: 1. Apparatuur voor beeldvorming De eerste doelstelling van de alliantie is het toegankelijk maken van de reeds aanwezige infrastructuur voor de onderzoekers van de twee universitaire gemeenschappen en het bepalen van een gezamelijke strategie voor toekomstige zware investeringen. 2. Beeldreconstructie en analyse Het doel van de alliantie is om de interactie tussen betrokken onderzoekers verder te stimuleren en om een gemeenschappelijk aanspreekpunt te vormen voor enerzijds nieuwe initiatieven vanuit de industrie en voor anderzijds de ontwikkeling van nieuwe algoritmes toegespitst op specifieke biologische vraagstellingen van onderzoekers binnen de onderzoeksgemeenschap UGent-VUB. 3. Moleculaire probes Met de alliantie UGent-VUB tussen de onderzoeksgroepen willen we sterker zijn bij de vraag voor budgetten voor translationeel onderzoek bij de overheid, zoals de ontwikkeling van een GMP probe (1 probe = ongeveer 1 miljoen euro). Het Fase 1 klinisch onderzoek wordt uitgevoerd op het Centrum voor Medische Beeldvorming van het UZBrussel (Prof. Axel Bossuyt, Prof. Johan de Mey, Prof. Tony Lahoutte)." "LSEC - Leaders In Security" "LSEC is een expertisecentrum Cybersecurity. Cybersecurity, Information Security & Data beveiliging zijn een belangrijke, maar complexe component in de hedendaagse trend naar digitalisering. Cybersecurity bij LSEC reikt zowel aan domeinen computerwetenschappen, crypto als electro-engineering. We houden ons eveneens bezig met Management uitdagingen, innovatie en toepassingen in verschillende verticale sectoren. We passen Cybersecurity toe in de financiële sector, media en telecom, ICT, industrie, logistiek en transport. Cybersecurity is niet beperkt tot netwerken en systemen, maar eveneens de informatie zelf, persoonsgegevens (GDPR/AVG), de mensen die er gebruik van maken (HMI, social engineering, sensibilisering, training en opleidingen). LSEC voert marktonderzoek, begeleidt innovatie-ontwikkelingen en organiseert nieuwe producten en dienstenontwikkelingen. LSEC opereert een lanceringsplatform voor buitenlandse partnerbedrijven in Europa. LSEC brengt de individuele experten van bedrijven, leveranciers en onderzoekers samen. Als een spinoff van KU Leuven (in 2002) groeide LSEC uit tot een Europese hub van expertise door een samenwerking met meer dan 465 gespecialiseerde cybersecurity bedrijven in Vlaanderen en wereldwijd. Als Digital Security Catalyst brengt LSEC eindgebruikers, onderzoekers en leveranciers bij mekaar in industriële samenwerking, projecten, conferenties en seminaries om kennis- en expertise-uitwisseling te delen. We werken samen in Vlaamse projecten (VIS/COOCK/TETRA/SBO/...) en Europese H2020 en Horizon Europe projecten (FIRE, IPACSO, TRINITY, TAKEDOWN, ACDC, Connected Factories I&II...). Onze expertises omvatten : cybersecurity, ict security, data security, cloud security, security management, identity, access control, authentication, virus, malware, analytics, AI, machine learning, virtualization security, kubernetes, containers, web application security, firewall, intrusion detection, firmware, intrusion prevention, CIA, confidentiality, mitigation, continuity, retention, end point protection, multi party computation (MPC), privacy enhancing technologies (PET), distributed ledger technologies (DLT), crypto, encryption, AES, RSA, mobile, industrial control systems, industry4.0, industrie4.0, cybersecurity for robotics ,  Cybersecurity Centre of Excellence, NIST, ISO 27000, IEC62443, data protection, privacy, GDPR, AVG, ... " "Instituut voor Bosbouw en Wildbeheer" "Departement Oncologie" "Baki Topal" "Het Departement Oncology aan de KU Leuven stimuleert innovatief onderzoek in het domein van kanker. Door een nauwe band te creëren tussen bed en bench, en door in te zetten op geavanceerde technologie, ontrafelen onze onderzoekers sleutelmechanismen die aan de basis liggen van de ontwikkeling van kanker, en maximaliseren we opportuniteiten om deze te vertalen naar betere klinische kankermerkers en nieuwe behandelingen."