Andreas Bauer | Lambda the Ultimate

Andreas Bauer

view
track

Personal information

Gender:
male

Interests:

Formal methods in software engineering, embedded systems, runtime verification, compilers & programming languages

History

Member for:
22 years 2 days