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

Monad

Recently, Serokell has been awarded the Top Writer in Artificial Intelligence badge on Medium.

Serokell Is a Top Writer in Artificial Intelligence on Medium

Serokell blog is a place for our specialists to talk about things that matter them. We frequently cover areas like functional programming, machine learning, and blockchain. We also feature the best blog posts on our [Medium page](https://medium.com/@Serokell). 

Recently, we have been awarded the Top Writer in Artificial Intelligence badge on Medium. It’s great to see that repeated work and activity gets rewarded on the platform. 

If you want to read some of our best articles on artificial intelligence and machine learning, here are a few:

*   [Artificial Intelligence vs. Machine Learning vs. Deep Learning: Essentials](https://serokell.io/blog/ai-ml-dl-difference)
*   [Machine Learning Algorithm Classification for Beginners](https://serokell.io/blog/machine-learning-algorithm-classification-overview)
*   [27 Best Resources to Study Machine Learning](https://serokell.io/blog/top-resources-to-learn-ml)

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

Serokell rated among the top software development agencies in the USA by superbcompanies.com in March 2023

Serokell in the List of Top IT Companies in the USA by the SuperbCompanies Platform

Serokell has been included in [SuperbCompanies.com's](https://superbcompanies.com/categories/software-development-companies-in-usa/) list of top software development firms in the USA for our high-quality IT services and extensive experience in various areas, ranging from functional programming and SRE to AI and data science.
 list of top software development firms in the USA for our high-quality IT services and extensive experience in various areas, ranging from functional programming and SRE to AI and data science.

SuperbCompanies is an independent B2B market research and analysis platform offering ratings and rankings for software development, testing, marketing, and PR firms. The platform provides businesses with objective and up-to-date information. Each month, it releases lists of the best service providers in various industries and regions. The selection process entails extensive research, considering factors such as the company's ability to provide quality services, industry experience, brand reputation, customer reviews, independent awards, and more.

The ranking is critical in all these industries, where quality and reliability are paramount. The creators of SuperbCompanies are seasoned professionals who have spent over a decade helping their clients find the right partners. By regularly publishing rankings, SuperbCompanies enables its users to identify the most authoritative players in their respective markets. 


Serokell offers expertise in diverse software development niches, including fintech, edtech, blockchain, biotech, and other advanced fields. Besides Haskell, our experienced team uses other programming languages, such as Python, Rust, TypeScript, Nix, OCaml, and Elixir. This enables us to enhance the functionality and flexibility of the clients' products worldwide, ensuring that their solutions meet the requirements and customers’ expectations.

We are grateful to SuperbCompanies for the recognition we have received. We wish the platform continued success and prosperity.

Serokell Among the Top IT Companies in the USA

Serokell has been named as one of the top Artificial Intelligence companies by TopDevelopers.

Serokell recognized among the Top AI Companies in the US

Serokell has been named as one of the [top Artificial Intelligence companies](https://www.topdevelopers.co/directory/ai-developers) by TopDevelopers. The platform has carefully curated a collection of highly skilled AI developers in the rapidly advancing field of artificial intelligence. All the companies have been verified and recognized for their exceptional skill sets and innovative approaches, which are crucial for developing AI applications. 

The team at TopDevelopers.co evaluates companies based on various criteria, including expertise, quality of work, reliability, customer feedback, as well as certifications and awards.

Serokell is delighted to be acknowledged and included in this ranking, highlighting our services' quality.

We leverage Python to develop custom machine learning models for tailor-made applications that enable our clients to effectively manage their data, make accurate forecasts, create lookalike audiences, and streamline their operations. This programming language is especially suitable for developing flexible and scalable ML solutions. With Python's versatility, we can create software tailored to various industries, such as fintech, insurance, e-commerce, and retail. Python is widely recognized as the go-to language for implementing behavioral analysis, personalized ad campaigns, and AI-powered trend predictions. With seven years of experience working with this language, Serokell is well-equipped to deliver fast and seamless product launches.

Our ML solutions include computer vision, natural language processing, business intelligence, recommender systems, chatbots, and more. We assign a dedicated team of developers with specific expertise to each project. Additionally, we offer the flexibility to rapidly expand our clients' teams as needed, ensuring timely and efficient execution.

We take great pride in being acknowledged as leaders in the field of artificial intelligence project development by the esteemed independent experts at TopDevelopers.

Serokell Recognized as One of the Top AI Companies by TopDevelopers

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