Log in

No account? Create an account
CCF-1218375 - Lindsey Kuper — LiveJournal [entries|archive|friends|userinfo]
Lindsey Kuper

[ website | composition.al ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

CCF-1218375 [Jul. 26th, 2012|10:59 pm]
Lindsey Kuper

I have some exciting research news to share: the grant proposal that my advisor and I co-wrote and submitted last December has been funded! Barring unforeseen circumstances, this grant will fund my research from now until 2015 or when I graduate, whichever comes first.1

We received the "we expect to be able to fund your proposal" email back in May, but it's taken until now for all the paperwork that makes the grant official to go through, and I didn't want to jump the gun by saying anything publicly before now. Suffice it to say it's been a rather squirmy two months of frequent email-checking and NSF-website-page-reloading. For me, at least, the stakes were pretty high, but getting this grant means that the second half of grad school is beginning to shape up in the way that I had hoped it would.

The work that we proposed is already underway, and I'm going to be giving a couple of talks about it in the near future, starting with a five-minute lightning talk tomorrow. I've been at the Oregon Programming Languages Summer School for the last two weeks, learning lots of new things2 and hanging out with many wonderful people from my research community, one of whom (hi, Gabriel!) graciously organized several sessions' worth of student talks. I've been practicing a bit today, and as it turns out, five minutes is enough time to say approximately nothing whatsoever, but I'm going to give it a shot anyway. Then, three weeks from now, I'll be visiting the BOOM lab at Berkeley and giving a longer talk -- more on that soon.


  1. The latter, hopefully.
  2. To give you an idea of the information density of the summer school, the 80-sheet (so, 160-page) notebook that I bought on July 16 is now over half filled. It's a good thing that we're almost done, because I've just about reached my limit for absorbing new ideas in a short time.

(Deleted comment)
From: simrob
2012-07-28 04:53 am (UTC)
My understanding is that magic templates says "show me a forward-chaining logic programming interpreter, and I'll show you an tabled backward-chaining interpreter for well-moded logic programs." So magic sets is showing that forward-chaining can emulate (tabled) backward-chaining; Frank's point is that a more general Proof Search For Intuitionistic Sequents can simulate both.

But vice-versa? What does it mean for magic sets to do a vice versa thing?
(Reply) (Parent) (Thread)
[User Picture]From: zacharyzsparks
2012-07-28 07:12 am (UTC)
Nope, but I'd be interested to hear about it!
(Reply) (Parent) (Thread)