Cables are a bit annoying at times. I didn't feel it much until an experience I had in the reading room in college. The sockets were all used or occupied, the WIFI was working, outside was cold and had mosquitoes and I really wanted to study in the reading room.

Then I thought - "why can't the electric sockets access work like the WIFI?". Well, I didn't stop there. I was lucky after much hard-earned patience, I got a socket to charge and power my computer whose battery was low. I did some research shortly afterward and was delighted to see some already done work on Wireless electricity. 

​

After many online searches, video watching, and reading, I came to the conclusion that the major impedance to achievable wide-spread 'WIFI electricity' was the seeming scarcity of energy itself. As the law of energy goes - Energy can neither be created nor destroyed but can be transformed from one form to another, it seemed to me that having electrical energy in the form of radio waves was a rather expensive, wasting method as some of that energy if not most of it will flow freely in air unused.

 

The solution...solar energy! It was estimated in 2015 that the amount of energy used worldwide in a year is less than the amount of energy that reaches the earth from the sun in an hour (https://www.businessinsider.com/this-is-the-potential-of-solar-power-2015-9?IR=T). Let's say that was 4 years ago. So in 2019, we could compare worldwide energy consumption to 24hrs/1 day of the sun's energy reaching the earth, and we might still fall short. That's interesting! How do we make the most of that to solve a problem that pisses 'Wireless electricity enthusiasts' like me of? 

​

In this research, I aim to find a suitable and feasible way to convert electrical energy from solar to radio waves to achieve 'WIFI electricity'. 

Susan came up with the idea of interference freeness while working on solving the problem of proving the correctness of concurrent programs. 

​

In this research for one of my college senior year courses, my group and I establish the significance of the Gries-Owicki theory as a method of proving concurrency on a single CPU where parallel computing cannot be attained.

​

https://www.researchgate.net/publication/332686763_Gries_Owicki_thoeory_and_Partial_Correctness