Some thoughts on various topics


Overview of research areas

  • Insect Vision
    Computational Neuroscience
  • Programming Models
    Digital Design
  • Formal Verification
    Digital Design
  • Metastability
    Digital Design


    Personal projects and activities

  • Computer Chess Engine
  • 3D Laser Scanner


    Selected peer-reviewed publications

    See Google Scholar for a full list.

    Insect Vision

  • Invisible noise obscures visible signal in insect motion detection
    Scientific Reports, 2017
  • Contrast thresholds reveal different visual masking functions in humans and praying mantises
    Biology Open, 2018

    Formal Verification

  • Formal verification of clock domain crossing using gate-level models of metastable flip-flops
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016

    Digital System Design

  • Eliminating Synchronization Latency Using Sequenced Latching
    Transactions on VLSI, IEEE, 2013
  • Intra-chip physical parameter sensor for FPGAS using flip-flop metastability
    Field Programmable Logic and Applications (FPL), 22nd International Conference on, 2012


  • Metastability Tolerant Computing
    Asynchronous Circuits and Systems (ASYNC), 2017 23rd IEEE International Symposium on, 2017


    How to get in touch

    Please send me an email at

    If your email contains sensitive information, please encrypt it with my PGP key.