A recognized technologist, Karin held a tenured Computer Science Professor position at PUC-Rio.
Over her academic career she held joint industry projects with NASA, HP, IBM and Microsoft. Breitman served as vice president and chief scientist, she lead a team of data scientist researchers, oversaw a Solutions team, and the Executive Briefing Center.
She also serves as a cloud computing and Io T expert to the European Commission, and as an Io T expert to the Brazilian Ministry of Science, Technology and Innovation in what relates to national Io T policy formulation.
It seems difficult to believe that Web sites such as (debuted in November 2005) and (public access in 2006) have been around for barely a decade.
In 2015 Youtube had more than a billion users, who watched 4 billion videos per day and uploaded 300 hours of video per minute.
Her new book “Conversations in Semiotic Engineering” came out in June, by Springer Verlag.
Karin serves in the ACM Practitioners Board, PMI-RJ Board, France Brazil, Grupo Editorial Nacional Board, and Innov Action Board.
It describes the characteristics of hyper scale systems, and some of the core principles that are necessary to ensure hyper scalability.
These principles are illustrated by state of the art approaches and technologies that are used to engineering hyper scalable systems.
He also worked for three years at NICTA in Australia and is currently an adjunct faculty member at Carnegie Mellon University, where he teaches a course in Dev Ops.
Recent developments in hardware, cloud and software technologies gave birth to the era of Big Data.
Fredrik Nordvall-Forsberg Postdoc in the Mathematically Structured Programming group at Strathclyde University, UKTowards a Presentation of General Higher Inductive Types Host: Bob Harper PM, Gates-Hillman Center- 6501 Evan Chang Assistant Professor of Computer Science at the University of Colorado Boulder Fissile Type Analysis: Modular Checking of Almost Everywhere Invariants Host: Karl Crary PM, Gates-Hillman Center- 6501lp Technische Universitat Dresden - Computer Science Department Why Operating-System Developers Write Barbaric Code and How to Verify It None the Less. Gates-Hillman Center - 6501 Sebastian Erdweg - Post Doc Technische Universitaet Darmstadt - Software Technology Group Modular and Automated Type-Soundness Verification for Language Extensions Host: Christian Kastner - CMU/ISR PM, Gates-Hillman - 6501Rustan Leino - Principal Researcher Microsoft Research, Research in Software Engineering Induction, Co-induction, Calculations - What's Not to Like About Dafny?
Dev Ops is a collection of processes intended to reduce the time between a code commit and placing that code into normal production.
With the imminent explosion of the Internet of Things – up to 50 billion new devices are forecast by 2020- the scale of the systems we build to capture, analyze and exploit this ballooning data will continue to grow exponentially.