Agata Murawska Email and Phone Number
Agata Murawska Contact Information
Agata Murawska work email
- Valid
- Valid
- Valid
Agata Murawska personal email
- Valid
Agata Murawska Current Company
Deon Digital Ag
- Website:
- deondigital.com
- Employees:
- 30
- Industry:
- Computer Software
Agata Murawska Work Experience
-
Visiting Phd StudentMcgill University Feb 15 - Jul 15 · 5 mosMontreal, 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"
-
-
Postdoctoral ResearcherDepartment Of Computer Science, University Of Copenhagen - Diku Dec 18 - Nov 20 · 1 yr 11 mosDenmark, 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
-
External LecturerIt University Of Copenhagen Aug 22 - Jan 23 · 5 mosDenmarkAs an external lecturer I was co-teaching "Discrete Mathematics" course for students on the MSc Software Design program.
-
Postdoctoral ResearcherIt University Of Copenhagen Oct 17 - Sep 18 · 11 mosDenmark* 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
-
Software Engineer And Site Reliability Engineer InternGoogle Jul 11 - Dec 11 · 5 mosMountain 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
-
-
Phd StudentIt University Of Copenhagen Jun 13 - Aug 17 · 4 yrs 2 mosDenmark* 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
-
Bachelor Of Science in Mathematics 2006 - 2007
-
Doctor Of Philosophy 2016 - 2019
-
Doctor Of Philosophy in Computer Science 2013 - 2017
-
Masters in Computer Science 2009 - 2013
-
Bachelor Of Science in Computer Science 2006 - 2009
Other Similar Profiles
-
2adco.ae, adma-opco.com
-
1gmail.com
-
1 +380577XXXXXX
-
-
-
-
2hotmail.com, netcetera.com
Not the Agata Murawska you were looking for?
-
1ifb-poland.pl
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 trialFrequently 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.