Anton Setzer, Dipl-math. (Munich), Dr. rer. nat. (Munich), Docent (Uppsala)

Lecturer in Computer Science, UW Swansea

• Contact Information in Swansea can be found here

• Lecture Courses:
  • Current
    • Computer Systems: Processors, Memory, Data (CS_M33)
    • From Languages to Hardware (CS_113)
    • Critical Systems (CS_411)
  • Previous
    • Proof Theory Course
    • Course Algebra MN3
    • Course on Constructive Logic and Lambda Calculus
    • Lecture series: Introduction to intuitionistic Type Theory

• An overview over my research can be found here.
• Software
• Informations for tutorial students
• Articles,lecture notes

• Links to Logic-servers world-wide
• Links
• Private Interests
• Private (only readable for myself)
• Back to my homepage