Adam Megacz
Serious
research, teaching,
software
Sort of Serious
my thoughts
other peoples' thoughts
Nowhere Near Serious
entertainment
.plan
I'm a PhD candidate at UC Berkeley. My research advisor is Ivan Sutherland, but my paperwork gets signed by John Wawrzynek.
For Spring10 I am working on my thesis research and taking Math 290. In my spare time I teach math at San Quentin and frequent the Berkeley Categorical Logic group.
Research Interests
Programming languages: strongly typed functional programming, concurrency, parsing.
VLSI: asynchronous circuits, reconfigurability.
Category theory: cartesian closure, polynomial categories, topoi.
Logic: categorical logic, combinatory logic, interactive theorem proving.
General Algebra: Kleene algebras, algebra of relations, residuated boolean algebras.
|
The major axis of computer science research is not hardware/software or high-level/low-level, but rather exact/heuristic. At one pole lie logic, formal methods, VLSI, programming languages, and computability; towards the other are heuristic methods, statistical methods, human-computer interaction, and artificial intelligence. Our field is truly fortunate to have such a broad and continuous spectrum of topics.
|
Links
ssh vnc
|
