About Us

letter-a-hexagon-logoFAL Kirk blog contains fledging research ideas and open research problems in distributed systems, real-time systems, fault-tolerance, security, and formal verification.

If you find a problem of interest, come up with a solution, or just have something related to say, please leave a comment! Thanks.