Remy Goldschmidt Education 2014–2018 Bachelor of Science in Computer Science, University of Illinois at Urbana-Champaign. Work Experience Summer 2017 Software Engineering Intern, Awake Networks.

Source URL: taktoa.me

• Software engineering
• Computer programming
• Programming language theory
• Functional languages
• Programming paradigms
• Haskell
• Literate programming
• Functional programming
• OCaml
• Bachelor of Computer Science
• Conditional

Privacy Statement Version 2 of 25 May 2018 This privacy statement provides information regarding the collection and further processing of personal data by NET-Metrix AG, Bachmattstrasse 53, Zurich, Switzerland (“NET-Me

Source URL: www.net-metrix.ch

• Data security
• Data protection
• Law
• Information governance
• Terms of service
• Internet privacy
• Information privacy
• Data retention
• General Data Protection Regulation
• Privacy
• HTTP cookie

AlloyInEcore: Deep Embedding of First-Order Relational Logic into Meta-Object Facility Workshop on the Future of Alloy. May 1, 2018. Cambridge, MA About me

Source URL: alloytools.org

• Mathematics
• Theoretical computer science
• Formal methods
• Model theory
• Conflict-driven clause learning
• Solver
• Alloy
• Metamodeling
• Meta-Object Facility
• Embedding
• First-order logic
• Mathematical logic

Zcash & Zerocash: Data mining, cryptanalysis and key reuse Killian Davitt, Lena Petersen March 25, 2018 Intro This document was written as part of the GA18 Cryptanalysis course to explain my work as part of Project PK.

Source URL: killiandavitt.me

• Cryptocurrencies
• Exonumia
• Numismatics
• Economy
• Zcash
• Bitcoin
• Blockchain
• Ethereum
• Non-interactive zero-knowledge proof
• Bitcoin Private

Creating a Shared Understanding of Testing Culture on a Social Coding Site Raphael Pham∗ , Leif Singer∗ , Olga Liskin∗ , Fernando Figueira Filho† , and Kurt Schneider∗ ∗ Leibniz Universität Hannover

Source URL: etc.leif.me

• Software engineering
• Computing
• Software development
• Version control
• Software testing
• Extreme programming
• Git
• Agile software development
• GitHub
• Test automation
• Continuous integration
• Open-source software

A P R I L 2018 V O LU ME 76, N U MB E R 4 Monitoring the State’s Economy ECONOMY AT A GLANCE

Source URL: www.mississippi.edu

Subject: Request to Attend Black Hat USA Conference 2017 Dear [decision maker name], I’m writing to request your approval for me to attend the Black Hat USA Information Security Conference to be held July 22-27, 2017 i

Source URL: www.blackhat.com

• Prevention
• Crime prevention
• Cryptography
• Information governance
• National security
• Security engineering
• Security
• Computer security
• Black Hat Briefings
• Information security

James J Porter web: jamesporter.me mail: Experience Software Engineer, NovemberNovember 2015

Source URL: www.jamesporter.me

• Computing
• Software engineering
• Software
• Cross-platform software
• High-level programming languages
• Scripting languages
• Computational notebook
• JavaScript
• Web programming
• IPython
• PostgreSQL
• Python

PDF Document

Source URL: files.cryptopay.me

Effec%ve  Real-­‐Time  Android   Applica%on  Audi%ng   Mingyuan  Xia,  Lu  Gong,  Yuanhao  Lyu,   Zhengwei  Qi,  Xue  Liu     McGill  University,  Shanghai  J

Source URL: mxia.me

• Computing
• Computer architecture
• System software
• Alphabet Inc.
• Android
• Smartphones