© 1989-2006 Joseph R. Kiniry
First created: 1992
5 Arbutus Place, Dublin 8, Republic of Ireland
School of Computer Science and Informatics, University College Dublin,
Belfield, Dublin 4, Republic of Ireland
kiniry@acm.org
Recruiters and headhunters are not permitted to archive this resume in any fashion.
I am a Computer Scientist and Mathematician. I perform research primarily in applied formal methods for software engineering, distributed object/component computing, and system and component specification. I also have research interests in system modeling, programming languages, compilers, networking, operating systems, graphics, simulation, artificial life, education, and ethics. I am a computer consultant, lecturer, and author, and have been an active member of the Open Source community for a decade. I have held high-level positions in academia and industry in system design, development, and integration. Finally, I am the co-founder of five software and consulting companies. More personal information is available on my academic web site.
Ph.D. Computer Science - California Institute of
Technology (2002)
PhD dissertation entitled Kind
Theory. Research in formal methods for knowledge reuse with an
emphasis on software engineering with reuse. Other work includes
research in object/component specification and theory, programming
languages, distributed systems, and systems modeling. Member of the
Compositional Computing Research Group under Professor K. Mani Chandy
and Professor Jason Hickey. Project manager and team leader with many
publications, software projects, and high community involvement.
M.S. Computer Science - California Institute of
Technology (1998)
Master's Thesis entitled The
Specification of Dynamic Distributed Component Systems. Research
in new constructs and entities for modeling distributed
component/object software systems.
M.S. Computer Science - University of Massachusetts
(1994)
Master's Thesis entitled DECS: A
Distributed Enterprising Computing System (DECS/OpenGL: A Generic
Distributed Graphics Library). Research in a new Distributed
Computing Model with Dr. Charles Weems and the use of a Standard
Computer Graphics API (OpenGL) to benchmark and test the implemented
system.
B.S. Computer Science with Honors - Florida State
University (1992)
Honor's Thesis entitled CUI3D: A
Three Dimensional Graphics Display for the CEBAF Project.
Research centered on Computer Graphics and Three Dimensional Object
and Data Representation with Dr. Greg Riccardi.
B.S. Mathematics - Florida State University
(1992)
Specialization work centered on Computational
Fluid Dynamics with Dr. David Kopriva at the Supercomputer
Computations Research Institute in Tallahassee, FL.
Leader of the KindSoftware research group, a part of the Systems Research Group. KindSoftware is dedicated to quality software through the use of formal methods, quality software technology, and wise use of modern software engineering principles.
Performed research in software verification (extended static checking and interactive), programming and specification language semantics, theorem prover interface design and formalization, and more. Responsible for: design and implementation of ESC/Java2 with David Cok (extended static checking-based verification for Java and JML); higher-order and first-order theorem prover design and implementation, design and implementation of ANSI Common Lisp port of the PVS theorem prover (with Cees-Bart Breunesse); design and implementation of Smart Card sniffing software; design, implementation, and verification of KOA (Internet voting) counting software for the Dutch government (used in European Elections beginning in June 2004).
Founder or co-founder of five companies, the three most recent of which are (in reverse chronological order):
I am a consultant and/or on the board of several other firms:
Involvement in a joint project between Loyola Law school and Caltech that investigated the collision between proprietary, closed corporations (read: Microsoft) and the world of Open Software. I and Linus Torvalds were the private and public expert witnesses, respectively, for the "Open" side. Additionally, I played "lawyer" as well, helping write legal briefs, performing direct examination of Linux during the trial, etc. I worked with an excellent law student from Loyola named Lena Smith, and we were jointly mentored by the legendary Don Baker, We drafted a series of briefs on the domain targeting legal professionals. We had a realistic simulated court battle at Caltech and the result of the trial and more can be found on the program web site. The briefs from the trial are being published in the Loyola of Los Angeles Law Review.
Taught classes, given tutorials, talks, etc. on countless topics to thousands of professionals and students. Details available on request.
Author/reviewer of dozens of articles, books, book chapters, etc. Details available on request.
Lead design and development of nearly all technology developed in the Infospheres Group at Caltech. Said work influenced many leading industry technologies such as Sun's Jini and ObjectSpace's Voyager.
Lecturer/TA for senior/graduate student courses: CS141 - Distributed Computing Laboratory and CS138 - Computer Algorithms. Research mentor and adviser to dozens of students over the years, both at Caltech and at UMass and in industry.
Appointed expert witness in an infringement court case. Issues under dispute focused on intellectual property in the form of algorithms, code, practices, and policies. Responsibilities would have included review of both parties products' design, methodology, and code to determine if, when, and how infringement might have occurred. Case was settled out of court.
Senior Consultant to Sprint's Internet Division; the project that provides nationwide Internet service. Overall technical consulting lead on entire project. Co-head architect for server farm, LAN and WAN network, R&D; and Operations infrastructures. Design leader on Back-Office (billing) systems. Assisted with design of Email, NetNews, Web, DNS, Backup, and Security services. Coordinated work between, and checked work of, Sprint personnel and dozens of contractors from Sun Integration, Paranet, NewLogic, Ernst & Young, and others. Assisted in staff hiring for R&D; and Operations groups, managing R&D; and Operations personnel, drafting of R&D; and Operational standards, and evaluation and purchasing of operational and development software. Project utilized the most advanced systems and networking technologies available today to provide a scalable, distributed, fault-tolerant service to millions of customers.
Member of the World Wide Web group of the Research Institute. Responsible for a variety of internal papers and reviews and contributions to a range of projects. Work included papers on the following topics: commercial and non-commercial web browser comparisons and evaluations, evaluation of new "safe" programming languages and environments, summary of current and developing standards relating to the world wide web, generic programming evaluation and comparisons (Java & Ilog Talk), initial Java research at the Research Institute (I introduced the OSF to Java), and various commercial and research grant proposals. Design and implementation work included: phase one of the Ariadne WWW Browser, the Group History Grapher Associate, Java port stress-tests and benchmarks, and miscellaneous contributions to almost all the other web projects implementations, including recent work on a Distributed Java proposal.
Lead system administrator and software engineer for the Open Software Foundation. Helped guide the site administrators in the maintenance and organization of the entire multi-site company. All company-wide technical decisions were either designed and implemented myself or with my assistance. Responsible for the full range of system administration and networking situations. Network is thin ethernet, FDDI, and category-5 wiring with a suite of advanced networking hardware. Workstation mix consisted of hundreds of machines from dozens of vendors. Considered local guru on all computer-related issues, especially in the UNIX domain.
Computer Science Department LAN and user support. Network is thin ethernet and FDDI with the following workstation mix: 300 DEC, 50 Sun, 10 SGI, 75 Macintosh, 10 PC. Responsibilities included standard system administration tasks, design and implementation of departmental file-system with multi-architecture support through the use of multiple file-servers, NFS, NIS, YP, and AMD, developing new software for system integration and support, dial-in and network support, writing system and user support documentation including departmental security and administration procedures and a variety of user-tutorials, and evaluation of new software and hardware. Considered local expert in security, computer graphics, and non-commercial software, especially GNU products.
Sole system administrator for departmental LAN consisting of 2 SGI Indigos, 1 HP 9000, 3 NeXTStation Turbos, 10 Macintosh, 30 PCs, and 3 LaserJet 4m printers connected using TCP/IP and Novell NetWare over ethernet (10-base-T). Responsibilities included software investigation and installation, custom software design and implementation, hardware and software diagnosis and repair, and miscellaneous trouble-shooting especially dealing with email, NetNews, web clients and servers, and telecommunication.
Sole systems manager for Institute. Required to set up and integrate new LAN to complement the existing one within a time frame of three weeks. Full LAN consisted of 3 SGIs, 1 DEC Alpha, 1 HP 9000, 7 NeXTStations, 50 Macintosh, 45 PCs, and 6 printers all connected together through TCP/IP and Novell NetWare over ethernet (10-base-T and thin). Responsible for system administration and user support on above network, fulfilling all technical needs of participants, instruction on mail and other software, distribution of custom tutorials and software, multimedia support, software and hardware trouble-shooting, purchasing management of Institute, coordination and interaction with local administrative staff, and breakdown of network after Institute completed.
Taught senior level course: Databases and Information Systems. Responsibilities included instruction in programming in the C and SQL languages as well as utilizing UNIX as a development environment.
Taught advanced computer course entitled Advanced System Programming with X-Windows.
One of four camp counselors responsible for the welfare of sixty high school sophomores and juniors as they attend college for the Summer.
Experience with IBM, Apple Macintosh, Zenith, Amiga, and NeXT computers.
Maintained local LAN consisting of 6 PCs and 4 printers.
Taught/tutored college students in full undergraduate degree sequence of mathematics courses.
Other positions include teaching in mathematics, computer science, and other hard science fields, desktop publishing, broadcast animation, author of published poetry, short-stories, and magazine articles, and artist of works in a variety of mediums.
Details on theses and other papers available.
References available upon request.
Recruiters and headhunters are not permitted to archive this
resume in any fashion.
|
© 1989-2006 Joseph R. Kiniry
|
Last modified: Sun May 30 12:49:24 CEST 2004