Andrew Clausen's home page - University stuff
A lot of people are curious about what I actually do at uni.
I'm involved with info-econ, a small group that discusses/researches/laughs
about intellectual property and economics issues. In most cases,
we're not very fond of intellectual property, so we spend a lot of time
looking at other ways to promote/fund information goods.
I like "wasting time" with people. Give me a call/email so we
can arrange some! (see my main page for contact details)
When I can't find someone to waste time with, I either work on my project
in my shared office (the perks of honours!) or read books/articles and listen
to music in the Rowden White library (at the same time).
Here's a list of subjects I'm doing or have done, or
received an exemption for: (in order)
- 620-120 Mathematics A (very general: basic linear algebra, calculus, etc.)
- 433-141 Computing Fundamentals A (haskell programming)
- 620-122 Mathematics B (linear algebra and sequences/series)
- 620-231 Vector Analysis
- 431-102 Digital Electronics and Microprocessors
- 433-303 Artifical Intelligence (unofficial, but I might be able to make
it official if anyone cares enough)
- 433-142 Computing Fundamentals B (C programming)
- 161-006 Central Problems in Philosophy (mind-body problem, meaning of
life, free will/determinism)
- 620-123 Applied Mathematics (differential equations)
- 620-222 Linear and Abstract Algebra (linear algebra, intro to fields and
lots on groups)
- 433-255 Logic and Computation (propositional and first-order logic,
prolog, Turing Machines and Decidability)
- 161-020 Contemporary European Philosophy 1 (Husserl, Heidegger's "Being
and Time")
- 620-221 Real and Complex Analysis (intro to topology, Cauchy-Riemann
equations, Cauchy's integral formulas, Liouville's theorem, etc.)
- 433-252 Software Engineering: Principles and Tools
- 433-253 Algorithms and Data Structures
- 433-254 Software Design
- 433-361 Programming Languages Implementation (follows the Dragon Book)
- 433-353 Networks and Communications
- 620-352 Graph Theory
- 433-257 Frontiers of Computer Science (insect vision, reduced orderded
binary decision diagrams, abstract interpretation of programs [i.e. static
analysis], splay trees / amortized analysis, history of computer science)
- 620-351 Number Theory (mainly cryptography-related stuff)
- 433-343 Professional Issues in Computing (my essay: about accountability
wrt security failures)
- 433-330 Theory of Computation (NP-completeness, formal languages,
decidability, etc.)
- 433-351 Database Systems
- 433-371 Interactive Systems Design
- 433-380 Graphics and Computation
- 433-385 Modelling, Analysis and Visualisation
- 433-471 Logic Programming (prolog, mercury)
- 620-321 Algebra (rings, modules, Galois theory, ruler & compass constructions)
- 433-676 Text and Document Management (compression and indexing)
- 433-475 High Performance Database Systems (distributed ACID transaction processing)
- 433-401 Computer Science Research Project
- 433-460 Human Language Technology
- 620-47x Network Optimization
- 433-401 Computer Science Research Project
- 620-312 Linear Analysis (unofficial)
- 620-311 Metric Spaces (unofficial)
- 316-402 Advanced Microeconomics (unofficial)
- 316-450 Game Theory (unofficial)
- 316-650 Convex Analysis (unofficial)
- 316-616 Industrial Organization (unofficial)