xstack-fp.github.io/_data/people.yml at master · xstack-fp/xstack-fp.github.io · GitHub

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
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
# << ======================================================================= >
# <<                          PEOPLE YAML DATA FILE                          >
# << ======================================================================= >
#  This is a data file containing the information
#   about contributors to the project.
#  Entries must take the form of a key/value dict/obj structure,
#   w/ all entries having unique keys,
#   that are memorable for anyone.
#  To ensure this we recommend either using your first name or better yet
#   your GitHub usernames, as they are guaranteed to be unique and will also
#   match up with the git logs.
#  Please fill out all required fields
#   (indicated in the template by not being double commented out),
#   and whatever other fields you feel comfortable doing.
#  For more information about the fields please check out
#   the Section on this file in the /site-content/README.md file.
#  You can also add your own fields if you want access to the data via liquid.

# << =========================== Template Entry ============================ >
# ${personID}:
#     name      : ${YourName}
#     position  : "${pick most applicable: research staff, phd student, ms student, alumni, professor, or assistant professor}"
# #     pfp       : ${url to a profile pic}
# #     pronouns  : ${preferred pronouns}
# #     title     : ${job title}
# #     degree    : ${highest collegic degree}
# #     abstract  : |
# #                   ${Brief about you}
# #     links     :
# #         github    : ${GitHub username}
# #         website   : ${URL to personal website}
# #         twitter   : ${twitter handle (no `@`)}
# #         instagram : ${instagram profile-name/user-name}
# #         facebook  : ${url to specific page or profile} # not sure why you would include this one but you could.

ganesh:
    name      : Ganesh Gopalakrishnan
    email     : ganesh@cs.utah.edu
    links     :
        website     : https://www.cs.utah.edu/~ganesh  # URL your personal webpage and/or portfolio
        github      : ganeshutah
    position  : Site-PI
    title     : Professor
    pfp       : https://imgur.com/dIIppnC.png
    abstract  : Professor, School of Computing, University of Utah

crubio:
    name      : Cindy Rubio-González
    email     : crubio@ucdavis.edu
    links     :
        website     : https://web.cs.ucdavis.edu/~rubio/   # URL your personal webpage and/or portfolio
        github      : crubio   # github username
    position  : Associate Professor
    title     : Department of Computer Science @ UC Davis
    pronouns  : she/her
    pfp       : https://web.cs.ucdavis.edu/~rubio/cindy_rubio.png
    abstract  : ...

tanmay_tirpankar:
    name      : Tanmay Tirpankar
    email     : tirpankartanmay@gmail.com
    links     :
        website     : https://www.tanmaytirpankar.com   # URL your personal webpage and/or portfolio
        github      : tanmaytirpankar   # github username
        gitlab      : ...   # gitlab username
        gitlab_url  : ...   # URL to self hosted gitlab user profile (this will supersede the normal gitlab)
        bitbucket   : ...   # bitbucket username
        reddit      : ...   # sub-reddit name (prepend "r/" for sub-reddit or "u/" for a user)
        forum       : ...   # URL to user profile on the proj help forum
        youtube     : ...   # youtube channel URL (harmless self promotion)
        vimeo       : ...   # vimeo channel name (who even are you?)
        twitter     : ...   # twitter handle (if you add this you're probably annoying)
        instagram   : ...   # instagram profile name (if you add this you're a bad person)
        facebook    : ...   # facebook page name (if you add this you're old)
    position  : Ph.D student
    title     : Software Tinkerer and Verification/Parallel Programmer
    pronouns  : he/him
    pfp       : https://media-exp1.licdn.com/dms/image/C5103AQGUGo6hiPywBg/profile-displayphoto-shrink_800_800/0/1580487248461?e=1651708800&v=beta&t=TPO7-bnb6FpHRzyKujpYkla1ToIudFQhyzWfWynUfkc
    abstract  : |
                  Resident expert at messing around with systems stuff. Affected by a curious bug of tinkering with what should not be tinkered. _Please reach out if you need help with anything or have anything work/non-work related stuff to discuss_


mwillsey:
    name      : Max Willsey
    email     : mwillsey@cs.washington.edu
    links     :
        website     : https://www.mwillsey.com   # URL your personal webpage and/or portfolio
        github      : mwillsey   # github username
    position  : Postdoc
    title     : Programming Language / Compilers Researcher
    pronouns  : he/him
    pfp       : https://www.mwillsey.com/assets/max.jpg
    abstract  : Developer of the [`egg`](https://egraphs-good.github.io) e-graph library.

doloresmiao:
    name      : Dolores Miao
    email     : wjmiao@ucdavis.edu
    links     :
        website     : https://www.linkedin.com/in/dolores-miao-82b4a061/   # URL your personal webpage and/or portfolio
        github      : doloresmiao   # github username
    position  : Ph.D. student
    title     : Programming languages / GPU programming enthusiast
    pronouns  : she/her
    pfp       : https://i1.rgstatic.net/ii/profile.image/940341641367552-1601206326024_Q512/Dolores-Miao.jpg
    abstract  : I like working with compilers and floating-point/GPU programming stuff.