Clusters A Introduction -...
52
Clusters A Introduction
Transcript of Clusters A Introduction -...
ClustersAIntroduction
Schedule
• Zack Butler 8:00• Joe Geigel 8:06• Carlos Rivero 8:12• Minseok Kwon 8:18• Pei Hu 8:24• Alan Kaminsky 8:30• Matthew Fluet 8:36• Ivona Bezakova 8:42• End 8:48
INTELLIGENTSYSTEMSZACKBUTLER
Researchareas
• Robotics(Butler)
Researchareas
• Machinelearning/datamining– Dataquality&veracity– Security(Reznik)– Computervision(Kinsman)
Researchareas
• Documentandpatternrecognition(Zanibbi)
Coursesoffered• 630FoundationsofIntelligentSystems• 631FoundationsofComputerVision• 632MobileRobotProgramming• 633BiologicallyInspiredIntelligentSystems• 731AdvancedComputerVision• 734FoundationsofSecurityMeasurementandEvaluation
• 735FoundationsofIntelligentSecuritySystems• 736NeuralNetworksandMachineLearning• 737PatternRecognition• 739TopicsinIntelligentSystems(Seminar)
Formoreinfo…
• http://www.cs.rit.edu/~isystems
Researchareas
• Documentandpatternrecognition(Zanibbi)
• http://www.cs.rit.edu/~isystems
COMPUTERGRAPHICSANDVISUALIZATIONJOEGEIGEL
ComputerGraphicsandVisualization• TheGraphicsandVisualizationClusterprovidesthetechnicalfoundationsforgraduatestudiesinComputerGraphicsandAppliedPerception.
• AreasforfurtherstudyincludeGraphicsProgramming,RenderingandImageSynthesis,AppliedPerception,ComputerAnimationandVirtualReality,ImageProcessingandAnalysis,andDataVisualization.
Faculty
• ProfReynoldBailey• ProfHans-PeterBischof• ProfWarrenCarithers• ProfJoeGeigel• ProfSeanStrout• ProfLinweiWang
SelectedResearchAreas
EyeTracking&GazeManipulation
VirtualandAugmentedReality
GesturalInterfaces
MotionCapture ScientificVisualizationAppliedPerception
CSGraphicsandAppliedPerceptionLabhttp://www.cs.rit.edu/~graphics/lab--GOL-3600
Courses
• CSCI610–FoundationsinComputerGraphics(Fall/Spring)
• CSCI711–GlobalIllumination(Spring)• CSCI712–ComputerAnimation:Algorithm+Techniques(Fall–oddyears)
• CSCI713–AppliedPerceptioninGraphics(Fall)• CSCI714–ScientificVisualization(Spring)• CSCI715–ApplicationsinVR(Fall–evenyears)• CSCI716–ComputationalGeometry(Spring)• CSCI719–TopicsinComputerGraphics(asneeded)
DATASCIENCECARLOSRIVERO
Overview• CSCI620IntroductiontoBigData• CSCI621DatabaseSystemImplementation• CSCI622DataSecurityandPrivacy• CSCI720BigDataAnalytics• CSCI721DataCleaningandPreparation• CSCI722DataAnalyticsCognitiveComputing• CSCI729TopicsinDataManagement
– GraphDatabases– WebServicesandServiceOrientedComputing(recently
approvedasapermanentcourse,CSCI724)• Areasofinterest
– Seefacultyinterests
BigDataAnalyticsAdvancedCertificate
• InadditiontoMSCSdegree,applyforthiscertificateifyoutake4courses:– CSCI620– CSCI720– Twoelectivesfromthepreviousslideorfrom
specificCSCIandISTcourses
FacultyResearchInterests
• Dr.XuminLiu– Automaticservicecompositionforefficientdeliveryofcustomizedbusinessprocesses
– Processpatterndiscoveryfromunlabeledandinterleavedeventlogs
– Deployinganddeliveringwebservicesinwirelessenvironment
• Dr.CarlosRivero– Codecomprehensionbasedonprogramdependencegraphs
– Efficientqueriesingraphdatabases
– QuerylanguagesforSQLandNoSQLdatabases.
FacultyResearchInterests
• Dr.CarolRomanowski(Preferthesisstudents)– BigDataincriticalinfrastructureprotectionandresilience
– Engineeringdesignanalytics
• Dr.RajendraRaj(Preferthesisstudents)– BigDatasecurityissuesincloud,mobileanddistributedsystems
– Practicaldataprivacy– Criticalinfrastructureprotectionandresilience
DISTRIBUTEDSYSTEMSMINSEOKKWON
Introduction • This area studies systems formed from
multiple cooperating computers. – Distributed systems – Distributed middleware – Pervasive and mobile computing – Computer networking protocols – Network security – Cloud computing – Parallel computing on multicores, clusters, and
GPUs
23
Distributed Systems in Industry
• Datacenters • High performance computing • Cloud computing • Mobile computing • IoT • Routers and switches • Network protocols • Network security
24
Faculty
• Mohan Kumar (departmental chair) • Peizhao Hu • Alan Kaminsky • Hans-Peter Bischof (grad coordinator) • Minseok Kwon (cluster head)
• For capstone projects, contact the faculty or check out the wiki page!
25
Courses
• CSCI 651 Foundations of Computer Networks
• CSCI 652 Distributed Systems • CSCI 654 Foundations of Parallel
Computing • CSCI 759 Pervasive and Mobile Systems • CSCI 799 Computer Science Graduate
Independent Study Distributed Systems Cluster
26
Research Projects • Prof. Mohan Kumar’s research areas
– Mobile and pervasive computing • Prof. Peizhao Hu’s research areas
– Mobile and pervasive computing including IoT and clouds – Privacy-preserving techniques for cloud computing – SDN, wireless mesh, and opportunistic networks
• Prof. Kwon’s research areas – Computer networks: routing, forwarding, connectivity – Distributed systems: file replication – BGP security
• Prof. Kaminsky’s research areas – Parallel computing – Computational science – Massively parallel algorithms for NP-hard problems
27
SECURITYCLUSTERALANKAMINSKY
SecurityClusterResearchTopics
• Secure network communication • Network intrusion detection • Secure outsourced computation • Cryptography • Secure databases • Secure software design and coding
29
SecurityClusterRelatedCourse
• CSCI622DataSecurityandPrivacy• CSCI642SecureCoding• CSCI651FoundationsofComputerNetworks(required)• CSCI662FoundationsofCryptography• CSCI729TopicsinDataManagement• CSCI734FoundationsofSecurityMeasurementandEvaluation• CSCI735FoundationsofIntelligentSecuritySystems• CSCI739TopicsinIntelligentSystems• CSCI759TopicsinSystems• CSCI762AdvancedCryptography• CSCI769TopicsinTheory
30
SecurityClusterFaculty
• Prof.PeizhaoHu– Interests:Techniquesforsecurecomputationoutsourcing;
homomorphicencryption;blockchain;smartcontracts• Prof.AlanKaminsky
– Interests:Design,cryptanalysis,andstatisticalanalysisofcryptographicalgorithms
– Recentproject:W.Smith,"StatisticalAnalysisoftheSHA-1andSHA-2HashFunctions”
• Prof.MinseokKwon– Interests:Secureroutingprotocols;BGPsecurity– Recentproject:"Real-timevalidationofBGProuteupdatesinsoftware
controlplanes• Prof.StanisławRadziszowski
– Interests:Digitalsignatures,cryptocurrencies– Recentthesis:L.Morris,"AnonymityAnalysisofCryptocurrencies
31
SecurityClusterFaculty-cont
• Prof. Hans-Peter Bischof • Prof. Chris Homan • Prof. Rajendra Raj • Prof. Leon Reznik • Prof. Warren Carithers
32
LanguagesandToolsCluster
• TheLanguagesandToolsclusterstudieslanguagedesignandimplementationtogetherwitharchitectureanduseofsoftwaredevelopmenttools.Studentsspecializinginthisclustercangainabroadunderstandingoftheoreticalandappliedknowledge.
• ProgrammingLanguageshelpusexpresscomputationsprecisely,inwaysthatwecanreasonaboutthem,whilestillkeepingthingsatahighlevel.
• ProgrammingLanguagesarethecommunicationmediumforcomputation.ProgrammingLanguagesinfluenceourwayofthinkingaboutcomputation
33
LANGUAGESANDTOOLSMATTHEWFLUET
LanguagesandToolsCluster
• TheLanguagesandToolsclusterstudieslanguagedesignandimplementationtogetherwitharchitectureanduseofsoftwaredevelopmenttools.Studentsspecializinginthisclustercangainabroadunderstandingoftheoreticalandappliedknowledge.
• ProgrammingLanguageshelpusexpresscomputationsprecisely,inwaysthatwecanreasonaboutthem,whilestillkeepingthingsatahighlevel.
• ProgrammingLanguagesarethecommunicationmediumforcomputation.ProgrammingLanguagesinfluenceourwayofthinkingaboutcomputation
35
LanguagesandToolsCluster:GeneralTopics
• Programmingstylesandparadigms(imperative,functional,object-oriented,logic,aspect-oriented,actor-oriented,...)
• Programming-languagedesign(whatthehumanreads/writes)
• Programming-languageimplementation(whatthemachineexecutes)
• Domain-specificlanguages(customPLs)• Software-developmenttools(programmerproductivity)
36
LanguagesandToolsCluster:Courses
• CSCI-641:AdvancedProgrammingSkills– Aspect-OrientedProgramming– FunctionalProgrammingandHaskell– DesignPatternsandC#/.Net– AdvancedC++– ...
• CSCI-740:ProgrammingLanguageTheory• CSCI-742:CompilerConstruction• CSCI-743:SoftwareDevelopmentTools• CSCI-749:TopicsinLanguagesandTools(Seminar)
LanguagesandToolsCluster:Faculty
• Prof.MatthewFluet• Prof.JamesHeliotis• Prof.HosseinHojjat• Prof.ArthurNunes-Harwitt• Prof.RajendraRaj• Prof.Hans-PeterBischof• Prof.FereydounKazemian
LanguagesandToolsCluster:Faculty
Prof.MatthewFluet– http://www.cs.rit.edu/~mtf;[email protected]:
• FunctionalProgramming• CompilerConstruction• ParallelismandConcurrencyProgramAnalysis• TypeSystems
ResearchGoals:Makeiteasytowriteprogramsthatrunfastandareguaranteedtobesafe.ResearchProjects:
• MLton:awhole-programoptimizingStandardMLcompiler• Type-andControl-FlowAnalysis:aprogramanalysisrefinedbytypes• Manticore:anefforttodesignandimplementaparallelfunctionalPL• TransactionalEvents:anovelconcurrencyabstraction
LanguagesandToolsCluster:Faculty
• Prof.JamesHeliotis– http://www.cs.rit.edu/~jeh;[email protected]:
• CSEducationNewtechniquesforintroductorycourses
• ProgrammingLanguagesandTools(developerproductivity)• ProgrammingLanguagesandTools(developerproductivity)
– Aspect-OrientedDesign/Programming– Newapproachestodistributed(client/server)softwaredevelopment– DesignByContract
• SimulationFrameworks
LanguagesandToolsCluster:Faculty
Prof.HosseinHojjat– http://www.cs.rit.edu/~hh;[email protected]:
• DependableSystems• FormalMethods• FormalVerification• SoftwareSynthesis• Software-DefinedNetworking
ResearchGoals:Creatingdependablesystemsthatyoucantrulyrelyon.ProjectsANewApproachtoFederatedNetworkSecurity(NSFaward)
LanguagesandToolsCluster:Faculty
Prof.ArthurNunes-Harwitt– http://www.cs.rit.edu/~anh;[email protected]:
• FunctionalProgramming• CompilerConstruction• Meta-programming• ComputerAlgebra• CSEducation
ResearchGoals:Makeiteasytoimplementlanguagesthatrunfastandareguaranteedtobecorrect.
LanguagesandToolsCluster:Faculty
Prof.RajendraRaj– http://www.cs.rit.edu/~rkr;[email protected]:
• criticalinfrastructureprotection• softwaredesign,architectureandreuse
LanguagesandToolsCluster:Faculty
• Prof.Hans-PeterBischof• http://www.cs.rit.edu/~hpb;[email protected]
ResearchAreaandInterests:• Visualization• languages
• Prof.FereydounKazemian– http://www.cs.rit.edu/~fxk;[email protected]– ResearchAreaandInterests:
• softwareengineering• userinterfaces• functionalprogramming
THEORYIVONABEZÁKOVÁ
Cluster:TheoryAbout:
• Studytheboundariesofcomputation:
• Whichproblemscanandwhichproblems(provably)cannotbecomputationallysolved?
• Howmanyresourcesdoweneedtosolvetheseproblems?(Time/spaceefficiency)
Courses:
• CSCI665 FoundationsofAlgorithms
• CSCI662 FoundationsofCryptography
• CSCI664 ComputationalComplexity
• CSCI740 ProgrammingLanguageTheory
• CSCI749 TopicsinLanguagesandTools
• CSCI761 TopicsinAdvancedAlgorithms
• CSCI762 AdvancedCryptography
• CSCI769 TopicsinTheory
Cluster:TheoryCoreFaculty:
IvonaBezáková([email protected])
(algorithms,usuallycounting/sampling,graphtheory)
EdithHemaspaandra([email protected])
(computationalsocialchoice,computationalcomplexity,complexityoflogics)
StanisławRadziszowski([email protected])
(combinatorialcomputing,Ramseytheory,extremalgraphtheory)
AffiliatedFaculty:
MatthewFluet([email protected]): programminglanguages/compilers
ChrisHoman([email protected]): computationalsocialnetworkanalysis
PeizhaoHu([email protected]): pervasivecomputing/cryptography
HadiHosseini([email protected]): artificialintelligence/multiagentsystems
CarlosRivero([email protected]): bigdata/graphtheory
Cluster:TheoryEdithHemaspaandra
- computationalsocialchoice
- computationalcomplexity
- complexityoflogics
Cluster:TheoryStanisławRadziszowski
- combinatorialcomputing
- Ramseytheory
- extremalgraphtheory
R(3,3)=6
(5nodes,noredorbluetriangle)
IvonaBezáková
- algorithms
- counting/sampling
- graphalgorithms
- Markovchains
http://www.sciencephoto.com/media/310285/view
Cluster:Theory
QuestionsComments
