Sched.com Conference Mobile Apps
seL4 Summit 2024
Attending this event?
Log In
or
log in with email →
Sign Up
or
sign up with email →
Completely free and you can…
Create a custom schedule.
Take it with you on mobile.
Get listed in the directory.
seL4 Summit 2024
-
Saved To
My Schedule
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Search
menu
Menu
Schedule
Speakers
Search
HA
Hesham Almatary
Capabilities Limited
JA
June Andronick
Proofcraft
CB
Cristian Balas
US Army - Ground Vehicle Robotics
LB
Luca Benini
ETH Zurich and University of Bologna
SL
Stevens Le Blond
Neutrality
Matthew Brecknell
Kry10
Verification Engineer
ZC
Zach Clark
DornerWorks
DC
David Cock
Neutrality
Darren Cofer
Collins Aerospace
Fellow
CD
Courtney Darville
UNSW
DE
Dhammika Elkaduwe
NIO
Bill Ellis
Capgemini
Software Engineer
KE
Kevin Elphinstone
Trustworthy Systems/UNSW Sydney
YE
Yale Empie
US Army - Ground Vehicle Robotics
AF
Alison Felizzi
Kry10
BF
Ben Fiedler
ETH Zurich
CG
Chris Guikema
DornerWorks
GH
Gernot Heiser
Trustworthy Systems, UNSW
CS
Cog Systems Inc
JS
Jason Sebranek, Cog Systems Inc
Cog Systems, Inc.
CTO
Everton de Matos, Technology Innovation Institute
Tec
TI
Technology Innovation Institute
LJ
Lance Joneckis
Idaho National Laboratory
AJ
Alwin Joshy
Trustworthy Systems
AK
Alain Kägi
Lewis & Clark College
Assistant Professor
GK
Gerwin Klein
Proofcraft
RK
Rafal Kolanski
Proofcraft
Ihor Kuz
Kry10
Principal Engineer
CL
Corey Lewis
Proofcraft
ZL
Zikai Liu
ETH Zurich
CG
Colias Group LLC
Nick Spinale, Colias Group LLC
Colias Group, LLC
LM
lei mao
horizon robotics
Director
ED
Everton de Matos
MM
Michael McInerney
Proofcraft
CM
Craig McLaughlin
Trustworthy Systems/UNSW Sydney
RM
Roman Meier
ETH Zurich
MM
Mathieu Mirmont
Neutrality
AP
Alex Pavey
DornerWorks
JA
Johannes Åman Pohjola
UNSW Sydney
NQ
Ning Qu
NIO
WG
Wyeth Greenlaw Rollins
Lewis & Clark College
Student
Timothy Roscoe
ETH Zurich
Professor
Daniel Schwyn
ETH Zurich
PhD Student
JS
Jason Sebranek
YS
Yanyan Shen
NIO
RS
Robert Sison
UNSW Sydney
NS
Nick Spinale
NS
Nathan Studer
DornerWorks
MT
Miki Tanaka
UNSW Sydney
LV
Leigha VanderKlok
DornerWorks
IV
Ivan Velickovic
Trustworthy Systems
CW
Caitlyn Wilde
Lewis & Clark College
Student
NW
Nils Wistoff
ETH Zurich
WZ
Wanja Zaeske
Deutsches Zentrum für Luft- und Raumfahrt (DLR)
Share Modal
Share this link via
Or copy link
Copy