126 Infos zu Kristina Sojakova

4 Aktuelle Nachrichten

Title: IPDL: A Probabilistic Dataflow Logic for Cryptography Abstract: While there have been many successes in verifying cryptographic security proofs of...

... Sweden) Formalization in Coq: Kristina Sojakova (Cornell University, USA) Higher topos theory: Mathieu Anel (Carnegie Mellon University, USA) Semantics of ...

The talk is based on joint work with Steve Awodey and Kristina Sojakova. Thursday 1, 14:00. Stéphane Gaussent (Université Nancy 1), Coherent presentations ...

1  Bilder zu Kristina Sojakova

13 Profile in Sozialen Netzwerken

berufliche Netzwerk, das Fach- und Führungskräften wie Kristina Sojakova dabei  ...

1 Hobbys & Interessen

LF has been designed as a meta-logical framework to represent logics, and has become a standard tool for studying properties of logics. Building on the newly...

2 Business-Profile

Berufserfahrung, Kontaktdaten, Portfolio und weitere Infos: Erfahr mehr – oder kontaktier Kristina Sojakova direkt bei XING.

View Kristina Sojakova's business profile as Manager at Syneos Health Inc. Find contact's direct phone number, email address, work history, and more.

1 Firmen-Mitarbeiter

· Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe and Kristina Sojakova. The Distributed Ontology Language (DOL): Use Cases, Syntax, and Semantics. In: TKE (Terminology and Knowledge Engineering) Conference Christian Galinski, Oliver Kutz, Christoph Lange and Till Mossakowski. Modelling ...

1 Angaben zur Herkunft

Kristina Sojakova. MathSciNet. Ph.D. Carnegie Mellon University UnitedStates. Dissertation: Higher inductive types as homotopy-initial algebras.

2 Projekte

... Design of a Proof Repository Architecture Stefania Dumbrava, Fulya Horozal and Kristina Sojakova, A Case Study on Formalizing Algebraic ...

... Fulya Horozal and Kristina Sojakova, A Case Study on Formalizing Algebraic ... Ganesh Gopalakrishnan (Univ of Utah) Shmuel Ur (IBM) Scott Stoller (SUNY ...

5 Bücher zum Namen

Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered...

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA...

This book constitutes the thoroughly refereed post-conference proceedings of the 19th International Workshop on Recent Trends in Algebraic Development...

ThesearetheproceedingsoftheRoboCup2004Symposium,heldattheInstituto Superior T ́ ecnico, in Lisbon, Portugal in conjunction with the RoboCup c- petition. The...

1 Songs & Musik

1 2 STEVE AWODEY, NICOLA GAMBINO, AND KRISTINA SOJAKOVA possible to prove the uniqueness of recursively-defined functions. Furthermore, the ...

12 Dokumente

From: Kristina Sojakova [view email] [v1] Mon, 30 Apr :14:39 UTC (73 KB) [v2] Fri, 4 May :22:25 UTC (73 KB) [v3] Fri, 11 May ...

Kristina Sojakova. In addition, there were the following short- and long-term visitors, including student visitors, whose contributions to the Special Year were also ...

Submission history. From: Kristina Sojakova [view email] [v1] Tue, 13 Oct :38:45 UTC (22 KB). Full-text links: ...

From sojakova.kristina at gmail.com Thu Nov :50: From: sojakova.kristina at gmail.com (Kristina Sojakova) Date: Thu, 17 Nov :50:

13 Wissenschaftliche Publikationen

Bibliographic content of 42. POPL 2015: Mumbai, India

List of computer science publications by Kristina Sojakova

Bibliographic content of WADT 2008

Sojakova16. Kristina Sojakova: The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory.

3 Allgemeine Veröffentlichungen

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010,...

LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic, employing...

Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova. Mihai Codescu. 1. Fulya Horozal. 2. Michael Kohlhase. 2.

1 Meinungen & Artikel

Jul http dblp org rec journals corr abs Steven Awodey Nicola Gambino Kristina Sojakova Inductive types in homotopy type theory ...

65 Webfunde aus dem Netz

View Kristina Sojakova's profile on LinkedIn, the world's largest professional community. Kristina's education is listed on their profile. See the complete profile on LinkedIn and discover Kristina's connections and jobs at similar companies.

View Kristina Sojakova's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Kristina Sojakova discover ...

Kristina Sojakova. Client Experience Advisor, North America | IBM. New York, New York. Badges. 1 badge. Sort by: Most Popular. IBM Certified Manager. IBM.

Some Basic Geometric Constructions in Homotopy Type Theory By: KRISTINA SOJAKOVA , Ph.D. Student Carnegie Mellon University at: 2:00 PM - 3:00 PM Location: Traffic 21 Classroom Gates&Hillman Centers ...

Kristina Sojakova. Tracking 204 commits to 6 open source packages. Company: Carnegie Mellon University. Repositories. kristinas/hinitiality · Coq - Last ...

See what Kristina Sojakova (kristinasojakov) has discovered on Pinterest, the world's biggest collection of everyone's favourite things.

Pozrite sa, čo Kristina Sojakova (kristinasojakov) objavil(a) na Pintereste, najväčšej zbierke nápadov.

Kristina Sojakova. Organization: Appalachian State University. Web page: http://www.cs.cmu.edu/~ksojakov/. Pages in this Program. LICS on Tuesday, July 10th.

Kristina Sojakova Photos & Videos on Instagram. @kikinka_s. 67Photos and videos 266Followers 497Following. 3 days ago. City That Never Sleeps - introduced by Martin Scorsese movie night at Museum of Modern Art #lovenyc # moma #nyc #movienight #citykitty days ago. best coffee companion, miss this ...

Tento pin objavil(a) Kristina Sojakova. Objavte (a uložte si) svoje vlastné piny na Pintereste.

Cette épingle a été découverte par Kristina Sojakova. Découvrez vos propres épingles sur Pinterest et enregistrez-les.

This Pin was discovered by Kristina Sojakova. Discover (and save!) your own Pins on Pinterest.

Programming Language Semantics (Spring 2015) Instructor: André Platzer (office: T 1:00-2:00, GHC 9103) Teaching Assistant: Kristina Sojakova (ksojakov@andrew) (office: M 2:00-3:00, GHC 7121) Units: 12: Semester: Spring 2015: Time: TR 10:30-11:50: Place: GHC 4303: This course counts as a Programming Languages star course in the …

LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic,

Higher Inductive Types as Homotopy-Initial Algebras Kristina Sojakova (Carnegie Mellon University) Session 1B: Security (AG66, Chair: Karthikeyan Bhargavan, Inria) Runtime Enforcement of Security Policies on Black Box Reactive Programs Minh Ngo (University of Trento) Fabio Massacci (University of Trento) Dimiter Milushev (KU Leuven) Frank Piessens (KU Leuven)

Revisions | Authors | Feeds | Export |. webpage ...

· Kristína Sojáková je Slovenka, ktorá strávila väčšinu svojej doterajšej kariéry v zahraničí. Už 15 rokov sa spája jej meno so svetovým IT gigantom IBM. Z kancelárie v New Yorku sa stará o zákaznícku spokojnosť a úzke prepojenie tejto oblasti s technológiami a biznisom. Svoju prácu nedávno ešte viac priblížila k IT, keď sa stala manažérkou pre IT Operations.

Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and ...

Contact. Office: Gates Hall 332; Email: ks858 AT cornell.edu; Phone: (412) Research. Since December I have been working with Greg Morrisett ...

Analysis_DFOL.hs in thesis located at /02-development/Hets/DFOL