Openproof software

I was hired at Openproof Software for my fall quarter my Junior year. Openproof Software specializes in producing easy-to-use first-order logic software for philosophy students. The company is transitioning from a downloaded software paradigm to an online, web-based software paradigm. Thus, it was imperative for them to bring in a designer who could help visually model and shape this process.

The first order of business was creating the new look and feel of this company. The website before the redesign can be found here. Openproof wanted to become more modern, so I was sure to design their new website with clean lines and a simple color scheme. Using the design prototyping tool Sketch, I put together a series of wireframes for the new website. An example of my redesign is shown below. 

 A Wireframe of My Redesign 

A Wireframe of My Redesign 

In addition, the company required a new logo to go with this updated, modernized website. Given the company produces software for philosophy students studying logic, the founders wanted to keep the turnstile in the logo. I represented this logic symbol with the three preceding squares and the "O" in Openproof.