diff --git a/404.html b/404.html index ffc8cf4..b4cc6c8 100644 --- a/404.html +++ b/404.html @@ -4,7 +4,7 @@ SDF Research - + diff --git a/assets/js/0276bb65.03885106.js b/assets/js/0276bb65.03885106.js new file mode 100644 index 0000000..f7cd112 --- /dev/null +++ b/assets/js/0276bb65.03885106.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[749],{684:(e,s,t)=>{t.r(s),t.d(s,{assets:()=>h,contentTitle:()=>r,default:()=>p,frontMatter:()=>i,metadata:()=>a,toc:()=>c});var o=t(4848),n=t(8453);const i={sidebar_label:"Workshops",sidebar_position:4,slug:"/workshops"},r="Scientific Workshops",a={id:"workshops",title:"Scientific Workshops",description:"We help organize workshops that bring scientists together and spur scientific progress.",source:"@site/docs/workshops.md",sourceDirName:".",slug:"/workshops",permalink:"/workshops",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:4,frontMatter:{sidebar_label:"Workshops",sidebar_position:4,slug:"/workshops"},sidebar:"contentsSidebar",previous:{title:"Publications",permalink:"/research-grants/publications"},next:{title:"Publications",permalink:"/publications"}},h={},c=[{value:"FRIDA 2024",id:"frida-2024",level:2},{value:"Past workshops",id:"past-workshops",level:2},{value:"HTDS 2023",id:"htds-2023",level:3}];function l(e){const s={a:"a",h1:"h1",h2:"h2",h3:"h3",p:"p",...(0,n.R)(),...e.components};return(0,o.jsxs)(o.Fragment,{children:[(0,o.jsx)(s.h1,{id:"scientific-workshops",children:"Scientific Workshops"}),"\n",(0,o.jsx)(s.p,{children:"We help organize workshops that bring scientists together and spur scientific progress."}),"\n",(0,o.jsx)(s.h2,{id:"frida-2024",children:"FRIDA 2024"}),"\n",(0,o.jsxs)(s.p,{children:[(0,o.jsx)(s.a,{href:"https://cispa.de/en/people/swen.jacobs",children:"Swen Jacobs"})," (CISPA Helmholtz Center for Information Security) and ",(0,o.jsx)(s.a,{href:"https://www.losa.fr",children:"Giuliano Losa"})," (Stellar Development Foundation) are organizing the ",(0,o.jsx)(s.a,{href:"https://frida-2024.github.io/",children:"Workshop on Formal Reasoning in Distributed Algorithms"}),", co-located with CAV 2024.\nThe work is scheduled to take place in Montreal, Canada, on July 23rd, 2024."]}),"\n",(0,o.jsx)(s.h2,{id:"past-workshops",children:"Past workshops"}),"\n",(0,o.jsx)(s.h3,{id:"htds-2023",children:"HTDS 2023"}),"\n",(0,o.jsxs)(s.p,{children:["The ",(0,o.jsx)(s.a,{href:"https://htds-workshop.github.io/",children:"The Workshop on Heterogeneous Trust in Distributed Systems"})," took place in October 2023 in Princeton, New Jersey, and was organized by Christian Cachin (University of Bern) and Giuliano Losa (Stellar Development Foundation).\nVideo recordings of the talks are ",(0,o.jsx)(s.a,{href:"https://youtube.com/playlist?list=PLmr3tp_7-7GjHjTeBSdTu5P15Wde3YMf0&si=0LlHA1DTrLT_e07b",children:"available on Youtube"}),"."]})]})}function p(e={}){const{wrapper:s}={...(0,n.R)(),...e.components};return s?(0,o.jsx)(s,{...e,children:(0,o.jsx)(l,{...e})}):l(e)}},8453:(e,s,t)=>{t.d(s,{R:()=>r,x:()=>a});var o=t(6540);const n={},i=o.createContext(n);function r(e){const s=o.useContext(i);return o.useMemo((function(){return"function"==typeof e?e(s):{...s,...e}}),[s,e])}function a(e){let s;return s=e.disableParentContext?"function"==typeof e.components?e.components(n):e.components||n:r(e.components),o.createElement(i.Provider,{value:s},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/0276bb65.9f77c54f.js b/assets/js/0276bb65.9f77c54f.js deleted file mode 100644 index f0e4bab..0000000 --- a/assets/js/0276bb65.9f77c54f.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[749],{684:(e,s,t)=>{t.r(s),t.d(s,{assets:()=>h,contentTitle:()=>r,default:()=>p,frontMatter:()=>i,metadata:()=>a,toc:()=>c});var o=t(4848),n=t(8453);const i={sidebar_label:"Workshops",sidebar_position:4,slug:"/workshops"},r="Scientific Workshops",a={id:"workshops",title:"Scientific Workshops",description:"We help organize workshops that bring scientists together and spur scientific progress.",source:"@site/docs/workshops.md",sourceDirName:".",slug:"/workshops",permalink:"/workshops",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:4,frontMatter:{sidebar_label:"Workshops",sidebar_position:4,slug:"/workshops"},sidebar:"contentsSidebar",previous:{title:"Publications",permalink:"/research-grants/publications"},next:{title:"Publications",permalink:"/publications"}},h={},c=[{value:"FRIDA 2024",id:"frida-2024",level:2},{value:"Past workshops",id:"past-workshops",level:2},{value:"HTDS 2023",id:"htds-2023",level:3}];function l(e){const s={a:"a",h1:"h1",h2:"h2",h3:"h3",p:"p",...(0,n.R)(),...e.components};return(0,o.jsxs)(o.Fragment,{children:[(0,o.jsx)(s.h1,{id:"scientific-workshops",children:"Scientific Workshops"}),"\n",(0,o.jsx)(s.p,{children:"We help organize workshops that bring scientists together and spur scientific progress."}),"\n",(0,o.jsx)(s.h2,{id:"frida-2024",children:"FRIDA 2024"}),"\n",(0,o.jsxs)(s.p,{children:[(0,o.jsx)(s.a,{href:"https://cispa.de/en/people/swen.jacobs",children:"Swen Jacobs"})," (CISPA) and ",(0,o.jsx)(s.a,{href:"https://www.losa.fr",children:"Giuliano Losa"})," (SDF) are organizing the ",(0,o.jsx)(s.a,{href:"https://frida-2024.github.io/",children:"Workshop on Formal Reasoning in Distributed Algorithms"}),", co-located with CAV 2024.\nThe work is scheduled to take place in Montreal, Canada, on July 23rd, 2024."]}),"\n",(0,o.jsx)(s.h2,{id:"past-workshops",children:"Past workshops"}),"\n",(0,o.jsx)(s.h3,{id:"htds-2023",children:"HTDS 2023"}),"\n",(0,o.jsxs)(s.p,{children:["The ",(0,o.jsx)(s.a,{href:"https://htds-workshop.github.io/",children:"The Workshop on Heterogeneous Trust in Distributed Systems"})," took place in October 2023 in Princeton, New Jersey, and was organized by Christian Cachin (University of Bern) and Giuliano Losa (Stellar Development Foundation).\nVideo recordings of the talks are ",(0,o.jsx)(s.a,{href:"https://youtube.com/playlist?list=PLmr3tp_7-7GjHjTeBSdTu5P15Wde3YMf0&si=0LlHA1DTrLT_e07b",children:"available on Youtube"}),"."]})]})}function p(e={}){const{wrapper:s}={...(0,n.R)(),...e.components};return s?(0,o.jsx)(s,{...e,children:(0,o.jsx)(l,{...e})}):l(e)}},8453:(e,s,t)=>{t.d(s,{R:()=>r,x:()=>a});var o=t(6540);const n={},i=o.createContext(n);function r(e){const s=o.useContext(i);return o.useMemo((function(){return"function"==typeof e?e(s):{...s,...e}}),[s,e])}function a(e){let s;return s=e.disableParentContext?"function"==typeof e.components?e.components(n):e.components||n:r(e.components),o.createElement(i.Provider,{value:s},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/282d1385.9db3615b.js b/assets/js/282d1385.9db3615b.js new file mode 100644 index 0000000..f073de0 --- /dev/null +++ b/assets/js/282d1385.9db3615b.js @@ -0,0 +1 @@ +"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[934],{6897:(e,t,a)=>{a.r(t),a.d(t,{assets:()=>b,contentTitle:()=>m,default:()=>g,frontMatter:()=>u,metadata:()=>p,toc:()=>v});var s=a(4848),r=a(8453),n=(a(6540),a(8774)),i=a(1107);function l(e){let{className:t,name:a,children:r,githubUrl:l,twitterUrl:c,websiteUrl:o,localAvatar:h}=e;return(0,s.jsx)("div",{className:t,children:(0,s.jsxs)("div",{className:"card card--full-height",children:[(0,s.jsx)("div",{className:"card__header",children:(0,s.jsxs)("div",{className:"avatar avatar--vertical",children:[(0,s.jsx)("img",{className:"avatar__photo avatar__photo--xl",src:h?`img/${a}.png`:`${l}.png`,alt:`${a}'s avatar`}),(0,s.jsx)("div",{className:"avatar__intro",children:(0,s.jsx)(i.A,{as:"h3",className:"avatar__name",children:a})})]})}),(0,s.jsx)("div",{className:"card__body",children:r}),(0,s.jsx)("div",{className:"card__footer",children:(0,s.jsxs)("div",{className:"button-group button-group--block",children:[l&&(0,s.jsx)(n.A,{className:"button button--secondary",href:l,children:"GitHub"}),c&&(0,s.jsx)(n.A,{className:"button button--secondary",href:c,children:"Twitter"}),o&&(0,s.jsx)(n.A,{className:"button button--secondary",href:o,children:"Website"})]})})]})})}function c(e){return(0,s.jsx)(l,{...e,className:"col col--6 margin-bottom--lg"})}function o(){return(0,s.jsxs)("div",{className:"row",children:[(0,s.jsx)(c,{name:"Giuliano Losa",githubUrl:"https://github.com/nano-o",twitterUrl:"https://twitter.com/giuliano_losa",websiteUrl:"https://www.losa.fr",children:"Distributed computing and formal methods"}),(0,s.jsx)(c,{name:"Iftach Haitner",localAvatar:"true",websiteUrl:"https://www.cs.tau.ac.il//~iftachh/",children:"Cryptography and Computational Complexity"}),(0,s.jsx)(c,{name:"David Mazi\xe8res",localAvatar:"true",websiteUrl:"https://www.scs.stanford.edu/~dm/",children:"Chief Scientist at the SDF"})]})}function h(){return(0,s.jsxs)("div",{className:"row",children:[(0,s.jsx)(c,{name:"Eli Gafni",localAvatar:"true",websiteUrl:"https://samueli.ucla.edu/people/eliezer-gafni",children:"Theory of distributed computing"}),(0,s.jsx)(c,{name:"Mohsen Lesani",localAvatar:"true",websiteUrl:"https://mohsenlesani.github.io/",children:"Reliability and security of software systems"})]})}function d(){return(0,s.jsxs)("div",{className:"row",children:[(0,s.jsx)(c,{name:"George P\xeerlea",githubUrl:"https://github.com/dranov",twitterUrl:"https://twitter.com/GeorgePirlea",websiteUrl:"https://pirlea.net/",children:"Research intern"}),(0,s.jsx)(c,{name:"Murdoch James Gabbay",localAvatar:"true",githubUrl:"https://github.com/bellissimogiorno/",websiteUrl:"https://gabbay.org.uk/",children:"Research consultant"})]})}const u={sidebar_label:"Research at the SDF",sidebar_position:1,slug:"/"},m="Research at the Stellar Development Foundation",p={id:"welcome",title:"Research at the Stellar Development Foundation",description:"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.",source:"@site/docs/welcome.mdx",sourceDirName:".",slug:"/",permalink:"/",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Research at the SDF",sidebar_position:1,slug:"/"},sidebar:"contentsSidebar",next:{title:"Academic Research Grants",permalink:"/research-grants"}},b={},v=[{value:"Team",id:"team",level:2},{value:"SDF Researchers",id:"active-team",level:3},{value:"Research Consultants",id:"research-consultants",level:3},{value:"Alumni",id:"alumni",level:3}];function x(e){const t={h1:"h1",h2:"h2",h3:"h3",p:"p",...(0,r.R)(),...e.components};return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(t.h1,{id:"research-at-the-stellar-development-foundation",children:"Research at the Stellar Development Foundation"}),"\n",(0,s.jsx)(t.p,{children:"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program."}),"\n",(0,s.jsx)(t.h2,{id:"team",children:"Team"}),"\n","\n",(0,s.jsx)(t.h3,{id:"active-team",children:"SDF Researchers"}),"\n",(0,s.jsx)(o,{}),"\n",(0,s.jsx)(t.h3,{id:"research-consultants",children:"Research Consultants"}),"\n",(0,s.jsx)(h,{}),"\n",(0,s.jsx)(t.h3,{id:"alumni",children:"Alumni"}),"\n",(0,s.jsx)(d,{})]})}function g(e={}){const{wrapper:t}={...(0,r.R)(),...e.components};return t?(0,s.jsx)(t,{...e,children:(0,s.jsx)(x,{...e})}):x(e)}},8453:(e,t,a)=>{a.d(t,{R:()=>i,x:()=>l});var s=a(6540);const r={},n=s.createContext(r);function i(e){const t=s.useContext(n);return s.useMemo((function(){return"function"==typeof e?e(t):{...t,...e}}),[t,e])}function l(e){let t;return t=e.disableParentContext?"function"==typeof e.components?e.components(r):e.components||r:i(e.components),s.createElement(n.Provider,{value:t},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/282d1385.df79c723.js b/assets/js/282d1385.df79c723.js deleted file mode 100644 index 6ab4366..0000000 --- a/assets/js/282d1385.df79c723.js +++ /dev/null @@ -1 +0,0 @@ -"use strict";(self.webpackChunkresearch=self.webpackChunkresearch||[]).push([[934],{6897:(e,t,a)=>{a.r(t),a.d(t,{assets:()=>x,contentTitle:()=>m,default:()=>f,frontMatter:()=>u,metadata:()=>p,toc:()=>v});var s=a(4848),n=a(8453),r=(a(6540),a(8774)),i=a(1107);function l(e){let{className:t,name:a,children:n,githubUrl:l,twitterUrl:c,websiteUrl:o}=e;return(0,s.jsx)("div",{className:t,children:(0,s.jsxs)("div",{className:"card card--full-height",children:[(0,s.jsx)("div",{className:"card__header",children:(0,s.jsxs)("div",{className:"avatar avatar--vertical",children:[(0,s.jsx)("img",{className:"avatar__photo avatar__photo--xl",src:l?`${l}.png`:`img/${a}.png`,alt:`${a}'s avatar`}),(0,s.jsx)("div",{className:"avatar__intro",children:(0,s.jsx)(i.A,{as:"h3",className:"avatar__name",children:a})})]})}),(0,s.jsx)("div",{className:"card__body",children:n}),(0,s.jsx)("div",{className:"card__footer",children:(0,s.jsxs)("div",{className:"button-group button-group--block",children:[l&&(0,s.jsx)(r.A,{className:"button button--secondary",href:l,children:"GitHub"}),c&&(0,s.jsx)(r.A,{className:"button button--secondary",href:c,children:"Twitter"}),o&&(0,s.jsx)(r.A,{className:"button button--secondary",href:o,children:"Website"})]})})]})})}function c(e){return(0,s.jsx)(l,{...e,className:"col col--6 margin-bottom--lg"})}function o(){return(0,s.jsxs)("div",{className:"row",children:[(0,s.jsx)(c,{name:"Giuliano Losa",githubUrl:"https://github.com/nano-o",twitterUrl:"https://twitter.com/giuliano_losa",websiteUrl:"https://www.losa.fr",children:"Distributed computing and formal methods"}),(0,s.jsx)(c,{name:"Iftach Haitner",websiteUrl:"https://www.cs.tau.ac.il//~iftachh/",children:"Cryptography and Computational Complexity"}),(0,s.jsx)(c,{name:"David Mazi\xe8res",websiteUrl:"https://www.scs.stanford.edu/~dm/",children:"Chief Scientist at the SDF"})]})}function h(){return(0,s.jsxs)("div",{className:"row",children:[(0,s.jsx)(c,{name:"Eli Gafni",websiteUrl:"https://samueli.ucla.edu/people/eliezer-gafni",children:"Theory of distributed computing"}),(0,s.jsx)(c,{name:"Mohsen Lesani",websiteUrl:"https://mohsenlesani.github.io/",children:"Reliability and security of software systems"})]})}function d(){return(0,s.jsx)("div",{className:"row",children:(0,s.jsx)(c,{name:"George P\xeerlea",githubUrl:"https://github.com/dranov",twitterUrl:"https://twitter.com/GeorgePirlea",websiteUrl:"https://pirlea.net/",children:"Research intern"})})}const u={sidebar_label:"Research at the SDF",sidebar_position:1,slug:"/"},m="Research at the Stellar Development Foundation",p={id:"welcome",title:"Research at the Stellar Development Foundation",description:"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program.",source:"@site/docs/welcome.mdx",sourceDirName:".",slug:"/",permalink:"/",draft:!1,unlisted:!1,tags:[],version:"current",sidebarPosition:1,frontMatter:{sidebar_label:"Research at the SDF",sidebar_position:1,slug:"/"},sidebar:"contentsSidebar",next:{title:"Academic Research Grants",permalink:"/research-grants"}},x={},v=[{value:"Team",id:"team",level:2},{value:"SDF Researchers",id:"active-team",level:3},{value:"Research Consultants",id:"research-consultants",level:3},{value:"Alumni",id:"alumni",level:3}];function b(e){const t={h1:"h1",h2:"h2",h3:"h3",p:"p",...(0,n.R)(),...e.components};return(0,s.jsxs)(s.Fragment,{children:[(0,s.jsx)(t.h1,{id:"research-at-the-stellar-development-foundation",children:"Research at the Stellar Development Foundation"}),"\n",(0,s.jsx)(t.p,{children:"The Stellar Development Foundation supports technological and scientific research through its in-house research team and its academic grants program."}),"\n",(0,s.jsx)(t.h2,{id:"team",children:"Team"}),"\n","\n",(0,s.jsx)(t.h3,{id:"active-team",children:"SDF Researchers"}),"\n",(0,s.jsx)(o,{}),"\n",(0,s.jsx)(t.h3,{id:"research-consultants",children:"Research Consultants"}),"\n",(0,s.jsx)(h,{}),"\n",(0,s.jsx)(t.h3,{id:"alumni",children:"Alumni"}),"\n",(0,s.jsx)(d,{})]})}function f(e={}){const{wrapper:t}={...(0,n.R)(),...e.components};return t?(0,s.jsx)(t,{...e,children:(0,s.jsx)(b,{...e})}):b(e)}},8453:(e,t,a)=>{a.d(t,{R:()=>i,x:()=>l});var s=a(6540);const n={},r=s.createContext(n);function i(e){const t=s.useContext(r);return s.useMemo((function(){return"function"==typeof e?e(t):{...t,...e}}),[t,e])}function l(e){let t;return t=e.disableParentContext?"function"==typeof e.components?e.components(n):e.components||n:i(e.components),s.createElement(r.Provider,{value:t},e.children)}}}]); \ No newline at end of file diff --git a/assets/js/runtime~main.899a2d2e.js b/assets/js/runtime~main.e958578f.js similarity index 91% rename from assets/js/runtime~main.899a2d2e.js rename to assets/js/runtime~main.e958578f.js index 0978adb..92280d3 100644 --- a/assets/js/runtime~main.899a2d2e.js +++ b/assets/js/runtime~main.e958578f.js @@ -1 +1 @@ -(()=>{"use strict";var e,r,t,a,o,n={},i={};function f(e){var r=i[e];if(void 0!==r)return r.exports;var t=i[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,f),t.loaded=!0,t.exports}f.m=n,f.c=i,e=[],f.O=(r,t,a,o)=>{if(!t){var n=1/0;for(c=0;c=o)&&Object.keys(f.O).every((e=>f.O[e](t[d])))?t.splice(d--,1):(i=!1,o0&&e[c-1][2]>o;c--)e[c]=e[c-1];e[c]=[t,a,o]},f.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return f.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var i=2&a&&e;"object"==typeof i&&!~r.indexOf(i);i=t(i))Object.getOwnPropertyNames(i).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,f.d(o,n),o},f.d=(e,r)=>{for(var t in r)f.o(r,t)&&!f.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((r,t)=>(f.f[t](e,r),r)),[])),f.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",102:"87d6e656",184:"0b46e8e7",401:"17896441",579:"a6e0a6ed",581:"935f2afb",647:"5e95c892",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"9012ede0",48:"f63066de",98:"04e112fa",102:"469dd3e4",184:"8e9b60eb",237:"89684c8c",401:"1bbd2d8e",579:"cf16e17a",581:"1f23919e",647:"c5fca54b",749:"9f77c54f",924:"3744107f",934:"df79c723"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",f.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var i,d;if(void 0!==t)for(var u=document.getElementsByTagName("script"),c=0;c{i.onerror=i.onload=null,clearTimeout(b);var o=a[e];if(delete a[e],i.parentNode&&i.parentNode.removeChild(i),o&&o.forEach((e=>e(t))),r)return r(t)},b=setTimeout(s.bind(null,void 0,{type:"timeout",target:i}),12e4);i.onerror=s.bind(null,i.onerror),i.onload=s.bind(null,i.onload),d&&document.head.appendChild(i)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","87d6e656":"102","0b46e8e7":"184",a6e0a6ed:"579","935f2afb":"581","5e95c892":"647","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,f.p+f.u(e)},(()=>{var e={354:0,869:0};f.f.j=(r,t)=>{var a=f.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=f.p+f.u(r),i=new Error;f.l(n,(t=>{if(f.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;i.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",i.name="ChunkLoadError",i.type=o,i.request=n,a[1](i)}}),"chunk-"+r,r)}},f.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],i=t[1],d=t[2],u=0;if(n.some((r=>0!==e[r]))){for(a in i)f.o(i,a)&&(f.m[a]=i[a]);if(d)var c=d(f)}for(r&&r(t);u{"use strict";var e,r,t,a,o,n={},i={};function f(e){var r=i[e];if(void 0!==r)return r.exports;var t=i[e]={id:e,loaded:!1,exports:{}};return n[e].call(t.exports,t,t.exports,f),t.loaded=!0,t.exports}f.m=n,f.c=i,e=[],f.O=(r,t,a,o)=>{if(!t){var n=1/0;for(c=0;c=o)&&Object.keys(f.O).every((e=>f.O[e](t[d])))?t.splice(d--,1):(i=!1,o0&&e[c-1][2]>o;c--)e[c]=e[c-1];e[c]=[t,a,o]},f.n=e=>{var r=e&&e.__esModule?()=>e.default:()=>e;return f.d(r,{a:r}),r},t=Object.getPrototypeOf?e=>Object.getPrototypeOf(e):e=>e.__proto__,f.t=function(e,a){if(1&a&&(e=this(e)),8&a)return e;if("object"==typeof e&&e){if(4&a&&e.__esModule)return e;if(16&a&&"function"==typeof e.then)return e}var o=Object.create(null);f.r(o);var n={};r=r||[null,t({}),t([]),t(t)];for(var i=2&a&&e;"object"==typeof i&&!~r.indexOf(i);i=t(i))Object.getOwnPropertyNames(i).forEach((r=>n[r]=()=>e[r]));return n.default=()=>e,f.d(o,n),o},f.d=(e,r)=>{for(var t in r)f.o(r,t)&&!f.o(e,t)&&Object.defineProperty(e,t,{enumerable:!0,get:r[t]})},f.f={},f.e=e=>Promise.all(Object.keys(f.f).reduce(((r,t)=>(f.f[t](e,r),r)),[])),f.u=e=>"assets/js/"+({17:"b5d444f3",48:"a94703ab",98:"a7bd4aaa",102:"87d6e656",184:"0b46e8e7",401:"17896441",579:"a6e0a6ed",581:"935f2afb",647:"5e95c892",749:"0276bb65",924:"fb5046e1",934:"282d1385"}[e]||e)+"."+{17:"9012ede0",48:"f63066de",98:"04e112fa",102:"469dd3e4",184:"8e9b60eb",237:"89684c8c",401:"1bbd2d8e",579:"cf16e17a",581:"1f23919e",647:"c5fca54b",749:"03885106",924:"3744107f",934:"9db3615b"}[e]+".js",f.miniCssF=e=>{},f.g=function(){if("object"==typeof globalThis)return globalThis;try{return this||new Function("return this")()}catch(e){if("object"==typeof window)return window}}(),f.o=(e,r)=>Object.prototype.hasOwnProperty.call(e,r),a={},o="research:",f.l=(e,r,t,n)=>{if(a[e])a[e].push(r);else{var i,d;if(void 0!==t)for(var u=document.getElementsByTagName("script"),c=0;c{i.onerror=i.onload=null,clearTimeout(s);var o=a[e];if(delete a[e],i.parentNode&&i.parentNode.removeChild(i),o&&o.forEach((e=>e(t))),r)return r(t)},s=setTimeout(b.bind(null,void 0,{type:"timeout",target:i}),12e4);i.onerror=b.bind(null,i.onerror),i.onload=b.bind(null,i.onload),d&&document.head.appendChild(i)}},f.r=e=>{"undefined"!=typeof Symbol&&Symbol.toStringTag&&Object.defineProperty(e,Symbol.toStringTag,{value:"Module"}),Object.defineProperty(e,"__esModule",{value:!0})},f.p="/",f.gca=function(e){return e={17896441:"401",b5d444f3:"17",a94703ab:"48",a7bd4aaa:"98","87d6e656":"102","0b46e8e7":"184",a6e0a6ed:"579","935f2afb":"581","5e95c892":"647","0276bb65":"749",fb5046e1:"924","282d1385":"934"}[e]||e,f.p+f.u(e)},(()=>{var e={354:0,869:0};f.f.j=(r,t)=>{var a=f.o(e,r)?e[r]:void 0;if(0!==a)if(a)t.push(a[2]);else if(/^(354|869)$/.test(r))e[r]=0;else{var o=new Promise(((t,o)=>a=e[r]=[t,o]));t.push(a[2]=o);var n=f.p+f.u(r),i=new Error;f.l(n,(t=>{if(f.o(e,r)&&(0!==(a=e[r])&&(e[r]=void 0),a)){var o=t&&("load"===t.type?"missing":t.type),n=t&&t.target&&t.target.src;i.message="Loading chunk "+r+" failed.\n("+o+": "+n+")",i.name="ChunkLoadError",i.type=o,i.request=n,a[1](i)}}),"chunk-"+r,r)}},f.O.j=r=>0===e[r];var r=(r,t)=>{var a,o,n=t[0],i=t[1],d=t[2],u=0;if(n.some((r=>0!==e[r]))){for(a in i)f.o(i,a)&&(f.m[a]=i[a]);if(d)var c=d(f)}for(r&&r(t);u Research at the Stellar Development Foundation | SDF Research - + @@ -17,6 +17,6 @@

SDF Researchers<

Research Consultants​

Eli Gafni's avatar

Eli Gafni

Theory of distributed computing
Website
Mohsen Lesani's avatar

Mohsen Lesani

Reliability and security of software systems
Website

Alumni​

-
George Pîrlea's avatar

George Pîrlea

Research intern
GitHubTwitterWebsite
+
George Pîrlea's avatar

George Pîrlea

Research intern
GitHubTwitterWebsite
Murdoch James Gabbay's avatar

Murdoch James Gabbay

Research consultant
GitHubWebsite
\ No newline at end of file diff --git a/publications.html b/publications.html index 65b8ec8..7801cca 100644 --- a/publications.html +++ b/publications.html @@ -4,7 +4,7 @@ Publications co-authored by SDF researchers | SDF Research - + diff --git a/research-grants.html b/research-grants.html index 5d7ceb6..a2e4c30 100644 --- a/research-grants.html +++ b/research-grants.html @@ -4,7 +4,7 @@ Academic Research Grants | SDF Research - + diff --git a/research-grants/grantees.html b/research-grants/grantees.html index f34d8ca..b088973 100644 --- a/research-grants/grantees.html +++ b/research-grants/grantees.html @@ -4,7 +4,7 @@ Awarded research grants by quarter | SDF Research - + diff --git a/research-grants/publications.html b/research-grants/publications.html index 0127945..04d0715 100644 --- a/research-grants/publications.html +++ b/research-grants/publications.html @@ -4,7 +4,7 @@ Publications acknowledging SDF funding | SDF Research - + diff --git a/workshops.html b/workshops.html index 5e45732..d79219c 100644 --- a/workshops.html +++ b/workshops.html @@ -4,14 +4,14 @@ Scientific Workshops | SDF Research - +

Scientific Workshops

We help organize workshops that bring scientists together and spur scientific progress.

FRIDA 2024​

-

Swen Jacobs (CISPA) and Giuliano Losa (SDF) are organizing the Workshop on Formal Reasoning in Distributed Algorithms, co-located with CAV 2024. +

Swen Jacobs (CISPA Helmholtz Center for Information Security) and Giuliano Losa (Stellar Development Foundation) are organizing the Workshop on Formal Reasoning in Distributed Algorithms, co-located with CAV 2024. The work is scheduled to take place in Montreal, Canada, on July 23rd, 2024.

Past workshops​

HTDS 2023​