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

Our CEO Arseniy Seroka was recently interviewed on Challenging the Status Quo, a Digital Savages podcast.

Interview with Arseniy Seroka on Challenging the Status Quo

Our CEO Arseniy Seroka was recently interviewed on the Challenging the Status Quo podcast, made by Digital Savages. It's a podcast where world-class entrepreneurs tell inspiring stories about their obstacles and how they overcome them. The main focus of the podcast is on overthrowing the status quo. 

In the episode, they talk about why Serokell is a rather unusual company, discuss things that help Arseniy confront the status quo, and go over persons and time periods that inspire Arseniy.   

You can use [this link](https://anchor.fm/digital-savages/episodes/Dont-lie-to-yourself-with-Arseniy-Seroka-epdhr5) to listen to the episode or find it on your favorite podcast platform .

Serokell Is in Top 5 Machine Learning Companies on Techreviewer

Serokell has recently been featured in the machine learning developer rankings of Techreviewer. To learn more, read this article.

Serokell has moved to the 4th place in the [machine learning company rankings](https://techreviewer.co/top-machine-learning-companies) of Techreviewer.

Techreviewer is an online aggregator that conducts research about the best software developers on the market and publishes lists of the top companies in various business domains. For more than 15 years, they help businesses find IT vendors based on market research and analytics.

We're glad that Techreviewer recognizes our expertise in machine learning, artificial intelligence, and data science to be so high as to recommend us among the leading companies for machine learning development in 2021. 

Machine learning is one of our main priorities, and we will be sure to continue to serve our machine learning customers the best we can in 2021.

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).

In 2024, Serokell was recognized by The Manifest independent research platform as one of the best IT companies.

Serokell listed as Top Smart Contract, Blockchain, NLP Development Firm

Serokell has been recognized in several categories by The Manifest, an independent research platform, as one of the best IT companies. It was named among the [top blockchain developers in the United States](https://themanifest.com/us/blockchain/companies), [smart contract companies in Israel](https://themanifest.com/il/blockchain/smart-contract/companies), and [NLP companies in France](https://themanifest.com/fr/artificial-intelligence/natural-language-processing/companies).

The Manifest is a business website that provides industry data, how-to guides, and vetted lists of top companies worldwide to help companies find a service provider. It offers hard data, reviews, expert insights, and actionable advice that companies need to build their brand and grow their business.

With solid expertise and extensive experience in blockchain, Serokell builds secure, transparent, and efficient blockchain systems. Our portfolio includes projects for the Cardano, Tezos, and Ethereum platforms.

Serokell combines its proficiency in functional programming with extensive blockchain knowledge to create secure, efficient, and reliable smart contracts. These self-executing contracts, which run on blockchain platforms, facilitate automated, transparent, and trustless transactions. Serokell’s team of expert developers utilizes languages such as Haskell, Rust, and Michelson to write robust and vulnerability-free smart contracts. Our thorough approach to auditing and testing ensures that every smart contract deployed meets rigorous security and operational efficiency standards.

Leveraging advanced machine learning algorithms and deep learning techniques, Serokell develops sophisticated NLP models that can understand, interpret, and generate human language with high accuracy, tailored to the specific needs of our customers.

We are honored by the Manifest experts’ recognition of our high-quality software development services in blockchain, smart contracts, and natural language processing. Committed to ongoing research, our team continues to sharpen their skills and deepen their expertise in all the areas we work in, including Biotech, Fintech, Big Data, SRE, and more.


Serokell Recognized as a Top Bockchain, Smart Contract and NLP Developer

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

Yato Rin

Ruben Astudillo

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