bio | website | catseye.tc |
---|---|---|

location | ||

age | ||

visits | member for | 2 years |

seen | Dec 16 '12 at 20:49 | |

stats | profile views | 46 |

My main interest is in the design of pathological programming languages. While this subject is not entirely (perhaps not even primarily) mathematical, it does rely significantly on results from computability, complexity theory, and formal languages. Results from pretty much any field are welcome additions if they can be applied to the design of a programming language to make it (more) pathological. Currently I am somewhat interested in the possibilities of abstract algebra in this regard.

Mathematics | 181 rep | 12 | |

Theoretical Computer Science | 175 rep | 17 | |

MathOverflow | 100 rep | 8 | |

Computer Science | 81 rep | 7 |

This user has no active bounties

# 85 Votes Cast

all time | by type | ||||
---|---|---|---|---|---|

85 | up | 25 | question | ||

0 | down | 60 | answer |