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

Cringy

Our CEO Arseniy Seroka has recently been interviewed by ITFirms, a B2B research and rating company. In the interview, he speaks about software development, functional technologies, and our approach to working with clients.

ITFirms Interviews Serokell CEO Arseniy Seroka

> "Understanding the pains and desires of the client and speaking the same language as them is highly important. And, of course, honesty and trust. We would never take a project that we do not believe in." — Arseniy Seroka

Our CEO Arseniy Seroka has recently been interviewed by [ITFirms](https://www.itfirms.co/), a B2B research and rating company. In the interview, he speaks about software development, functional programming technologies, and our approach to working with clients. 

If you wish to read the interview, it is available on the [ITFirms website](https://www.itfirms.co/interview-with-arseniy-seroka-ceo-serokell/). 

![Three of our executives at Web Summit; Arseniy in the middle](/files/nc/nc23lz77.20191107_175137_(1).jpg)

If you want to learn more about Serokell and our way of working, you can also check out the interviews with Arseniy on [ITMO News](https://news.itmo.ru/en/news/9230/) and [HuntIT](https://serokell.io/blog/haskell-at-200-mph), or browse the [interview](https://serokell.io/blog/interviews) section of our blog.

Serokell receives The Manifest Awards as one of the top 15 B2B companies in Estonia, based on client reviews.

Serokell recognized among the top B2B Companies in Estonia in 2023

We're thrilled to announce that Serokell has been recognized by The Manifest Awards as the top [most reviewed B2B company](https://themanifest.com/press-releases/awards-manifest-estonia-2023?utm_medium=email&_hsmi=268730676&_hsenc=p2ANqtz-8z7XUQ8HJzvyI8frFbRyOW1No24MsCO_IWkue-lZ4uzy6J-xSmSoz3THJDGJExwYD-ZPi352vPHvmVgiRvdaRDjmKDZKGs8RKftG0ZqbyBrakcpDc&utm_content=268730676&utm_source=hs_email) in Estonia. The award, hosted by the software development, marketing and business listing platform, The Manifest, is an industry-standard recognition that celebrates best-performing companies based on client reviews. 

This award follows a year marked by numerous successful projects, the expansion of our client base, and contributions to the developer community. 

As a research-driven company, we combine a scholarly approach with the knowledge and understanding of real-world business challenges to create custom solutions for our clients.

Our portfolio encompasses a wide range of projects, from developing new cryptocurrencies and finance platforms with Distributed Ledger Technology (DLT) and smart contracts to AI projects, and designing domain-specific programming languages. Some notable projects include establishing a token ecosystem on the Ethereum network, creating an ML-based time-to-failure prediction system for electric locomotive engines, enhancing real-time game analysis software for baseball teams, developing a KYC-compliant cryptocurrency exchange, and improving the functional capabilities of the Tezos blockchain platform through programming languages.

We employ cutting-edge programming languages, such as Haskell, TypeScript, Python, and Elixir, which empower us to build robust, resilient, flexible, and user-friendly large-scale systems.

At Serokell, spreading knowledge is a core value, and we regularly share our latest research findings at conferences, publications, and on our company blog.

In addition to our software development efforts, we are proud of our Serokell Academy—an educational initiative catering to programmers and business professionals seeking innovative tech solutions. The Academy offers a wide array of free video lectures covering topics like functional programming, cybersecurity, machine learning, and more.

Among our latest initiatives is the first-ever Haskell certification program. Serokell has become the only official certifier vetted by Haskell.org. This program is set to change the job market as it will make it more centralized, enabling businesses to assess  the actual expertise of the programmers. Additionally, it will  significantly facilitate Haskell learning for programmers.

We see The Manifest Awards as a testament to the trust and appreciation of our work and the high-quality solutions we offer, as well as a motivation for the future. 

We'd like to take a moment to thank our dedicated team, our clients, and everyone who's been part of our journey so far.

Stay tuned to our blog for more updates and news on our latest projects, achievements, and insights.

Serokell Receives The Manifest Awards

Serokell has been included in the list of Top AI Development Companies by the respected SuperbCompanies platform.

Serokell is in the list of Top AI Development Companies

Serokell has been included in the list of [Top AI Development Companies](https://superbcompanies.com/categories/ai-development-companies/) by the respected SuperbCompanies platform. 

SuperbCompanies’ specialists have conducted a thorough analysis of AI development companies worldwide and compiled a list of leading developers known for their exceptional solutions and work ethos. The platform has particularly highlighted Serokell's high proficiency and innovative contributions in AI development.

At Serokell, our passion for innovation drives us to combine cutting-edge technology with deep industry expertise, enabling us to create AI solutions that redefine what's possible in Fintech, Biotech, Blockchain, Oil & Gas, E-commerce, and other industries. We design custom, research-based solutions for each project, leveraging such AI technologies as computer vision, machine learning, natural language processing (NLP), and predictive analytics.

The recognition from SuperbCompanies inspires us to continue providing our clients with transformative solutions that set industry benchmarks. We are grateful for this honor, which motivates us to solve the most complicated problems and thus advance AI development on a broader scale.


Serokell Listed among the Top Top AI Developers

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

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

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