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

Want to learn how blockchain development is done in 2020? Check out GoodFirms' interview with Arseniy Seroka, the CEO of Serokell.

GoodFirms Interviews Serokell CEO Arseniy Seroka

GoodFirms Interviews Arseniy Seroka, CEO for Serokell IT Firm

> "Our main assets are functional programming languages and a strong mathematical background. Together, they let us solve complicated non-trivial tasks." – Arseniy Seroka 

Our CEO Arseniy Seroka was recently interviewed by GoodFirms, a B2B research and rating company. In the interview, they discuss the strengths of Serokell's approach to programming and business, and Arseniy gives a brief introduction to the Serokell client base and the fields we have expertise in. 


<center>
<img src="/files/88/88cu7y7x.small.6j9b8bxh.arseniyseroka.ng.jpg" alt="Arseniy Seroka">
<hr>
<i>
Arseniy Seroka, the CEO of Serokell</i></center>

If you would like to learn about blockchain development in 2020 and discover how to improve your blockchain project, the interview has a few tips on that as well. 

You can read the full interview [on the GoodFirms website](https://www.goodfirms.co/company/serokell#interview).

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 Executives Participate as Judges in MLHack

On March 13-15, two of our executives, CEO Arseniy Seroka and CBDO Roman Alterman, participated in the jury of MLHack.

On March 13-15, two of our executives, CEO Arseniy Seroka and CBDO Roman Alterman, participated in the jury of MLHack. 

## Searching for the future of AI 

[MLHack](http://mlhack.tech/) was a hackathon, organized by ITMO and Botan Investments, a small fund that invests, develops and mentors new projects. 

The goal of the hackathon was to build applied solutions for several problems in the sphere of machine learning, including voice and image generation. The winners of the hackathon got money prizes and an opportunity to go to Cyprus and participate in an accelerator. 

![Our executives participating as judges](/files/hd/hd2lxsd1.2_5445351170719614574.jpg)

Our executives and other members of the jury, which included machine learning experts and founders of other AI companies, were tasked with rating the teams.

## Helping the next generation

One of our main goals at Serokell, is to grow the next generation of specialists, be it developers or researchers in the areas covered by [Serokell Labs](https://serokell.io/labs). This hackathon was a great chance to witness and participate in the growth of IT talent, and we would like to thank MLHack for the opportunity. 

![The judges of MLHack](/files/0w/0wnp6zqd.2_5445351170719614577.jpg " ")

Introduction to GUI Programming in Haskell

Learn how to do GUI programming in Haskell with GTK+.

**Update:** You can watch the full talk on [YouTube](https://www.youtube.com/watch?v=k1aq8ikO-8Q&t=2s).

Join us on 1st October, 17.00 UTC to learn more about GUI programming in Haskell. 

Our software engineer Vladislav Zavialov will give a talk on how to use Haskell and GTK+ to build graphical user interfaces in a functional programming language. He will talk about topics such as:

*   Initializing the build environment with Nix.
*   Creating an app using GTK+ widgets. 
*   Offloading work to other threads, using `GLib.idleAdd`. 
*   Documentation and resources to study if you want to build an app of your own.

This is a great way to get started with GUI development in Haskell and find answers to any questions you have. 

To watch the talk, [join us](http://meet.google.com/fui-diin-uxk) on 1st October, 17.00 UTC. 

<center>
	<i>Think you'll forget? Add the event to your Google Calendar.</i>
<a target="_blank" href="https://calendar.google.com/event?action=TEMPLATE&amp;tmeid=NWltOWp2dWNiZnQzM2RybjR1aHJyamNlcjYgY18ya2Y1M2U5OTdxNjJmdWl0N2xza2hjaG4yc0Bn&amp;tmsrc=c_2kf53e997q62fuit7lskhchn2s%40group.calendar.google.com"><img border="0" src="/files/xm/xmvysj0o.gc_button1_en.gif" alt="Link to Google calendar"></a>
</center>

![talk picture](/files/2g/2glb7e7k.Vladislav-Zavialov-.jpg)

By the way, if you haven’t yet seen our previous talk by Maxim Koltsov, we highly suggest checking it out. In it, Maxim goes over how evaluation and GC in Haskell work, going deep in the compilation pipeline of Haskell, showing some interesting details of intermediate languages that GHC uses, and giving tips to optimize GC in Haskell. 

<iframe width="560" height="315" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen="" data-src="https://www.youtube.com/embed/vvLDerKtUWE"></iframe>

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