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

Cringy

Russian education company, Hexlet, has recently interviewed one of our software developers that work on Glasgow Haskell Compiler: Vladislav Zavialov.

Interview With Vladislav Zavialov by Hexlet

Russian education company, Hexlet, has recently interviewed one of our software developers that work on Glasgow Haskell Compiler: Vladislav Zavialov.  
 
The title of the interview was “What do you expect from a junior developer?”, and it featured multiple other experts.  
 
You can read the interview [on Hexlet’s blog](https://ru.hexlet.io/blog/posts/chego-vy-zhdyote-ot-dzhuniora-otvechayut-rukovoditeli-i-opytnye-razrabotchiki) (in Russian).

If you wish to read other articles by Vladislav Zavialov, head to his recently published [10 Reasons to Use Haskell](https://serokell.io/blog/10-reasons-to-use-haskell) or follow him on [Twitter](https://twitter.com/int_index).

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 at TQuorum Berlin

At the end of August 2019, Serokell's team of developers participated at TQuorum Berlin. Read this event recap to learn more about our experience there and the variety of innovations being done on the Tezos blockchain.

Serokell at TQuorum Berlin 2019

At the end of August 2019, our team participated in the Berlin edition of TQuorum, a global gathering of [Tezos](https://tezos.com/) developers and enthusiasts with a strong focus on building on Tezos. 

## One of the main Tezos events in Europe

Among companies attending were impressive research laboratories like Cryptium Labs, Nomadic Labs, Stove Labs and, of course, Serokell. 

![Representatives of Serokell at TQuorum Berlin](/files/0n/0nvtd28o.IMG_20190822_110936.jpg)

We presented Michelson tooling that we had been working on since February 2019. 

**The Michelson tooling itself consists of the following parts:**

* [Morley framework](https://gitlab.com/morley-framework/morley) — our reimplementation of Michelson typechecker and interpreter, Michelson language extensions, Michelson eDSL (which is basically Michelson lifted to Haskell) and testing primitives for unit, property and integration tests.
* Lorentz eDSL — a more high-level version of Michelson eDSL that we use for writing contracts in productions.
* Indigo eDSL — a high-level eDSL with declarative style of programming, on which we are still working on. 
* Testing support for Lorentz and Indigo.

![Presentation on Morley](/files/gx/gxyqff0u.Tezos_Berlin.jpg)

## Practical workshops on Tezos technologies

The event consisted of series of technical workshops about Tezos and tools for its environment that speakers had been working on. We (especially Ilya) were happy to meet our colleagues from TQ that we’ve been collaborating with remotely.

It's a pleasure to be amongst the companies trying to change the world, and see all the recent innovations in acessibility, privacy, and smart contract language development. To learn in more detail about the solutions presented at TQuorum Berlin, check out the [TQTezos event recap](https://medium.com/tqtezos/recapping-tquorum-berlin-339cc70073b).

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

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

Dina Safiullina

Andre Matsonens

Alexander Dozorin

Levon Oganyan

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

Emils Petracenoks

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