Serokell is a software engineering company focused on functional programming, distributed systems, and formal methods. The company specializes in building high-assurance software for industries such as blockchain, fintech, and artificial intelligence.