diff --git a/assets/css/main.css b/assets/css/main.css index 70d2836..0ff69f1 100644 --- a/assets/css/main.css +++ b/assets/css/main.css @@ -3990,6 +3990,7 @@ input, select, textarea { .circular-square { border-radius: 50%; width: 128px; + height: 128px; } .hidden { diff --git a/images/speakers/alex_beregszaszi.jpg b/images/speakers/alex_beregszaszi.jpg new file mode 100644 index 0000000..127b934 Binary files /dev/null and b/images/speakers/alex_beregszaszi.jpg differ diff --git a/images/speakers/andrei_maiboroda.jpg b/images/speakers/andrei_maiboroda.jpg new file mode 100644 index 0000000..c580206 Binary files /dev/null and b/images/speakers/andrei_maiboroda.jpg differ diff --git a/images/speakers/ansgar_dietrichs.jpg b/images/speakers/ansgar_dietrichs.jpg new file mode 100644 index 0000000..6e9dbe1 Binary files /dev/null and b/images/speakers/ansgar_dietrichs.jpg differ diff --git a/images/speakers/ayman_bouchareb.jpg b/images/speakers/ayman_bouchareb.jpg new file mode 100644 index 0000000..ce24196 Binary files /dev/null and b/images/speakers/ayman_bouchareb.jpg differ diff --git a/images/speakers/daniel_kirchner.jpg b/images/speakers/daniel_kirchner.jpg new file mode 100644 index 0000000..440064f Binary files /dev/null and b/images/speakers/daniel_kirchner.jpg differ diff --git a/images/speakers_danno.jpg b/images/speakers/danno_ferrin.jpg similarity index 100% rename from images/speakers_danno.jpg rename to images/speakers/danno_ferrin.jpg diff --git a/images/speakers_david_pearce.jpg b/images/speakers/david_pearce.jpg similarity index 100% rename from images/speakers_david_pearce.jpg rename to images/speakers/david_pearce.jpg diff --git a/images/speakers/default.jpg b/images/speakers/default.jpg new file mode 100644 index 0000000..5e620c2 Binary files /dev/null and b/images/speakers/default.jpg differ diff --git a/images/speakers/dragan_rakita.jpg b/images/speakers/dragan_rakita.jpg new file mode 100644 index 0000000..cef7d52 Binary files /dev/null and b/images/speakers/dragan_rakita.jpg differ diff --git a/images/speakers/greg_colvin.jpg b/images/speakers/greg_colvin.jpg new file mode 100644 index 0000000..77b625f Binary files /dev/null and b/images/speakers/greg_colvin.jpg differ diff --git a/images/speakers/jacek_glen.jpg b/images/speakers/jacek_glen.jpg new file mode 100644 index 0000000..e2f177e Binary files /dev/null and b/images/speakers/jacek_glen.jpg differ diff --git a/images/speakers/jordi_baylina.jpg b/images/speakers/jordi_baylina.jpg new file mode 100644 index 0000000..7c19d3a Binary files /dev/null and b/images/speakers/jordi_baylina.jpg differ diff --git a/images/speakers/lightclient.jpg b/images/speakers/lightclient.jpg new file mode 100644 index 0000000..937206e Binary files /dev/null and b/images/speakers/lightclient.jpg differ diff --git a/images/speakers/mamy_andre_ratsimbazafy.jpg b/images/speakers/mamy_andre_ratsimbazafy.jpg new file mode 100644 index 0000000..938952f Binary files /dev/null and b/images/speakers/mamy_andre_ratsimbazafy.jpg differ diff --git a/images/speakers/marius_van_der_wijden.jpg b/images/speakers/marius_van_der_wijden.jpg new file mode 100644 index 0000000..988f7d3 Binary files /dev/null and b/images/speakers/marius_van_der_wijden.jpg differ diff --git a/images/speakers/neville_grech.jpg b/images/speakers/neville_grech.jpg new file mode 100644 index 0000000..899dbb2 Binary files /dev/null and b/images/speakers/neville_grech.jpg differ diff --git a/images/speakers/pawel_bylica.jpg b/images/speakers/pawel_bylica.jpg new file mode 100644 index 0000000..4f5aa9e Binary files /dev/null and b/images/speakers/pawel_bylica.jpg differ diff --git a/images/speakers/radoslaw_zagorowicz.jpg b/images/speakers/radoslaw_zagorowicz.jpg new file mode 100644 index 0000000..9e3aaa3 Binary files /dev/null and b/images/speakers/radoslaw_zagorowicz.jpg differ diff --git a/images/speakers/tim_beiko.jpg b/images/speakers/tim_beiko.jpg new file mode 100644 index 0000000..812d556 Binary files /dev/null and b/images/speakers/tim_beiko.jpg differ diff --git a/index.html b/index.html index 13af994..a80ef61 100644 --- a/index.html +++ b/index.html @@ -22,7 +22,7 @@ What to expect at the event? Who is this event directed to? Applications - speakers + Speakers Program @@ -44,7 +44,7 @@
David is a research engineer in the Trustworthy Smart Contracts Team at ConsenSys.
David's current focus is on the application of formal methods to smart contracts.Before that, David was an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington, NZ.
David graduated from the Department of Computing at Imperial College London, and moved to New Zealand in 2004.
David's research interests are in programming languages, compilers, static analysis and formal verification. David is the author of the Whiley programming language which (like Dafny) supports formal verification of functional specifications (i.e. preconditions / postconditions).
-Danno is Principal Software Engineer at Hedera Hashgraph, where he integrates the EVM into the Hedera network.
Previously he was Lead Protocol Engineer at ConsenSys Software Inc on their Ethereum Mainnet team, where he chose to go "full crypto" after leaving Google.
Danno also worked at McDonalds as a crew member in his youth, so he is fully hedged against any DeFi downturn.
Danno is a maintainer for the Hyperledger Besu project.
-Jacek have almost 20 years of experience developing and designing systems in industries spanning from banking to finance to big data to insurance.
In recent years, Jacek have focused on all aspects of blockchain technologies. Jacek is involved in developing Ethereum clients, smart contracts and web3 apps.
-Researcher at Ethereum Foundation
+Ayman is a 24yo software engineer from Morocco, joined Nethermind last year as part of the core team, and mostly focus on EVM related topics (since Ayman likes VMs), and now Ayman works on small EIPs that touchs the EVM for Shanghai and Cancun forks as well as working on the full EOF update for the EVM.
+David is a research engineer in the Trustworthy Smart Contracts Team at ConsenSys.
David's current focus is on the application of formal methods to smart contracts.
Before that, David was an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington, NZ.
David graduated from the Department of Computing at Imperial College London, and moved to New Zealand in 2004.
David's research interests are in programming languages, compilers, static analysis and formal verification. David is the author of the Whiley programming language which (like Dafny) supports formal verification of functional specifications (i.e. preconditions / postconditions).
+Danno is Principal Software Engineer at Hedera Hashgraph, where he integrates the EVM into the Hedera network.
Previously he was Lead Protocol Engineer at ConsenSys Software Inc on their Ethereum Mainnet team, where he chose to go "full crypto" after leaving Google.
Danno also worked at McDonalds as a crew member in his youth, so he is fully hedged against any DeFi downturn.
Danno is a maintainer for the Hyperledger Besu project.
+Reth core dev, revm author.
+Jacek have almost 20 years of experience developing and designing systems in industries spanning from banking to finance to big data to insurance.
In recent years, Jacek have focused on all aspects of blockchain technologies. Jacek is involved in developing Ethereum clients, smart contracts and web3 apps.
+Marius is a developer at the Ethereum Foundation as a member of the Geth client team.
+Neville is the Director and co-founder of Dedaub. Neville expertise is focused on program analysis, mostly applied to security applications.
Before Dedaub Neville had a mostly academic career. Have authored the first work that applies static analysis to the security of smart contracts, this work was subsequently highlighted by ACM SIGPLAN and Communications of the ACM.
Throughout Naville's career also developed novel techniques and tools in the areas of energy efficient software development, smart contracts, semantics and generative programming.
Some popular tools Naville have codeveloped include decompilers and security analyzers for the Ethereum platform (MadMax and Gigahorse) and Java pointer and taint analysis frameworks (Doop, P/Taint and HeapDL).
Previously, Naville was Reach High Fellow at the University of Athens, a Senior Research Associate at the University of Bristol, and have worked in industry as a Data Scientist and Software Engineer.
Naville hold a PhD from the University of Southampton.
+Tim runs the AllCoreDevs call for Ethereum
+')
+
+ code += f"""{spacing} {bio}{s['name']}
+{spacing}{s['project']}
"""
+
+ if bio != "":
+ code += f"""
+{spacing}
+{spacing}
+{spacing}
+{spacing}
+{spacing}