Abigail Marsh Education Carnegie Mellon University, Pittsburgh, PA • Doctor of Philosophy in Computer Science August 2013 – Present

Source URL: abbymarsh.com

Alex Sanchez-Stern Curriculum Vitae Education 2016–Present Doctor of Philosophy, Computer Science, University of California, San Diego. 2015–2016 Masters of Science, Computer Science, The University of Washington.

Source URL: alex.uwplse.org

• Computer engineering
• Computer science
• Electrical engineering
• Electronic engineering
• Thesis
• Emmy Noether
• Tatlock
• Education
• Knowledge
• Science and technology in Germany

WILLIAM B. FEDUS University of Montreal http://acsweb.ucsd.edu/~wfedus/ EDUCATION University of Montreal Doctor of Philosophy in Computer Science

Source URL: acsweb.ucsd.edu

Dynamic Derivations for Sequent-Based Logical Argumentation Ofer ARIELI a and Christian STRASSER b of Computer Science, The Academic College of Tel-Aviv, Israel b Department of Philosophy and Moral Sciences, Ghent Univer

Source URL: comma2014.arg.dundee.ac.uk

Modelling Assumption-Based Reasoning Using Contexts Mark Jago? School of Computer Science & Department of Philosophy University of Nottingham Nottingham, UK

Source URL: ceur-ws.org

Open Questions in Non-Classical Logic, Mathematics and Philosophy Can BA¸ SKENT Department of Computer Science, University of Bath

Source URL: canbaskent.net

MPhil/PhD in Computer Science and Engineering Master of Philosophy (MPhil) and Doctor of Philosophy (PhD) Programs in Computer Science and Engineering Curriculum for Master of Philosophy (MPhil) Program in Computer Scie

Source URL: pg.ust.hk

University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

Source URL: concurrency.informatik.uni-kl.de

Dilip Krishnan Email: Web: dilipkay.wordpress.com Education Doctor of Philosophy, Computer Science Department, Courant Institute of Mathematical Sciences, New York University, New York. Advisor: Rob Fe

Source URL: dilipkay.files.wordpress.com

The Design Philosophy of the DARPA Internet Protocols David D. Clark* Massachusetts Institute of Technology Laboratory for Computer Science Cambridge, MA

Source URL: ccr.sigcomm.org