Taming the Internet of Things to Solve Global Challenges...

Life in Flow

Sagar Sen

Senior Research Scientist, Software Engineering, Simula Research Laboratory

Co-founder and VP of Product Development, Sweetzpot AS


PhD (Informatique), Institut National de Recherche en Informatique et en Automatique/Université de Rennes 1, France, 2010

M.Sc. (CS), McGill University, Montréal, Canada, 2006

B.E. (CSE), Bangalore University, India, 2003

Office Address: Room No. 339, Simula Research Laboratory, Martin Linges vei. 17, 1364, Fornebu

Postal Address: Simula Research Laboratory, PB 134, 1325 Lysaker, Norway

Phone: +47 452769367

Email: sagar@simula.no ; sagar@sweetzpot.com


Administrative manager:

Tom David Atkinson 

Phone: +47 932 12 854

Email: tomat@simula.no

Brief Biography

Sagar Sen is a Senior Research Scientist (2018-) and Research Scientist (2012-2018) at Simula Research Laboratory (SRL), Oslo within the Certus Centre SFI. He co-founded Sweetzpot AS in 2015 a startup that develops and sells sensors and real-time feedback apps for health and sports. He held a visiting position at the Cancer Registry of Norway in (2015-2016). In France, he was a postdoctoral fellow at Ecole des Mines, Nantes between September, 2011 and August 2012 with Team ATLANMOD on "Automatic Testing of Model Transformations". He also was a postdoctoral fellow at INRIA Sophia-Antipolis between June 2010- July 2011 within team PULSAR. He earned a PhD (2007-2010) from INRIA Rennes supervised by Jean-marc JezequelBenoit Baudry and co-supervised by Hans Vangheluwe from McGill University, Canada.  He graduated as a  Master of Science (2004-2006) from the School of Computer Science, McGill University, Montreal with the help of a Canadian Commonwealth Scholarship. Before this he obtained a Bachelors degree (1999-2003) in Computer Science and Engineering from Bangalore University, India. He worked as a research assistant at JNCASR (2003-2004) in Dr. Sundaram Balasubramanian’s lab. Here he built Beowulf clusters for molecular dynamics simulations and developed tools to visualize molecules (see my cover art on JPC-B). He has also been a freelance patent examiner for Global Prior Art Inc. (on and off since 2004). 

Areas of Research

Broadly speaking, my research is about improving the design of real-world software systems and validating them using a combination of theory, methodology and algorithms from model-driven engineering, lightweight formal methods, (nonlinear) time series analysis, combinatorial interaction testing, interactive visualization, graph databases, and artificial intelligence. The type of systems I have worked with are as follows:


Internet of Things (IoT) Systems: “Anything that can be connected, will be connected”. By 2025, it is estimated that more than 75 billion devices will be connected on the IoT generating colossal streams of time series data characterising the dynamics of complex real-world phenomena. I have been involved in design and validation of  IoT systems used for the breathing and sport of rowing. The robust design of wearable IoT systems is not easy given the highly uncertain environments they operate within. My research is both about modelling aspects of these systems, developing smarter algorithms to interpret multivariate and nonlinear time series data generated by these systems and about testing these systems in real-world conditions.


Socio-technical Systems: When technology and software systems can change peoples' behaviour then the boundaries of a system extends beyond the confines of computing infrastructure and becomes a socio-technical system. For instance, the software systems for cervical cancer prevention in Norway consists of data about every screening exam (cytology, HPV, CIN1, CIN2, CIN3 etc.), vaccination, and cancer case in Norway. This personal data is used to invite women in age group (25-69 years) to a screening exam and take action against cervical cancer. My work entails creating software interventions such as, FightHPV, in a socio-technical system and the visualization the paths people take in a socio-technical system using tools like Portinari


Data-intensive Systems: When relatively simple software systems manage colossal amounts of data, we are in the realm of data-intensive systems. For instance, the directorate of Norwegian Customs and Excise is based on TVINN, a data-intensive system where customs rules and regulations are stored in a database and also every custom declaration made in Norway. My research has been about modelling faulty interactions in data-intensive systems and discovering them at a very high speed using the tool Depict


Self-adaptive Systems: Self-adaptivity is the capability of the system to adjust its behaviour in response to the environment. For instance, a computer vision system is self-adaptive when it can change its vision components to better identify objects in a low-light setting. These systems exhibit a very high level of variability. My research in this field been about using combinatorial interaction testing to evaluate the performance of self-adaptive systems.


Model-driven Software Systems: Model-driven engineering (MDE)  focuses on creating/generating software systems from domain models. My research entails developing model-driven engineering tools to create domain models and develop model transformations to generate executable code. I have also worked with validating model transformations.


Research Group

Postdoctoral Fellows

Tomas Ruiz Lopez (2015-2018) Cancer Registry of Norway 

Graduate Students

Pooja More (Master of Science, April 2015- August 2017), University of Oslo

Anne Silje Løvehaugen (Master of Science, April 2017- August 2017), University of New Castle

Waqas Moazzam, University of Oslo (Master of Science, January 2014- June 2015)

Marek Machnik, University of Oslo (Master of Science, January 2014- June 2015)

Davlet Dzhakishev, University of Oslo (Master of Science, January 2013- Dec 2014)

Santiago Hurtado (Master of Science, July 2010-January 2011)

Interns

Manoel Ribeiro (2016-2017), Universidade Federal de Minas Gerais, Brazil

Yuanrui Li (Summer 2015), Oslo School of Architecture and Design, Norway 

Waqas Moazzam (Summer 2015), University of Oslo, Norway

Research Trainee
Arnab Sarkar (Research Trainee 2013 -2014), Simula Research Laboratory 

Team@Sweetzpot

Håvard Bjor (2015-), CEO

Trygve Laugstol  (2018-), CTO

Yuanrui Li  (2015-),  Chief of Design

Petter Nygaard  (2018-),  Business Developer

Mael Bordaas, (2016-2017), Marketing Intern

Christoph Vogl (2017-2018), Sports Tech Intern

Arne Laugstol (2015-2018), ex-CTO

Stener Hansen (2017-2018), Digital Marketing Lead

Mathilde Jean (2017-2018),  Android Developer

Heng Du (Fall 2016), Intern

Torjus Dahle (2016-2017), Intern

Tomas Ruiz Lopez (2015-2018) Senior Android and iOS Developer

Marcus Noack (2014-2016), Applied Mathematics & Physicist

Awards and Nominations

Sweetzpot- Finalist Best AI/Machine Learning Startup, Nordic Startup Awards 2018 

Sweetzpot- Winner in Wearable Category of Sports Tech World Cup - SMASH, Helsinki 2017

Sweetzpot- Finalist Best IoT Startup, Nordic Startup Awards 2017

Runner-up, Cancer Registry Researcher Grand Prix  2017

Voted Human papillomavirus Conference Best Poster Award 2017, Cape Town, South Africa

Winner in 4x+, Final B, World Coastal Rowing Championships, Thonon, France (we trained using the Sweetzpot Rowing App and the Oarzpot sensor)

3rd place, World Masters Regatta, 2016, Copenhagen, Denmark

2nd in French University Rowing Championships, 2009

Champion de Bretagne, Single Sculls, 2009

Quebec Graduate Award, McGill University, 2005

Dean's Honours List, McGill University, 2005

Canadian Commonwealth Fellow 2004, India

Publications

Books

1. Sagar Sen,  Automatic Effective Model Discovery: Towards Synthesis of Effective Software Artifacts,  2010

Refereed Journal Publications

15. Tomas Ruiz Lopez, Sagar Sen, Elisabeth Jakobsen, Amelie Trope, Philip Castle, Bo Tsering Hansen, Mari Nygård, FightHPV: Design and Evaluation of a Mobile Game to Raise HPV Awareness and Nudge People to Take Action against Cervical Cancer, Journal of Medical Internet Research, 2019 (To Appear)
14. Wagner, Stefan et. al. Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys, ACM Transactions on Software Engineering and Methodology, 2019 , ACM Transactions of Software Engineering, 2019
13. Giske Ursin, Sagar Sen, Jean-marie Mottu, Mari Nygård, Protecting privacy in large registry data  - adding a fuzzy factor​, Cancer Epidemiology, Biomarkers & Prevention, 2017 
12. Rafael Caballero, Sagar Sen, Jan F Nygård , Anticipating Anonymity in Screening Program Databases, International Journal of Medical Informatics, 2017 
11. Sagar Sen, Dusica Marijan, Carlo Ieva, Astrid Grime, Atle Sander, Modelling and Verifying Combinatorial Interactions to Test Data Intensive Systems: Experience at the Norwegian Customs and Excise Directorate, IEEE Trans. Reliability, 2017

10. D. Mendez Fernandez, S. Wagner, M. Kalinowski, M. Felderer, P. Mafra, A. Vetrò, T. Conte, M.-T. Christiansson, D. Greer, C. Lassenius, T. Männistö, M. Nayebi, M. Oivo, B. Penzenstadler, D. Pfahl, R. Prikladnicki, G. Ruhe, A. Schekelmann, S. Sen, R. Spinola, J.L. de la Vara, A. Tuzcu, R. Wieringa, Naming the Pain in Requirements Engineering: Contemporary Problems, Causes, and Effects in PracticeIn: Empirical Software Engineering Journal, 2016.

9. Stefano di Alesio, Sagar Sen, Using UML/MARTE to Support Performance Tuning and Stress Testing in Real-Time Systems, SoSyM 2016 
8. Rocha M. L., Sen S., Moisan S., Rigault J.P., Girgit: A Lightweight Framework for building Dynamically Adaptive Systems, SADIO Journal of Informatics and Operations Research, Vol. 11, No. 1 pp4-15, Editors Silvio Gonnet, Pablo Michelis (Invited Best Paper) (2012) 
7. Sen S., Moha N. Baudry B., Mahe V., Barais Olivier, and J.-M.Jezequel, Reusable Model Transformations SoSyM special issue on Model-driven Interoperability, 2012. 

6. Perrouin Gilles., Oster Sebastian. Sen S., Baudry Benoit,  and Le Traon Yves, Pairwise Testing for Software Product Lines: A Comparison of Two Approaches, Software Quality Journal 2011. 

5. N. Moha, Sen S., Faucher C., Barais O., and J.-M.Jezequel, Evaluation of Kermeta on Graph Transformation Problems, Journal of Software Tools and Technology Transfer, 2010 

4. Sen S., B. Baudry, Vangheluwe H.,  Towards Domain-specific Model Editors with Automatic Model Completion, Simulation : Transactions of the Modeling and Simulation Society, 2009 

3. Sen S.K., Sen S.,  Linear Systems: Relook, Concise Algorithms and Matlab Programs, Academic Studies - National Journal of Jyoti Research Academy, Vol. 1(1) 1-8, Feb 2007 

2. Sen S.K., Agarwal H., Sen S., Chemical Equation Balancing: An Integer Programming Approach, Mathematical and Computer Modeling, 44(7-8), October. pp 678-69, 2006 

1.  Sen S.K. and Sen S., O(n^3) g-inversion-free non-iterative near-consistent linear system solver for minimum-norm least-squares and nonnegative solutions, Journal of Computational Methods in Sciences and Engineering, 2005 

Refereed Proceedings and Lecture Notes

43. Dusica Marijan, Sagar Sen, DevOps Enhancement with Continuous Test Optimization, SEKE 2018, San Francisco, USA

42. Dusica Marijan, Sagar Sen, DevOps Improvements for Reduced Cycle Times with Integrated Test Optimizations for Continous Integrations, COMPSAC 2018, Tokyo, Japan

41. Michel Albonico, Stefano di Alesio, Jean-marie Mottu, Sagar Sen, Gerson Sunyé,  Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems, IEEE CLOUD 2017, Industry Track 

40. Dusica Marijan, Sagar Sen, Detecting and Reducing Redundancy in Software Testing for Highly Configurable Systems, HASE 2017

39. Sagar Sen, Manoel Horta Ribeiro, Raquel C. de Melo Minardi, Wagner Meira Jr., Mari Nygaard​, Portinari: A Data Exploration Tool to Personalize Cervical Cancer Screening, Proceedings of the International Conference on Software Engineering- Software and Society Track 2017, Buenos Aires, Argentina, https://arxiv.org/abs/1704.00172

38. Arnaud Gotlieb, Marine Louarn, Mari Nygard, Tomas Ruiz-López and Sagar Sen ,Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening, Twenty-Ninth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-17) in San Francisco, California, USA 2017

37. Waqas Moazzam, Michael Riegler, Sagar Sen, Mari Nygård: Scientific Hangman: Gamifying Scientific Evidence for General Public. GamifIR@ECIR 2015: 26-33

36. Marek Machnik, Michael Riegler, Sagar Sen: Crowdpinion: Motivating People to Share their Momentary Opinion. GamifIR@ECIR 2015: 44-51

35. Sagar Sen, Stefano Di Alesio, Dusica Marijan, Arnab SarkarEvaluating Reconfiguration Impact in Self-Adaptive Systems - An Approach Based on Combinatorial Interaction Testing. EUROMICRO-SEAA 2015: 250-254

34. Judith Bishop, Rakesh Shukla, Forrest Shull, Sagar Sen, 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015). ICSE (2) 2015: 1007-1008

33. Arnaud Gotlieb, Dusica Marijan, Sagar Sen, Towards More Relational Feature Models. ICSOFT-EA 2015: 381-386

32. Rakesh Shukla, Sagar Sen, Forrest Shull, Judith Bishop2nd IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, SER&IP 2015, Florence, Italy, May 17, 2015.

31. Jean-Marie Mottu, Sagar Sen, Juan José Cadavid, Benoit Baudry, Discovering model transformation pre-conditions using automatically generated test models. ISSRE 2015: 88-99

30.  Sen. S, Ieva C., Sarkar A., Sander A., Grime A.," Experience Report: Verifying Data Interaction Coverage to Improve Testing of Data-intensive Systems: The Norwegian Customs and Excise Case Study", ISSRE 2014, Naples, Italy

29. Sen S., Certus - Glimpses of a Centre for Research-based Innovation in Software Verification&Validation, SERIP 2014, ICSE 2014, INDIA

28. Dusica Marijan, Arnaud Gotlieb, Sagar Sen, "Test Case Prioritization for Continuous Regression Testing: An Industrial Case Study," ICSM, pp.540-543, 2013 IEEE International Conference on Software Maintenance (ICSM), 2013 

27.  Sen S., Jose Luis de la Vara, Arnaud Gotlieb, and Arnab Sarkar:, Modelling Data Interaction Requirements: A Position Paper, ModRE, Requirements Engineering 2013 

26. Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu: Practical pairwise testing for software product lines. SPLC 2013: 227-235

25. Nair S., Vara L.J., Sen S., A Review of Traceability Research at the Requirements Engineering Conference (RE@21), RE 2013

24. Sen S., Gottlieb A.,Testing a Data-intensive System with Generated Data Interactions: The Norwegian Customs and Excise Case Study, CAiSE 2013 

23. Mottu J-M, Sen S.,  Tisi M., Cabot J., Static Analysis of Model Transformations for Effective Test Generation, ISSRE 2012

22. Sen S., Mottu J-M, Tisi M., Cabot J., Using Models of Partial Knowledge to Test Model Transformations. ICMT 2012, 24-39 

21.  Hurtado Santiago, Sen S., Cassallas Rubby, Reusing Legacy Software in a Self-adaptive Middleware Framework, Adaptive and Reflective Middleware Workshop, Middleware 2011

20.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul, Towards Lightweight Dynamic Adaptation. A Framework and its Evaluation. , 12th Argentinian Symposium on Software Engineering,  2011

19.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul Girgit: A Dynamically Adaptive Vision System for Scene Understanding, International Conference on Vision Systems, Sophia-Antipolis, France 2011 (20% Acceptance Rate) 

18.  Rocha Leonardo, Sen S., Moisan Sabine, Rigault Jean-Paul, Girgit: A Framework for Component-based Dynamic Adaptation in Python, EuroSciPy 2011, Paris, France (Demo)

17. Kattepur Ajay, Sen S., Baudry B., Beneveniste A., Jard C. Pairwise Testing of Dynamic Composite Services. International Symposium on Software Engineering for Adaptive and Self-managing Systems,  (co-located with International Conference of Software Engineering 2011, Hawaii, USA)

16. Kattepur Ajay, Sen S., Baudry B., Beneveniste A., Jard C. Variability Modeling and QoS Analysis of Web Services Orchestrations, International Conference on Web Services 2010, Miami, Florida 

15.  G. Perrouin, Sen S., Klein J., Baudry B, Le Traon Yves, Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, ICST 2010, Paris, France 

14. Sen, S., N. Moha, B. Baudry, and J.-M.Jezequel, Meta-model Pruning. In Proceedings of  MoDeLs. 2009. Denver, Colorado. (Acceptance rate: 16%) 2009 

13. Sen, S., B. Baudry, and J.-M. Mottu. Automatic Model Generation Strategies for Model Transformation Testing. In Proceedings of  International Conference on Model Transformation. 2009. Zurich, Switzerland. 2009

12. Sen S., Baudry B., Mottu Jean-Marie. On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing. ICST'08  2008 

11. Sen S., Baudry B., Vangheluwe Hans, Domain Specific Model Editors with Model Completion, LNCS vol. on Models in Software Engineering,Workshops and Symposia at 

MoDELS 2007,Nashville, TN, USA, September 30 — October 5, 2007 (Best Paper) 2007 

10. Sen S., and Baudry B., Mutation-based Model Synthesis in Model Driven Engineering, Proc of IEEE ISSRE, Mutation Workshop. 2006 

9. Sen S., Baudry B. Partial Model Completion in Model Driven Engineering. In Proc. of International Conference of Applications of Declarative Programming 2007, Wurzburg, Germany. 2007

8. Sen S. and Vangheluwe H., Multi-Domain Physical System Modeling and Control Based on Meta-Modeling and Graph Rewriting, Proc. of the IEEE CACSD, pp 69-75, Munich, Germany, 2006 

7. Sen S., Concurrent Competitive Learning to find Cluster Centers Automatically, Proc. Of 48th International Congress of the ISTAM. 63-71, 2003 

6. Sen S.K., Sen S. A Shrinking-rectangle Randomized Algorithm with Interpolation for a Complex Zero of a Function, Proc. of 47th International Congress of the ISTAM. 72-80, 2002 

5. Sen S.K., Sen S. Linear Program Solver: Evolutionary Approach, Proc. of 46th International Congress of the ISTAM. 75-84, 2001.

4. Sen S., Nagarthnam S. Evolution of neural networks for Boolean function learning, 15th CSI student convention, PESIT, 2001 

3. Sen S.K., Sen S., Polytope-shrinking Algorithm for Linear Programming: Concise Form and Expository Review, Proc. of International Conference on Recent Advances in Mathematical Sciences (ICRAMS) pp. 320-326, 2000

2. Sen S.K., Sen S. Karmarkar Form of Linear Program and Algorithm: Precise Presentation, Proc. of 45th International Congress of the ISTAM. 88-96 , 2000 

1. Sen S.K., Sen S., A near-consistent linear system solver, Proc. 44th International Congress of Indian Society Of Theoretical and Applied Mechanics (ISTAM), 76-82 , 1999

Posters

6. Sagar Sen, Tomas Ruiz Lopez, Mari Nygård, FightHPV: A Game to Raise HPV Awareness and Nudge People to Take Action Against Cervical Cancer in Norway, HPV 2017

5. Adebola Adedimeiji, , Sharon Kapambwe, Sagar Sen, Mari Nygård, Using mobile games as an educational platform to promote human papillomavirus vaccination and improve sexual health in Zambian adolescents, HPV 2017

4. Manoel Ribeiro, Sagar Sen, Mari Nygård, Portinari: An Interactive Visualization Tool To Explore Alternative Patient Paths in Cervical Cancer Screening, HPV 2017

3. Sagar Sen, Manoel Ribeiro, Mari Nygård,  Portinari: Communicating Personalized Risk in Cervical Cancer Screening using Data. Proceedings of the American Association of Cancer Research on Improving Cancer Risk Prediction for Prevention and Early Detection – Poster Session B, November 2016

2. Sen. S, Waqas Moazzam Butt, Trude Andersson, Mari Nygård, Scientific Hangman to Gamify the Understanding of Cervical Cancer Screening Reminder Letters, Conference: 30th International Papillomavirus Conference & Clinical Workshop (HPV 2015), At Lisbon, Portugal

1. Sen. S., Baudry B., Cartier: A Tool For Automatic Model Discovery, MDD4DRES Summer School 2009 

Tutorials, Articles, Videos, Interesting Stuff

Winter Training Program for Novice Rowers (2019)

Rowing Programs for General Strength, Strength Endurance, Maximum Strength, Power, Core Strength 

Video of Respiratory FLOW vs. HR for Indoor Cycling (2019)

Video of Respiratory FLOW vs HR for Elliptical (2019)

Video of Respiratory FLOW vs HR for Indoor Rowing (2019)

Getting Started with HR and FLOW App (2019)

Video of voice coach teaching a client to use abdominal breathing (2018)

Video of voice coach showing right and wrong (2018)

Video of Bjørn Jostein Singstad's  (member of Norwegian National Rowing Federation) force curve using Oarzpot (2018)

Video of Steady State Rowing Force Curve with the Oarzpot sensor when Sagar is focused (2018)

Video of Steady State Rowing Force Curve with the Oarzpot sensor when Sagar is not focused (2018)

Ribcage Breathing Patterns in Biathlon Shooting (2018)

Video of the Two-piece Rowing Stroke (2018)

Video of Low-cost Diagnosis of Sleep Apnea with FLOW (2018)

Konno-Mead Plot Video of Nina Krogh's Vocal Warmup (2018)

Konno-Mead Plot Video of  Opera Singer Njål Sparbo's singing (2018)

Video of FLOW App shows breathing pattern as following a circle with Heart Rate Shown (2018)

Video of App to Lower Blood Pressure with FLOW (2018)

Video of Nina Krogh signing Misunderstood using FLOW around the abdomen (2017)

Video of Nina Krogh singing Hymne a l'amour using FLOW around the abdomen (2017)

Video of Nina Krogh singing La Femme Chocolat using FLOW around the abdomen (2017)

Video of breathing pattern measured using FLOW  during yoga (2017)

Installing and mounting Oarzpot for Rowing (2017)

Caving for beginners, The Outdoor Journal, India (2013)

Notes on Coastal Rowing: What, Why ,How? (2013) 

Catching Piranhas in the Amazon, Sen S. , The Outdoor Journal, India (2013)

OUEST FRANCE article on Environmental Alarm Flash Mob (2009)

OUEST FRANCE article on Rennes Photo Marathon (2009)

OUEST FRANCE article on “Sagar veut faire parle d’aviron en Inde" (2009)

OUEST FRANCE article on “Sagar Sen, champion de Bretagne d’endurance en aviron"(2009)

BHEEMA : Beowulf Cluster Construction Manual (2004)

X-Movie : Molecular Dynamics Visualization Tool Enhancement Notes (2003)