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

Lazy by nature, limited edition

Serokell has been named one of the top 15 machine learning companies by Techreviewer in 2024.

Serokell among top software developers USA

Serokell has been named one of the [top 15 machine learning companies](https://techreviewer.co/top-machine-learning-companies) in 2024 by Techreviewer. This leading analytics platform conducts studies and publishes lists of the best IT companies. 

Techreviewer is a trusted resource for businesses seeking reliable software development partners. The platform's experienced analysts thoroughly evaluate companies across various factors, including technical expertise, client feedback, and industry recognition.

Techreviewer provides objective and unbiased reviews, enabling organizations to make informed decisions when selecting software development partners.

Serokell's experts leverage computer vision, natural language processing, and other ML technologies to design custom solutions for enhanced data analytics and improved efficiency, security, and safety of operations through automation.

Additionally, Serokell has been included in the list of [best software developers in the USA.](https://techreviewer.co/top-software-development-companies-in-usa)

Serokell is honored by the prestigious recognition of its high-quality software development services and is dedicated to continued innovation and maintaining its leading position in the market.


Serokell Recognized as a Leading Machine Learning Company in 2024

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

#SerokellChat on June 4th!

Learn tips and strategies to use when applying for software jobs, and which parts of Haskell are necessary to know to work in industry.

We will be hosting the next edition of #SerokellChat on 4th of the June at 2 PM GMT. 

Fitting for the second edition, this instance of our Twitter chat will have not 1, but 2 special guests! 

![Serokellchat banner](/files/gm/gmc3fniy.twitter2.jpg " ")

Since “how to get a Haskell job?” was an interesting topic to discuss, we’ve decided to delve deeper into it. 

One of our guests is Alexandra Voicehovska, our HR manager responsible for the day-to-day hiring process. If you apply for a job at Serokell, she is the one you are looking to impress. 

The other guest is none other than our Chief Architect Officer Jonn Mostovoy. As one of the co-founders of Serokell, he is the one who set the hiring philosophy of Serokell in motion. 

Both of these guests have experience with being on the company side of the hiring process. We think they can give valuable insight into how to present yourself in the best light and which skills to master to have the best chance at getting that elusive Haskell position. 


## What is a Twitter chat?

To join, find us at the [#SerokellChat](https://twitter.com/search?q=%23serokellchat) hashtag on 4th of June at 2 PM GMT, and participate in a discussion together with other Haskell enthusiasts and Serokell employees that work on actual production-grade Haskell code.

We will post 5 questions to guide the discussion, and you are welcome to discuss the questions with our special guests. The are a few rules to make it clearer for everyone to participate: 

1. Start the tweet with A + the number of question you're answering. 
2. Tag the tweet with #SerokellChat so that every participant can see it. 

![rules for Twitter chat image](/files/lo/loujetca.grpahics.jpg " ")

Everybody is welcome to participate. Book the time, follow us on [Twitter](https://twitter.com/serokell), and see you at #SerokellChat! Meanwhile, you can see a quick summary of the previous chat [on our blog](https://serokell.io/blog/serokellchat-wrap-up).

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

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

Jonn Mostovoy

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