Skip to content
View xdefago's full-sized avatar

Highlights

  • Pro

Organizations

@dfg-lab
Block or Report

Block or report xdefago

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
xdefago/README.md

Hi there 👋

I am working as a professor at Tokyo Institute of Technology (Japan), where I teach first year computer science and literacy classes in the bachelor program, as well as distributed algorithms and fault-tolerant distributed algorithms in the master program.

  • 🔭 I’m currently working on fault-tolerant distributed systems and cooperative mobile robots as my main professional research activities. I have some side projects that are only indirectly related to my research, such as a Rust crate for computing confidence intervals: stats-ci@crates.io / stats-ci@github.
  • 🔭 I have some personal projects on the side, mostly related to embedded systems and home automation, such as a weather clock.

Pinned

  1. stats-ci stats-ci Public

    Rust crate to compute confidence intervals of various kinds.

    Rust 2

  2. ScalaNeko ScalaNeko Public

    development platform aimed at prototyping distributed algorithms

    Scala 1

  3. spin-light spin-light Public

    SPIN verification model for rendezvous algorithms of 2 robots with lights

    Promela