ABCDEFGHIJKLMNOPQRSTUVWXYZ
1
NameLast date I updated thisSkypeEmailBlogStuff I want to researchStuff I want to teachStuff I want to learnAvailability/time zone
2
Kaya Stechly2015-11-14facebook:kayastechlykayastechly@gmail.comfrom3004.github.iovingean reflection, reflective oracles, paraconsistent logic applicationstiling agents related stuff, abstract algebra, lin algebra, other math around thatDecision Theory, all the advanced mathAll of the times. Just tell me first by email or something. Berkeley GMT -8
3
Eric Bruylant2015-07-21erictheespeonelliotbrown2@gmail.comDecision theory, value loadingDecision theory basics, anthropics, some ideas for ways to cheatLogical uncertainty, GL modal logicGMT, afternoon, evening, night (weekdays prefered)
4
Arran Stirton2015-07-21arranstirtonarranstirton@gmail.comDecision theory, courrigability, value alignmentcog-sci of learning, lin algebra, calculus, fourier/laplace etc.computability and logic (and also everything)GMT, evening (although may be flexible depending on the specific situation)
5
Jonathan Lee2015-07-21j.d.lee0jdlee0@gmail.comLogical counterfactuals, Ways to cheatParaconsistent logic? Tiling agents + constraintsGMT -8. Morning - night is ok.
6
Sam Eisenstat2015-07-21sameisenstatsam.eisenst@gmail.comdecison theory/logical counterfactualsgeneral math & logic, logical uncertainty, decision theoryreflective oracles, Vingean reflection, computational complexity, machine learning, proof theory, set theory, type theory, optimizationPacific time for now, unsure what times are best
7
Jaime Sevilla2015-08-09JsevillamolJsevillamol@outlook.comValue loading, Modal Combat, Logical PredictorsBasic computability, Basic Set TheoryStuff that does not require prerequisites, Haskell, modal logicGTM+1, from 9:00 to 24:00 until October
8
Mihaly Barasz2015-07-21mihaly.baraszmihaly.barasz@intelligence.orgVingean reflection, Decision theory, Value loadingLogic, type theory (eg. applied to theorem proving), ...Europe/Zurich. Flexible.
9
Girish Sastry2015-07-21gsastryg.sastry@gmail.comDecision theory, realistic world models, anything reallyalgorithms/data structurestype theory, logic, everythingAnytime, just ask
10
Pasha Kamyshev2015-07-22pashakamyshevpasha1@live.comlifeinafreemarket.tumblr.comValue loading / Corrigibility / CounterfactualsNarrow AI applicationsprovability logic GMT evenings / weekends
11
Devi Borg2015-07-25wunciduncidevi.borg@gmail.comRealistic world models, Modal framework & approximations, Most other things but not as muchModel theory, Category theoryApplied type theory, the gritty details of Modal logicCEST during August, then EST
12
Daniel Ziegler2015-07-25ziedaniel1dmz@mit.eduLogical uncertainty, decision theory, realistic world modelsFormal verification (Coq, separation logic)(homotopy) type theory, logic, category theoryGMT-8 during August, then EST
13
Qiaochu Yuan2015-07-25qiaochu.yuanqiaochu.yuan@gmail.comCategory theory, the easier bits of model theory, whatever pure math (abstract algebra, number theory, combinatorics, topology...)Maybe homotopy type theory?Evenings and weekends PST
14
Alex Mennen2015-07-26alex.mennenalexmennen@gmail.comalexmennen.comasymptotic logical uncertainty, provability logic with bounded proof lengths, subroutine detectionweekends, Pacific time
15
Stephen Foster2015-07-26ess.gee.effess.gee.eff@gmail.comthepenforests.comDecision theoryVarious types of math, logic most of allEvenings and weekends EST
16
Timothy Chu2014-07-30timothyzchuhungrytoan@gmail.comLogic, Category TheoryEvenings and weekends PST
17
Tsvi Benson-Tilsen2015-08-05tsvibttsvibt@gmail.comdecision theory / logical counterfactuals, logical uncertainty, maybe value loading logic (set theory, model theory, proof theory, recursion theory)homotopy type theory, categorical logic?Evenings and weekends PST
18
Gram Stone2015-10-16stonegram@gmail.comEST; email me
19
Jason Sewell2015-12-15jasonsewelljsewell@jsewell.comcontrol problem, metaethical modelsUS Evenings Eastern Time
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