* [[Current Research Projects]]


  * [[Meetups]]
    * [[Developer Productivity]] -- includes Meetups and Software Craftmanship
  * [[Software Security]]


  * [[Productivity]]


  * [[Advisor]]
  * [[Proof Methods for Paraconsistent Logics]]
  * [[Software Engineering]]
  * [[Reflective Research]]
  * [[Reviewer]]