{"id":31,"date":"2020-08-15T21:43:58","date_gmt":"2020-08-16T01:43:58","guid":{"rendered":"https:\/\/jaredpincus.com\/?page_id=31"},"modified":"2026-08-18T21:30:33","modified_gmt":"2026-08-19T01:30:33","slug":"about","status":"publish","type":"page","link":"https:\/\/jaredpincus.com\/index.php\/about\/","title":{"rendered":"About"},"content":{"rendered":"\n
\n
\n
\"\"<\/figure>\n<\/div><\/div>\n\n\n\n
\n

Hi, I’m Jared! I’m a fifth year PhD candidate in computer science at Boston University<\/a>, in the POPV group<\/a>. My research interests generally concern formal methods in domains including security, static analysis, and mechanized proofs, as well as applications to fields such as graphics, cognition, and linguistics. I aspire to spend my life as a research professor and public science communicator, to maintain my lifelong passion for discovery and exchange of ideas.<\/p>\n\n\n\n

I’m the co-creator of Computer Junkyard<\/a>, a board game available now<\/a>!<\/p>\n\n\n\n

I also design roller coasters<\/a>, develop video games<\/a>, and create mathematical art<\/a>.<\/p>\n\n\n\n

Contact<\/h2>\n\n\n\n

Professional: pincus@bu.edu<\/a>
Personal: jared@jaredpincus.com<\/a><\/p>\n\n\n\n

\n