Stack Exchange
sign up | log in |

Theoretical Computer Science
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

Liam O'Connor

less info
meta site favicon meta user | stack exchange network profile network profile
141 reputation
4
bio website liamoc.net
location Australia
age 23
visits member for 2 years, 3 months
seen Apr 26 '12 at 16:48
stats profile views 68

Computer scientist and Haskell programmer.


141 reputation
bio website liamoc.net visits member for 2 years, 3 months
4 badges
location Australia seen Apr 26 '12 at 16:48
summary answers questions tags badges favorites bounties reputation activity

5 Answers

votes activity newest
5
Is a CS degree for me?
5
What are current open problems in compiler theory?
5
Relationship between contracts and dependent typing
4
Proof assistant for writing mathematics
2
What is the best text of computation theory/theory of computation?

141 Reputation

+50 Relationship between contracts and dependent typing
+40 Proof assistant for writing mathematics
+50 Is a CS degree for me?

0 Questions

votes activity newest
This user has not asked any questions

15 Tags

5
soft-question × 3
5
program-verification
5
type-theory
4
proof-assistants
5
advice-request
4
software
5
career
4
lo.logic
5
pl.programming-languages
0
open-problem
view more

2 Accounts

Stack Overflow Stack Overflow 181 rep 5
Theoretical Computer Science Stack Exchange Theoretical Computer Science 141 rep 4

4 Badges

recent class name
 Peer Pressure  Teacher
 Revival  Autobiographer

0 Active bounties

active offered earned
This user has no active bounties

0 Votes Cast

This user has not cast any votes
user feed
about help badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Christianity
  6. Arqade (gaming)
  7. Bicycles
  8. Role-playing Games
  9. more (21)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.6.18.748