Back to Results
First PageMeta Content
Concurrent computing / Application programming interfaces / Message Passing Interface / Jack Dongarra / Model checking / Formal verification / Bill Gropp / Actor model / Computer cluster / Computing / Parallel computing / Computer programming


STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences 101 Smith Hall University of Delaware
Add to Reading List

Document Date: 2015-05-22 11:27:31


Open Document

File Size: 155,82 KB

Share Result on Facebook

City

San Francisco / Austin / Paris / Informatik / Salt Lake City / Portland / Detroit / Toronto / Bonn / St. Louis / Orlando / Barcelona / Boston / Banf / Berlin / Haifa / Nice / Chicago / Dagstuhl / /

Company

Argonne National Laboratory / Artificial Intelligence Laboratory / Message Passing Interface / S2 / Model Checking Software / Accurate Scientific Software / Algebra / ACM Press / Algebra Seminar / /

Country

France / Canada / Israel / Germany / United States / Columbia / Spain / /

Currency

USD / /

/

Event

FDA Phase / /

Facility

Northwestern University / University of Utah / Louisiana State University / Smith Hall University of Delaware Newark / Oxford University / The Fields Institute / University of Massachusetts / University of Massachusetts Amherst / Israel Institute of Technology / MPI library / University of Georgia / University of Virginia / Mentoring University of Delaware / Amherst College / University of Delaware / University of Delaware Research Foundation Grant / Smith College / Monte Carlo nuclear reactor / University of Chicago / College Fellow / University of Nebraska / Massachusetts Institute of Technology / /

/

IndustryTerm

software engineering / performance computing / scientific applications / scientific software / parallel scientific software / verification tools / finite groups / concurrent software / numerical/scientific software / scientific computing / siegel@udel.edu web / memory-efficient data redistribution algorithm / stabilizer / finite / /

Organization

Search Committee / University of Georgia / Athens / Graduate Program Committee / Fields Institute / Computing Infrastructure Committee / Program Committee / Delaware Research Foundation / University of Massachusetts Amherst / Massachusetts Institute of Technology / MADRE / Amherst College / office of Naval Research Graduate Fellowship / University of Virginia / University of Utah / American Mathematical Society / University of Chicago / STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences / University of Nebraska / School of Computing / Oxford University / Smith Hall University of Delaware Newark / University of Nebraska Lincoln / Graduate Recruitment Committee / Center for Computation and Technology / Department of Computer and Information Sciences / University of Massachusetts / National Science Foundation / Smith College / Northampton Center for the Arts / Northwestern University / Computer Lab / Miami Microcomputer Training Center / Department of Mathematics / Department of Energy / Laboratory for Advanced Software Engineering Research / Organizing committee / University of Delaware / Canadian Mathematical Society / Verified Software Lab. / Department of Computer Science / Louisiana State University / Undergraduate Committee / University of Delaware Research Foundation Grant / Software Engineering committee / Department of Mathematical Sciences / Technion / Israel Institute of Technology / /

Person

Beginner / STEPHEN F. SIEGEL / David Schmidt / Kyle G. Felker / Anastasia Mironova / Samuel Moelius / John Hankins / Sarah Witherspoon / Martin Leucker / Andreas Podelski / Mauro Pezz / Matthew B. Dwyer / Martin Schulz / London Math / Bronis R. De Supinski / Introduction / Andrew R. Siegel / James C. Corbett / Timothy McClory / Rajeev Thakur / Vassily Gorbounov / Andrey Rybalchenko / Ganesh Gopalakrishnan / John Maginnis / Greg Bronevetsky / Douglas M. Swany / Chung Yew / Matthew Dwyer / Michael Karpeles / Verification / Tahar Kechadi / Jack Dongarra / Jonathan Pakianathan / Benjamin Perry / Timothy K. Zirkel / Jan Westerholm / Cristian Rabiti / George S. Avrunin / Sarah J. Witherspoon / Lori A. Clarke / Recent Advances / Alex Stachnik / Sarvani Vakkalanka / Andrew Siegel / Krzysztof Szalewicz / Louis F. Rossi / Robert M. Kirby / Daniel Fix / Brandon Maas / Lubos Brim / Laurent Mounier / Andrew Chester / Martin Swany / William Gropp / Robert Deaton / Ewing Lusk / Keith Decker / Peter Symonds / /

/

Position

Publicity Chair / International Symposium / Advisor / Senior Software Engineer / Class tutor / Calculus / Senior Research Scientist / HPC Programming Team coach / Assistant / Associate Professor / teaching assistant / editor / Principal Investigator / Instructor / CS31 /

Product

SC07 / /

ProgrammingLanguage

Java / C / /

ProvinceOrState

Nebraska / Virginia / Maine / Michigan / Missouri / Utah / California / Georgia / Texas / Illinois / Northampton / Delaware / Florida / Massachusetts / /

PublishedMedium

Communications of the ACM / IEEE Transactions on Software Engineering / Lecture Notes in Computer Science / /

Technology

XML / Java / CAV / data redistribution algorithm / Virtual Machine / particle-based algorithms / /

URL

http /

SocialTag