Babel Research Group
Languages and tools for developing reliable software.
We develop, teach, and use techniques for modern software engineering.
Functional Programming
Elixir / Erlang / Haskell
Advanced Testing Techniques
Property-Based Testing
Formal Methods
Runtime Verification / Safety Critical Systems
Logic Programming
Constraints Programming
Technology for Development
Inclusion / Digital Literacy
