Kaposi Ambrus 1,9 millió eurós támogatást nyert az ERC pályázatán típuselméleti kutatásával
Kaposi Ambrus 1,9 millió eurós támogatást nyert az ERC Consolidator Grant pályázaton, típuselméleti kutatásával forradalmasíthatja a számítógépes bizonyítórendszereket. Kaposi Ambrus, az ELTE Programozási Nyelvek és Fordítóprogramok Tanszék egyetemi docense, 1,9 millió eurós (mintegy 781 millió forint) támogatást nyert az Európai Kutatási Tanács (ERC) Consolidator Grant pályázatán. A kutató a Magasabb megfigyelés-alapú típuselmélet (HOTT) című kutatásával nyerte el a támogatást, amely forradalmasíthatja a számítógépes bizonyítórendszerek használatát. A 2024-es pályázaton Magyarország egyedüli nyertese Kaposi, aki 928 pályázat közül került a kiválasztott 131 kutató közé. A kutatás célja, hogy új típuselméletet dolgozzanak ki, amelyben a magasabb-dimenziós geometria nem kézzel van beépítve, hanem emergens, és lehetővé teszi a matematikai bizonyítások gyorsabb és automatizált ellenőrzését.
További tartalom #Kultúra
Hirdetés #
Szijjártó szerint egyre ellenségesebb velünk Ukrajna, az OTP miatt blokkolja a kormány a félmilliárd eurós uniós támogatást
Közölte, hogy amíg Ukrajna a háború nemzetközi szponzorainak listáján tartja az OTP-t, Magyarország ...
Egymilliárd eurós támogatást hagyott jóvá az Európai Bizottság, Magyarország is kap belőle
Egy közös egészségügyi projekt megvalósítása a cél.
Létrehozzák a holokauszt helyszíneinek európai hálózatát, az EU 3 millió eurós támogatást ad
A holokausztra való emlékezést segítő hálózat hosszú távon, jelentős mértékben járul majd hozzá a ho...
Tíz év után távozik a Kaposi Mór Oktató Kórház főigazgatója
Több mint tíz kórházvezetői év után, április elsejével távozik Dr. Moizs Mariann PhD, a Kaposi Mór O...
Akár 2 millió forint támogatást is szerezhetsz környezeted zöldítésére a Zöld Oázis pályázatán
Egy modern város zöld terek nélkül hamar élhetetlenné válhat, hiszen esztétikai előnyei mellett a zö...
469 nyertest hirdettek a Magyar falu program pályázatán
Négyszázhatvankilenc kistelepülés nyert el forrást önkormányzati tulajdonú utak, hidak, járdák és ke...
Magyar sikerek Strasbourgban, az Európai Családszövetség alkotói pályázatán
A t’ARS Keresztény Képzőművészeti Műhely Ki számomra Szent József? című alkotói felhívása alapján hi...
Uniós feltételek: Makacskodik a kormány, 750 millió eurós támogatást kockáztat
Bóka János igazságügyminiszter-helyettes szerint a magyar kormány és Brüsszel között a civil társad...
Csak a gyengék dobják ki a kóróvá aszalódott fát már júliusban. Az igazán komoly arcok megvárják, míg megveszik a következőt.
Legkevesebb 31 palesztin halt meg a Gázai övezetben izraeli támadásokban szerdán palesztin jelentések szerint. Legkevesebb huszonketten vesztették életüket a Gázai övezet északi részén fekvő Bét Lahia nevű palesztin település ellen
A Tempest fejlesztéséhez elengedhetetlen az a repülő labor, ahol a vadászgép különböző rendszereit tesztelhetik – ez az Excalibur. A Leonardo vállalat a 2Excell-lel és az Egyesült Királyság Védelmi Minisztériumával közösen siker
Pennsylvaniában, vagyis az elfogása helye szerint illetékes bíróságon hallgatták meg tegnap a Brian Thompson egészségbiztosítási vezérigazgató meggyilkolásával gyanúsított huszonhat éves férfit. Luigi Mangione meghallgatása a kiad
Jól megdrágult a magyarok egyik kedvenc édessége, amelyet tavasszal fogyasztunk
De még mindig nagy rá a kereslet.
Népszava: A recski bányában továbbra is zajlanak a robbantások, miközben még folyik a sárlavina miatti rendőrségi vizsgálat
A károsultak ügyének rendezése sem halad gyorsan.
2 in 1: ultrabook és tablet, következetes minőségben - Asus ZenBook 14 Flip OLED - Tech Vibes
Az Asus megbízható ZenBook szériája a produktivitásra fekteti a hangsúlyt és ezúttal az érintőtoll s...
Országos ünnepség a Csemadok megalakulásának 75. évfordulójára
Érsekújvár. 75 évvel ezelőtt, 1949 márciusában alakult meg a felvidéki magyarság máig legnagyobb kul...
Hiába tiltott le egy rakás parancsot, még mindig problémás a Microsoft képgenerátora
Úgy néz ki, hogy a redmondiak nem igazán tudnak úrrá lenni a Copilot Tervezőn.
Mégsem omlanak össze a Kétfarkú Kutyák
Szavazott a tagság, maradnak Kovács Gergelyék és indulnak az előválasztáson is.
Keleti Andrea és édesanyja őszintén vallott a kapcsolatukról: Ibolya a lánya esküvőjén döntötte el, hogy újra férjhez megy
Keleti Andrea ritkán látott édesanyjáról mesélt, Ibolyával rendkívül szoros a kötelék köztük....
„Moccanni sem bírtam” – férfiak is kipróbálhatják a menstruációs fájdalmat
Egy japán fejlesztésű eszköz képes férfiak számára is érzékeltetni a menstruáció okozta görcsök fájd...