Cynhadledd Parhad, Cymharedd, Adeiladwaith yn Faro.

Ulrich ac Olga wedi mynychu cyfarfod prosiect CID blynyddol ac yn mynd i roi sgyrsiau yn y gynhadledd Parhad, Cymharedd, Adeiladwaith yn Faro.

Ymwelodd Monika, Olga ac Ulrich â UC fel rhan o brosiect CORCON yr UE

Monika, Olga ac Ulrich wedi ymweld â UC fel rhan o brosiect CORCON yr UE yn Ebrill 2017

Trosolwg o'r Grŵp

Mae'r 'Grŵp Theori' yn gwneud ymchwil mewn ystod eang o bynciau mewn Cyfrifiadureg Damcaniaethol.

Beth yw Cyfrifiadureg Damcaniaethol?

Mae Cyfrifiadureg Damcaniaethol (TCS) yn defnyddio dulliau mathemategol a rhesymegol i ddeall natur cyfrifiant ac i ddatrys problemau sylfaenol sy'n codi trwy ddefnydd ymarferol beunyddiol o systemau cyfrifiadurol.

Mae llawer o lwyddiant TCS yn ddyledus i Alan Turing (1912-1954), y mae llawer yn ei ystyried yn dad i TCS, ac i Kurt Gödel (1906-1978), sylfaenydd rhesymeg fodern. Rhoddodd Turing ddiffiniad manwl gywir o'r syniad o gyfrifiannu trwy ei beiriannau Turing a dangosodd fod yna broblemau cyfrifiadurol na fydd unrhyw gyfrifiadur, pa mor bwerus bynnag, byth yn gallu eu datrys. Dangosodd Gödel y gellir ffurfioli a mecaneiddio ymresymu rhesymegol yn llawn, ond ar y llaw arall, mae llawer o briodweddau strwythurau data a systemau cyfrifiadurol yn eu hanfod yn amhendant, nad yw'n brofadwy nac yn wrthbrofadwy.

Yn seiliedig ar fewnwelediadau sylfaenol Turing a Gödel, a ddangosodd bŵer a chyfyngiadau cyfrifiant a rhesymeg, datblygodd TCS amrywiaeth eang o ddulliau i brofi cywirdeb system gyfrifiadurol ac i ddarganfod gwallau meddalwedd cyn iddynt arwain at fethiannau cyfrifiadurol trychinebus. Mae TCS hefyd yn asesu anhawster cynhenid ​​​​problemau cyfrifiadurol, yn datblygu dulliau newydd effeithlon i ddatrys problemau cyfrifiadurol caled ac yn darparu methodolegau pwerus ar gyfer datblygu meddalwedd cywir a dibynadwy.

Mae prif bynciau TCS yn cynnwys Theori Algorithmau, Strwythurau Data, Theori Cyfrifiadura, Cymhlethdod Cyfrifiadurol, Modelau Cyfrifiant, er enghraifft Cyfochrog, Dosranedig, Cydamserol, Tebygol, a Chyfrifiant Cwantwm, Theori Automata ac Ieithoedd Ffurfiol, Damcaniaeth Gwybodaeth, Rhesymeg mewn Cyfrifiaduron Gwyddoniaeth.

Mae Grŵp Theori Abertawe yn enwog yn rhyngwladol am ei ymchwil mewn Rhesymeg mewn Cyfrifiadureg. Mae meysydd ymchwil gweithredol yn cynnwys: Damcaniaeth Gyfrifiadurol, Cymhlethdod Cyfrifiadurol, Theori Prawf, Theori Math, Theori Gêm, Cydredeg, Deallusrwydd Artiffisial (Datrys Boddhad, Systemau Aml-asiant, Damcaniaeth Dadl, Dysgu Peiriannau, AI a'r Gyfraith), a Dulliau Ffurfiol (Seiberddiogelwch , Technoleg Blockchain, dilysu Systemau Rheoli Rheilffordd).

Mae'r ymchwil ar Systemau Rheoli Rheilffyrdd wedi arwain at ffurfio Grŵp Gwirio Rheilffyrdd Abertawe a gyflwynodd Astudiaeth Achos Effaith hefyd.

Mae is-grŵp arall yn ddiweddar yn astudio Sefydliad Addysgol, Hanesyddol ac Athronyddol Cyfrifiadureg.

Gwybodaeth Ehangach am y Prosiect