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

Searching for new FP content to watch? We’ve just launched our new page for Serokell Academy.

Watch Programming Lectures from Serokell Academy

Searching for new FP content to watch? We’ve just launched our new page for Serokell Academy. 

Serokell Academy is an initiative where we host regular talks and lectures by industry experts about software development, machine learning, cybersecurity, and multiple other areas.

![Serokell Academy](/files/49/494ex80w.preview.png)

Our main goal is to help developers expand their skill sets and distribute knowledge about non-mainstream topics like functional programming.

Right now, all past Serokell Academy lectures are available on our [Academy page](https://serokell.io/academy). If you wish to watch, listen live, or participate as a speaker, we recommend checking it out. 

Our next talk will be about detecting fake news with machine learning. If that is a topic you’re interested in, you can read more and add it to your calendar [here](https://serokell.io/academy#participate).

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

Serokell is mentioned among the top European developers on the independent IT market research platform Good Firms.

Serokell is listed among the top European developers

Serokell is mentioned among the top European developers on the independent IT market research platform goodfirms.co. We got to the top 10 for several directions, including [the leading AI firms](https://www.goodfirms.co/artificial-intelligence/estonia), [the best blockchain technology companies](https://www.goodfirms.co/directory/country/list-blockchain-technology-companies/estonia),  [the top big data analytics companies](https://www.goodfirms.co/big-data-analytics/estonia), one of the best Internet of Things companies, etc. 

It’s a pleasure to be listed among  IT industry leaders by independent researchers like GoodFirms.

Serokell is Mentioned Among the Top European Developers

TopDevelopers updated the list of top blockchain development companies for 2023, and Serokell is again among the leaders.

Serokell listed among Top Blockchain Developers 2023

Serokell has been included in [the 2023 list of top blockchain development companies by TopDevelopers](https://www.topdevelopers.co/directory/blockchain-developers-in-usa). 

TopDevelopers is a platform that helps businesses identify a reliable software development partner by providing a directory of IT firms. The listing is thoroughly curated based on extensive research and analysis of industry-specific parameters.

One of the most important criteria for evaluation is the IT company's capacity to deliver quality software. TopDevelopers focuses on the firm's web and app design and development processes and the time required to build and provide the solution. The company's proficiency in mobile app development across various platforms, including Android, iPhone, iPad, wearables, and the web, is also considered.

[TopDevelopers](https://www.topdevelopers.co) employs four key metrics to assess reliability: market presence, market penetration, experience, and social media mentions and reviews.

Another criterion is customer feedback, which provides a comprehensive picture of the quality of services offered by the company. 

Serokell is proud to be recognized among the best blockchain development companies. Our commitment to delivering top-notch and secured services to our clients is the cornerstone of our business. We prioritize quality and safety of customer assets above all. Moving forward, we remain dedicated to investing in cutting-edge technology to maintain our position as a leader in the field of fintech development.

Serokell Recognized as Top Blockchain 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

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