Banner that links to Serokell Shop. You can buy stylish FP T-shirts there!

Gone wild

Serokell got listed on a B2B marketplace DesignRush as one of the best fintech software development companies as of August 2021.

Serokell Ranked in Top Fintech Software Development Companies

Serokell Ranked in Top Fintech Development Companies

Serokell is mentioned among the best [fintech software development companies](https://www.designrush.com/agency/software-development/fintech) on the ranking platform DesignRush.

DesignRush is a B2B marketplace connecting brands with agencies. We are in the 14th position in their top 30 companies that provide the most reliable and efficient custom fintech software solutions worldwide.

We’re glad that DesignRush recognizes our [expertise in fintech](https://serokell.io/fintech-development) software development and sees us as a trustworthy partner.

Serokell Among the Best Fintech Software Development Companies

SelectedFirms acknowledges Serokell as top IT agency and a leading blockchain development company of 2023

Serokell company listed as top custom software developers

SelectedFirms, a trusted B2B research and analysis portal, has recognized Serokell as one of the [top custom software](https://selectedfirms.co/companies/software-development/usa) and [blockchain development companies](https://selectedfirms.co/companies/blockchain-development) of 2023. 

As a directory for B2B companies seeking reliable partners to meet their business objectives, SelectedFirms conducts in-depth research and analysis to identify the industry's top players. 

Serokell offers software development services across diverse industries. Our company has been ranked by numerous platforms, including SelectedFirms, among the top [US IT companies](https://selectedfirms.co/companies/it-services-companies/usa). 

Our team consists of professionals experienced in creating bespoke blockchain solutions, advanced AI models, and sophisticated IT systems. We conduct software development projects across multiple sectors, including Edtech, Biotech, Fintech, and Manufacturing. 

Serokell's approach focuses on converting complex business requirements into workable solutions. We create software that accelerates time-to-market and optimizes costs for our clients.

We value transparent and collaborative relationships with our clients. Our work spans from project initiation to delivery, and is based on R&D to create the most beneficial solution for our partners and their clients.

About SelectedFirms

SelectedFirms showcases meticulously curated innovative enterprises and talent across various domains, including technology, design, marketing, and more. The platform provides a diverse range of options for both established companies seeking new collaborations and startups in search of strategic partnerships. Its objective is to bring together businesses with a shared goal of transforming their respective industries.

Leading IT & Blockchain Development Company of 2023

Read about the participation of our logician Danya Rogozin at LCFS 2020 and the thesis about which he gave his talk there.

##

On the 7th of January, Danya Rogozin participated in the conference Logical Foundation of Computer Science, Miami, Deerfield Beach. [LFCS](https://lfcs.ws.gc.cuny.edu/lfcs-2020/) is a logical and computer science conference, topics of which cover such areas as constructive mathematics, type theory, proof theory, foundations of mathematics, etc. 

![logical foundations of computer science](/files/0f/0f2k6r53.logo_general2.png " ")

Danya gave a talk on the results that he obtained in his thesis two years ago. The title is Modal Type Theory Based on the Intuitionistic Modal Logic ${\bf IEL}^{-}$. This logic [was introduced by Sergei Artemov and Tudor Protopopescu](https://arxiv.org/abs/1406.1582) to solve some issues related to constructive aspects of agent knowledge and belief.

## Considering modal logic from a computational perspective

This logic was considered from a computational perspective. It's a quite curious coincidence that axioms of this logic are pretty similar to the types of methods `pure` and `(<*>)` in the Applicative class well-known in Haskell. In this work, he considered the modal typed lambda calculus that is Curry-Howard isomorphic to the logic ${\bf IEL}^{-}$ and shown such metatheoretical properties as subject reduction, strong normalisation, and confluence.

To get a closer look, you may check out [the proceedings book](https://www.springer.com/gp/book/9783030367541), where the articles based on the speakers' talks are fully presented.

Also, if you want to read some of Danya's introductory work about modal logic, feel free to head to his [excellent post series](https://serokell.io/blog/incomplete-and-utter-introduction-to-modal-logic) on our blog. In it, he covers the basics of modal logic and explores its connections to fields such as computer science, topology, and foundations of mathematics.

Serokell at LCFS 2020

We are proud to be named among the Top IT outsourcing companies by SoftwareOutsourcing platform

Serokell recognized as top IT outsourcing company

Serokell has been included in the Top IT outsourcing companies by <a href="https://softwareoutsourcing.com/companies/it-outsourcing/">SoftwareOutsourcing.com</a>.


SoftwareOutsourcing is a leading platform that connects businesses and global service providers in mobile/web application development, IT infrastructure management, DevOps development, blockchain development, and more.


What sets SoftwareOutsourcing apart is its emphasis on quick communication, thorough research, and careful selection to showcase the best that the global IT industry has to offer. The platform provides comprehensive, unbiased, and up-to-date information about IT firms, including their services, pricing structures, and areas of expertise.


Serokell designs software for technology-intensive industries, including Fintech, Blockchain, Biotech, Oil & Gas, E-commerce, and others. Over the past five years, in addition to our expertise in functional programming, we have actively developed our machine learning department. Our company also contributes to open-source projects, creates training programs, participates in conferences, and regularly shares its expertise on <a href="https://serokell.io/blog">our blog</a>​.


We are proud that our quality software development services have earned us recognition from Software Outsourcing and promise to maintain and elevate high standards in our work.

Software Outsourcing Ranks Serokell  in the Top IT Outsourcing Companies

Viktor Kazanski

Denis Oleynikov

Pavel Golovin

Mika Logan

Constantine Ter-Matevosian

Alexey Danilevsky

Vladimir Serov

Nikolay Yakimov

Inna Logunova

Ivan Smetannikov

Aleksandr Pak

Leonid Vasilev

Ilya Lubimov

Andrey Borzenkov

Markus Barenhoff

Kirill Kizilov

Kristina Martin

Nurlan Alkuatov

Jay Zelenskyi

Adrián Enríquez

Anton Sorokin

Uliana Sushinskaia

Vadym Salnyk

Daniel Kazantsev

Vito Canadi

Chris Höppner

Lars Jellema

Yorick van Pelt

Yegor Timoshenko

George Agapov

Kirill Andreev

Brian Kean

Val Baturin

Kyrill Briantsev

John Burnham

Ivan Dolgakov

Kirill Elagin

Pavel Gliev

Joakim Goldkuhl

Ivan Gromakovsky

Kostya Ivanov

Murat Kasimov

Alexander Rukin

Vasiliy Kevroletin

Mikhail Kilianovski

Maxim Koltsov

Dmitry Kovanikov

Artem Kuznetsov

Nikita Lisitsa

Allan Lukwago

Dmitry Mukhutdinov

Alexander Nikolaev

Dmitry Nikulin

Konstantin Andriotis

Artem Ohanjanyan

Ilya Peresadin

Pasquale Pinto

Danya Rogozin

Rinat Stryungis

Alexander Tiunov

Paul Tsupikoff

Mitchell Vitez

Josef Vlach

Mikhail Volkhov

Murad Murzaev

Vladislav Zavialov

Arseniy Seroka

Jons Mostovojs

Felix Stegerman

Roman Melnikov

Jaroslav Shadrin

Marina Sharygina

Leonid Cupikov

Ping Chen

Sergey Litovchenko

Nadir Asanbekov

Dmitry Lifanov

test1

Domagoj Cerjan

Ellina Poponnikova

Dmitrii Susloparov

Damir Garifullin

Aleksandr Pakulev

Kirill Kuvshinov

Roman Alterman

Anton Dobrenkiy

Alexandra Voicehovska

Eduard Sachava

Sandeep Chandrika

Grigory Pevnev

Artem Velychko

Olga Bolgurtseva

Yulia Gavrilova

Zhenya Vinogradov

Alexander Bantyev

Stepan Prudnikov

Moremi Vannak

Fedor Fedorov

Krisztián Ádám

Alyona Antonova

Artem Yurchenko

Diogo Castro

Heitor Toledo Lassarote de Paula

Ilona Prikule

Natalya Kokova

Daria Smirnova

Serokell PR

Gints Dreimanis

Ivan Markov

Andrey Demidenko

Dmitriy Mozhevitin

Iurii Kravchenko

Vlad Shcherbina

Preetham Gujjula

Dina Safullina

Alexey Khaciyants

Dmitri Puzyrev