A bit about myself and about this blog I have written here. In this page, I have collected some more technical stuff.
I am a consultant and lecturer in various domains, especially those of design, architecture and C++. A major part of my time is dedicated for mentoring and lecturing in Experis SW Kickstart program. Before that, I was the director of the Fellows program in Israel Tech Challenge (a nonprofit organization, founded by the National Cyber Bureau and the Jewish Agency for Israel), in which top talented, outstanding engineers and scientists from leading universities around the world learn the domains of Data Science and Cyber Security and then intern in top Israeli companies. My experience in teaching has had started many years before that, when I was a lecturer and TA in various CS courses in Bar-Ilan University and Beit-Berl College.
My experience in the SW industry has started in the Technology Unit of the Israeli Intelligence, where I served as a Research and Development officer (released with the rank of Major). I was involved in the domains of Image Processing, Digital Video Processing in Real Time and offline, and development of various algorithms, mainly in the domain of Geography and Geodesy. I have written mainly in C and C++, on PC and other platforms. I had the honor to have my major project being part of a system that won the Israel Security Prize.
After that, I joined the communication industry, in a start-up called Jungo (that was later acquired by Cisco). There, I have worked on various communication protocols, such as NAT/NAPT, IPSec, RIP and more, on embedded platforms, using C on Linux. After a while, I helped founding the company’s support team, which managed all the technological interaction with customers and prospects, including helping building architectures for applications that run on top of the company’s product.
I have continued to the world of Real Time/Embedded systems in HP-Indigo, where I started in the RT/Embedded team and after that in the Infrastructures team. During that period, I got deeper into C++ and SW Engineering, took part in the development of new multidisciplinary systems and helped in the process of OS migration. Then, in FST-21, I applied my OOD experience in the Java world, and helped planning the architecture for the company’s VoIP systems.
Later, I joined Intucell (which was also acquired by Cisco…) that provides self optimization solutions for cellular networks, where I first met Python. I was a member of the infrastructure team and the architecture group, which designed and implemented the next generation of the system. Then I founded and managed the Simulation and Tools team, where we provided a Lab-on-a-PC that allows development and testing of the system without an actual cellular network.
A few years ago, I have founded with a few friends the startup Qliqa, which served as a network for social meta-data over existing Internet pages. As the founder and CEO, I managed the business side of the product and led its architecture. The company got lots of interest, mentioned as one of the promising startups in its domain, won a competition arranged by NewsGeek (today GeekTime) and was chosen to the Seedcamp program competition.
On the academic side, I have finished (Magna Cum Laude) my B.Sc. in Computer Science and Math in Bar-Ilan University, and have finished most of the duties towards M.Sc. in Computer Science there. My thesis research focuses fault detection and estimation in multi-agents system. This is a list of papers I have published:
Michael Lindner and Noa Agmon. Effective, Quantitative, Obscured Observation-Based Fault Detection in Multi-Agent Systems – Extended Abstract. In AAMAS ’14: Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems, 2014
Michael Lindner, Meir Kalech, and Gal A. Kaminka. A Representation for Coordination Fault Detection in Large-Scale Multi-Agent Systems. Annals of Math and Artificial Intelligence, 2009
Meir Kalech, Michael Lindner, and Gal A. Kaminka. Diagnosis of Coordination Faults: A Matrix-Based Formulation. In Proceedings of the International Workshop on Principles of Diagnosis (DX-2008), 2008
Meir Kalech, Michael Lindner, and Gal A. Kaminka. Matrix-Based Representation for Coordination Fault Detection: A Formal Approach. In Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-07), 2007
Michael Lindner, Meir Kalech, and Gal A. Kaminka. Detecting Coordination Failures by Observing Groups: A Formal Approach. In Proceedings of the IJCAI Workshop on Modeling Others from Observations (MOO-05), 2005