👋 Hi, I'm Steven, currently a Master's student in CS at University of Illinois. I develop several open source projects in my free time.
My current work/projects can be roughly split into 3 categories:
- Software Verification: This is the main topic of my Master's program, and I along with my colleagues developed
versefor verifying decision logic in hybrid systems. I've also started to learn about ITPs like Coq and maybe there'll be projects from there. - Human Input devices: I have my custom keyboards, for at-home use (
fissure) and portable use (fusion). These are still mostly keyboards, but I'm slowly integrating pointing device into them. I've also developed the first open sourced embedded stenography engine Kolibri, and related stenography keyboards, both of which are in thestenorepo. There are also custom keycaps (sqdg) and PCB libraries (kleeb). - Human automation: projects for (attempting to) automating and improving efficiency of my life. The main project is
sched, which aims to automate task/event scheduling. On the side there arezeubandlarmwhich try to provide an interface for automation.