Automatic Problem Generation

• Here, you can find automatically generated RM/EDF Problems.
• Here, you can find mutated versions of a traffic light state machine as xml files.

My Old Webpage

Here is my old webpage from undergrad.

Life

There are a couple of things I really enjoy in life like coffee, chocolate, philosophy, math, nature and sports. When I grow up, I want to have a chocolate shop somewhere on the Pacific coast and solve all the world's math problems. Before then, I try to solve as many math problems as I can.

This is a picture of Nevada Falls from a trip to Yosemite. It was so pretty that I literally cried!


Nevada Falls at Yosemite




Since the beginning of grad school, I have got interested in Kickboxing and Cardio-Kickboxing. I generally go to the group exercises at RSF. I also enjoy playing volleyball. I try to take a volleyball class every semester.





This is Baxter from Prof. Bajcsy's research group, we just became really close friends.


Baxter and I are friends =D