Agata Murawska

Agata Murawska Email and Phone Number

Software Developer @ Deon Digital Ag
zurich, zurich, switzerland

Agata Murawska Contact Information

Agata Murawska personal email

Agata Murawska Current Company

deondigital.com

Deon Digital Ag

Software Developer
zurich, zurich, switzerland
Website:
deondigital.com
Employees:
30
Industry:
Computer Software
As a postdoc at IT University I work on logic and concurrency theory, viewed via the lens of Curry-Howard isomorphism. As a software engineer, I enjoy functional programming, especially in Haskell and OCaml.

Agata Murawska Work Experience

  • deondigital.com
    Visiting Phd Student
    Mcgill University Feb 15 - Jul 15 · 5 mos
    Montreal, Quebec, Canada
    * Visiting Brigitte Pientka's group (https://www.cs.mcgill.ca/~complogic/): * Working on a variant of contextual type theory for linear logic * Helping with maintenance of Beluga language * Preparation of Beluga's companion book for B.Pierce's "Types and Programming Languages"
  • deondigital.com
    Software Developer
    Deon Digital Ag Dec 20 - Present · 3 yrs 11 mos
    Switzerland
  • deondigital.com
    Postdoctoral Researcher
    Denmark, Western Australia, Australia
    * Industrial Postdoctoral Researcher position funded by InnovationsFonden: * Collaboration between Copenhagen Univeristy (DIKU) and Deon Digital * Topic: "Formal verification for formal contracts" * Research areas: static analysis, formal verification, programming languages theory, domain-specific languages, smart contracts, mechanized proofs * Formal verification of CSL, a contract specification language developed at DIKU and used at Deon Digital, in Coq proof assistant * Development of static analysis toolset for analysis of CSL contracts * Co-supervision of MSc thesis with a follow-up publication; topic: static analysis of CSL contracts with formalization in Coq proof assistant Show less
  • deondigital.com
    External Lecturer
    It University Of Copenhagen Aug 22 - Jan 23 · 5 mos
    Denmark
    As an external lecturer I was co-teaching "Discrete Mathematics" course for students on the MSc Software Design program.
  • deondigital.com
    Postdoctoral Researcher
    It University Of Copenhagen Oct 17 - Sep 18 · 11 mos
    Denmark
    * University-funded postdoctoral position, working primarily with Marco Carbone * Research areas: linear logic, proof theory, concurrency theory, choreographic programming * Developing the theory for multi-party choreographic programming as the dual of linear logic with hypersequents * Teacher for part of Discrete Mathematics course
  • deondigital.com
    Software Engineer And Site Reliability Engineer Intern
    Google Jul 11 - Dec 11 · 5 mos
    Mountain View, California, United States
    * Software Engineering Intern in a Site Reliability Engineering Team developing Ganeti (http://www.ganeti.org/) * Project: adding support for OVF format in import/export of virtual machine instances (Python) * Ongoing feature programming and bug fixing (Haskell, Python) * Active involvement in technical decision making: rewriting Ganeti from Python to (mostly) Haskell
  • deondigital.com
    Postdoctoral Researcher
    Deon Digital Ag Dec 18 - Nov 20 · 1 yr 11 mos
    Switzerland
  • deondigital.com
    Phd Student
    It University Of Copenhagen Jun 13 - Aug 17 · 4 yrs 2 mos
    Denmark
    * Project-funded PhD student, affiliated with the DemTech project (http://www.demtech.dk/) * Project focus: usage of technology in elections, both from the technical (cryptography, verification) and anthropological perspective * Research areas: programming languages theory, formal verification, proof theory, logical frameworks * Working on a logical framework based on hybrid logic (HyLF) under the supervision of prof. Carsten Schuermann * Teaching assistant for Discrete Mathematics courses Show less

Agata Murawska Education

Not the Agata Murawska you were looking for?

Download 750 million emails and 100 million phone numbers

Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.

Start your free trial

Frequently Asked Questions about Agata Murawska

What company does Agata Murawska work for?

Agata Murawska works for Deon Digital Ag

What is Agata Murawska's role in his workplace?

Agata Murawska's role in his workplace is Software Developer.

Which industry does Agata Murawska work in currently?

Agata Murawska works in the industry Computer Software.

What is Agata Murawska's email address?

Agata Murawska's email address is agmu@itu.dk

What schools did Agata Murawska attend?

Agata Murawska attended Vi Liceum Ogólnokształcące Im. Jana I Jędrzeja Śniadeckich, Vi Liceum Ogólnokształcące Im. Jana I Jędrzeja Śniadeckich. University Of Warsaw, University Of Warsaw. It - Universitetet I København, It - Universitetet I København. It - Universitetet I København, It - Universitetet I København. University Of Wroclaw, University Of Wroclaw. and University Of Wroclaw.

What is Agata Murawska's role in his workplace?

Agata Murawska has skills like Haskell, Python, Ocaml, Open Source, Oop, Software Engineering, Virtualization, Test Driven Development, Multithreading, Postgresql, Git, Bash, Algorithms, Computer Science, Software Development, and Linux.

Who are Agata Murawska's colleagues?

Agata Murawska's colleagues are Adam Schønemann, Adam Schønemann, Ulrik Rasmussen, Ulrik Rasmussen, Martin Engwicht, Martin Engwicht, Mikkel Thomsen, Mikkel Thomsen, and Christian Altmann. and Marc Rufert.

Who are Agata Murawska's peers at other companies?

Agata Murawska's peers at other companies are Ismail Fouad, Manish Sharma, Nikolay Khoroshevskiy, Kanstantsin Kavaliou, Keamogetswe Thema, and Sheldean Clarke. and Kristin Mock. Agata Murawska's peers at other companies are Ismail Fouad, Manish Sharma, Nikolay Khoroshevskiy, Kanstantsin Kavaliou, Keamogetswe Thema, and Sheldean Clarke. and Kristin Mock.