Top Banner
Research in Computing CSC 3990 September 17, 2012
23
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Research in Computing CSC 3990 September 17, 2012.

Research in ComputingCSC 3990

September 17, 2012

Page 2: Research in Computing CSC 3990 September 17, 2012.

My Research JourneyA winding path

Guided byCuriosity“The open range”Paying attentionWillingness to learn lots of things

Watch for threads

Page 3: Research in Computing CSC 3990 September 17, 2012.

Problem 1College: Junior year

Stability theory of differential equationsRichard Bellman, 1953Determining properties of solutions from the

analytic form of the equationNo computingLots of linear algebra and analysisBellman’s view of “elementary” and mine were

very different.

Page 4: Research in Computing CSC 3990 September 17, 2012.

Problem 2College: Junior year

Text processing; database queries

Find all the town names in California that can be made from the letters in the phrase ….

Hammer looking for a nailHammer = IBM 1620Nail = a problem to motivate learning to program

Page 5: Research in Computing CSC 3990 September 17, 2012.

Problem 2 : ResultsLearned

Fortran II1620 Assembly LanguageSystem constraints, quirks

Page 6: Research in Computing CSC 3990 September 17, 2012.

Problem 2 : Follow-onSummer internship with IBM

Summer 1: Teaching machine

Summer 2: Thick film exposure

Summer 3: Fingerprint identification

Page 7: Research in Computing CSC 3990 September 17, 2012.

Problem 3Grad school thesis problem: Classify the

connections on a semi-simple Lie group

Group

Lie group

Simple Lie group

Semi-simple Lie group

Connection

Page 8: Research in Computing CSC 3990 September 17, 2012.

Problem 3 : SolutionRepresentations of Lie algebras

Symbolic computation

“What if the computer isn’t correct?”A road not taken

Page 9: Research in Computing CSC 3990 September 17, 2012.

Problem 4First collaboration

Multiplicities of representations of complex simple Lie algebras

Connections toTheoretical physicsSymbolic computationComputational algebra

Page 10: Research in Computing CSC 3990 September 17, 2012.

Problem 4 : ComputationLanguage: Fortran IV

Computational challenges Infinite precision arithmeticSummations over elements of a groupEventually zero summations

System challengesOne run (compilation or execution) per dayPhysical management of programs and output

Page 11: Research in Computing CSC 3990 September 17, 2012.

Problem 5Continuing collaboration

Classification of small dimension Lie algebrasNilpotentSolvable

Pure mathematics

Page 12: Research in Computing CSC 3990 September 17, 2012.

Problem 5 : ComputationNeed easy matrix calculations

Ideal language: APLExample: multiplying two matrices A +.x B

Page 13: Research in Computing CSC 3990 September 17, 2012.

Problem 5 : ExtensionsHonors course: Calculus in APL

Challenges to computing capability

International collaborationsCayley, a Lie algebra programming language

SIGSAM communityMacsyma

A recent senior projectClassification of finite rings

Page 14: Research in Computing CSC 3990 September 17, 2012.

Problem 6Listening to colleagues; bringing complementary

skills

Linear (and non-linear) optimization techniquesLinear programming Integer programmingGraph theoryGame theory

Page 15: Research in Computing CSC 3990 September 17, 2012.

Problem 6 : ResultsTextbook: Elementary Linear Programming

Page 16: Research in Computing CSC 3990 September 17, 2012.

Problem 7Born of frustration

Why are the interfaces (to programming languages) so bad?

HCI workshop

Ongoing HCI course

Page 17: Research in Computing CSC 3990 September 17, 2012.

Problem 7 : ExpansionA few hundred to several thousand

Academic to corporate

Need a niche

Page 18: Research in Computing CSC 3990 September 17, 2012.

Problem 7 : NicheWeb interfaces

Shifting technologies

Shifting uses

Page 19: Research in Computing CSC 3990 September 17, 2012.

Problem 8Responding to colleagues

Modeling and optimizationModels of fitnessModels of league schedulingModels of governanceModels for conflict resolution

Page 20: Research in Computing CSC 3990 September 17, 2012.

Problem 9CS in a liberal arts and sciences college

Computing for everyoneTools for textLiving in the knowledge societyComputing and musicSustainability in computing courses

Page 21: Research in Computing CSC 3990 September 17, 2012.

Random ProblemsBecause they’re fun

Tower of x’s

Packing spheres

Reconstructing turnpikes

Configuring networks of pipes

Page 22: Research in Computing CSC 3990 September 17, 2012.

Random Questions?

Page 23: Research in Computing CSC 3990 September 17, 2012.

Collaborators Bernard Kolman

Ian Stewart

Lillian Cassel

Ursula Volz

Christopher Beck

James Solderitsch

Elzbieta Dziembowski

Edward Fox

Edward Carr

Richard Austing

Mitchell Weyl

Daniel Hardt

Thomas Way

Vijay Gehlot

Peter DiPasquale

Elliot Sloane

Wingyang Chung