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

Lazy by nature, limited edition

Serokell has been awarded the JEI (Jeune Entreprise Innovante) status in France. The JEI, or "Young Innovative Company" status, is a French government program designed to support and encourage enterprises engaged in substantial research and development activities, thus fostering innovation.

Serokell awarded the JEI status in France


We are thrilled to announce that Serokell has been awarded the JEI (Jeune Entreprise Innovante) status in France. 

The JEI, or "Young Innovative Company" status, is a French government program designed to support and encourage enterprises engaged in substantial research and development activities, thus fostering innovation. This status is granted to companies whose projects meet specific criteria regarding the use of novel approaches and technologies.

Being recognized by the French government as a JEI signifies official acknowledgment of our innovative capabilities and potential. 

We are honored by the endorsement, which opens us more opportunities to attract top talent, partners, and clients who value cutting-edge development


Serokell Recognized as a Young Innovative Company (JEI) in France

Serokell Sponsors Bioinformatics Contest 2021

Bioinformatics Contest 2021 is a programming competition where people from all around the world compete by solving bioinformatics problems. This year, we are proud to be one of their sponsors.

[Bioinformatics Contest](https://bioinf.me/en/contest) is a programming competition where participants use their programming & data analysis skills and their knowledge in genomics & molecular biology to solve bioinformatics problems. 



It’s organized by a host of collaborators such as [Bioinformatics Institute](https://bioinf.me/en), [ITMO University](https://en.itmo.ru/en/), and others. 

This year, we are proud to be among the sponsors of this contest together with companies like Yandex and JetBrains. 

Our mission is to promote the field of biotech and the use of functional programming to create reliable biotech solutions, and supporting great bioinformatics initiatives like Bioinformatics Contest is one of the best ways we can accomplish that.

Daniel Rogozin's Paper Released in the Journal of Logic and Computation

Recently, a paper of one of our employees was released in the Journal of Logic and Computation. Read more details about the paper in this article.

D.Rogozin's Paper Released in Journal of Logic and Computation

Last year, Daniel Rogozin participated in a conference called Logical Foundations of Computer Science (Miami, USA, 2020). The contribution was the conference paper and lecture on the computational interpretation of some intuitionistic modal logics. [For more info, check this brief report about the conference](https://serokell.io/blog/lcfs-2020).

The extended paper has been recently released in the Journal of Logic and Computation (Oxford University Press). [The previous article](https://link.springer.com/chapter/10.1007/978-3-030-36755-8_15) was about questions related to syntax. In other words, Daniel was considering the modal typed lambda calculus based on the curious system of intuitionistic modal logic where he proved such properties as confluence and strong normalization.

The extended paper covers a broader class of topics. In addition to syntax, Daniel also proposed semantic analysis of those intuitionistic modal logics. In this paper, he proved that the obtained modal lambda calculus is complete with respect to cartesian closed categories equipped with coalgebras obtained from the monoidal endofunctor. That provides essential categorical intuition for evaluation in this type theory.

Additionally, he analyzed a class of logics by means of Kripke-Joyal semantics. This kind of semantics arose from topos theory and generalisation of the underlying topological notions proposed by Grothendieck. The modalities might be interpreted as prenuclear operators used in point-free topology. This version of topology studies topological spaces as lattices of open neighbourhoods without mentioning geometric points. As Newton said: “if I have seen further, it is by standing on the shoulders of Giants”. This aphorism illustrates the paper since this part of the article develops [Robert Goldblatt's ideas](https://academic.oup.com/logcom/article-abstract/21/6/1035/945244).

The paper [is available online](https://academic.oup.com/logcom/advance-article-abstract/doi/10.1093/logcom/exaa082/6049830), and it is to appear in the special issue of the Journal of Logic and Computation prepared by Sergei Artemov (City University of New York) and Anil Nerode (Cornell University).

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