Dr Anton Setzer

Dr Anton Setzer

Darllenydd, Computer Science

Rhif ffôn

+44 (0) 1792 513368

Cyfeiriad ebost

Dolenni Ymchwil

Office - 403
Pedwerydd Llawr
Y Ffowndri Gyfrifiadol
Campws y Bae
Ar gael ar gyfer Goruchwyliaeth Ôl-raddedig

Trosolwg

Mae Dr Anton Setzer yn Ddarllenydd yn yr Adran Gyfrifiadureg, Prifysgol Abertawe.

Meysydd Arbenigedd

  • Profi theoremau rhyngweithiol
  • Damcaniaeth teip
  • Damcaniaeth teip Martin-Loef
  • Cyd-anwythiad
  • Damcaniaeth prawf
  • Rhaglennu wedi'i deipio'n ddibynnol
  • Trefnolion
  • Paru patrymau