This site is powered by:

• nanoc
• vim
• Debian GNU/Linux

• news

Research

• about me
• teaching

Private

• about me
• projects

Miscellaneous

• about this site
• robot os
• nuttx rtos
• automatic identification system

Time, Frequency and Position

• satellite navigation
• reference clock
• network time

updated: August 2018