forked from netverify/netverify.github.io
-
Notifications
You must be signed in to change notification settings - Fork 0
/
_config.yml
74 lines (60 loc) · 3.24 KB
/
_config.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
# Site
name: 'Netverify'
description: 'Netverify is a site dedicated to expert commentary on network verification.'
logo: 'assets/images/logo.png'
favicon: 'assets/images/favicon.ico'
baseurl: ''
url: 'https://netverify.github.io/'
disqus: 'demowebsite'
email: 'wowthemesnet@gmail.com'
include: ["_pages"]
permalink: /:title/
# Plugins
plugins:
- jekyll-feed
- jekyll-sitemap
- jekyll-paginate
- jekyll-seo-tag
authors:
ratul:
name: Ratul Mahajan
site: https://ratul.org/
avatar: /assets/images/ratul-mahajan.jpg
bio: "Ratul Mahajan is an Associate Professor at the University of Washington (Paul G. Allen School of Computer Science) and a Co-founder and CEO of Intentionet, a company that is enabling safe, rapid evolution of computer networks using formal analysis and high-level design approaches. Prior to that, he was a Principal Researcher at Microsoft Research. He got his PhD at the University of Washington and B.Tech at Indian Institute of Technology, Delhi, both in Computer Science and Engineering."
twitter: ratulm
beckett:
name: Ryan Beckett
site: http://beckett.ninja
avatar: /assets/images/ryan-beckett.jpg
bio: "Ryan Beckett is a Computer Scientist in the Mobility and Networking research group at Microsoft. He holds a PhD from Princeton in Computer Science as well as a B.S. in Computer Science and a B.A. in Mathematics from the University of Virginia."
todd:
name: Todd Millstein
site: http://web.cs.ucla.edu/~todd/
avatar: /assets/images/todd-millstein.jpg
bio: "Todd Millstein is a Professor of Computer Science at UCLA, as well as a Co-founder and Chief Scientist at Intentionet. He has also been an Academic Visitor at Oxford University, a Visiting Researcher at Microsoft Research, and a Visiting Fellow at Princeton University. Todd received a Ph.D. from the University of Washington and an A.B. from Brown University, both in Computer Science."
lvanbever:
name: Laurent Vanbever
site: https://nsg.ee.ethz.ch/people/laurent-vanbever/
avatar: /assets/images/laurent-vanbever.png
bio: "Laurent Vanbever is an Associate Professor at ETH Zurich. Prior to that, Laurent was a Postdoctoral Research Associate at Princeton University where he worked with Jennifer Rexford. He obtained his PhD degree in Computer Science from the University of Louvain in 2012. Prior to his PhD, Laurent earned a Master degree in Computer Science from the University of Louvain and a Master degree in Business Management from the Solvay Brussels School of Economics and Management, in 2008 and 2010, respectively."
# Defaults
defaults:
# all posts
- scope:
path: "_posts"
values:
layout: post
author: sal
avatar: /assets/images/avatar1.jpg
# all pages
- scope:
path: "_pages"
values:
layout: page
# Syntax
markdown: kramdown
highlighter: rouge
# Paginate
paginate: 10
# Exclude metadata and development time dependencies (like Grunt plugins)
exclude: [README.markdown, package.json, grunt.js, Gruntfile.js, Gruntfile.coffee, node_modules]