جست‌وجوی استاد و پژوهشگر

• Software Engineering
• Model Checking
• Formal Verification
• +۴ مورد دیگر

Professor Tomoji Kishi is a distinguished faculty member at Waseda University's School of Creative Science and Engineering, where he has been serving since 2009. Previously, he held academic positions at Japan Advanced Institute of Science and Technology (2003-2009) following a 21-year career at NEC Corporation (1982-2003). He earned his Ph.D. in Information Science from Japan Advanced Institute of Science and Technology in 2002, building upon his earlier engineering graduate studies at Kyoto University. Professor Kishi's research focuses on software engineering, particularly in software product line development, model checking, formal verification, and aspect-oriented modeling. His work bridges theoretical formal methods with practical applications in embedded systems, automotive software, and IoT technologies. He has made significant contributions to scalability challenges in model checking for configurable systems and has pioneered approaches to variability management and approximate modeling techniques. His publication record demonstrates remarkable consistency and evolution, with 42 papers and 153 citations according to Scopus data (h-index: 7), spanning from foundational work in software architecture in the 1990s to cutting-edge research on AI-enhanced verification methods in 2025. His recent work shows increasing application of machine learning techniques to traditional formal methods problems, particularly in the context of highly configurable systems and IoT applications. ITS Standardization Activity Merit Prize (2022) from Society of Automotive Engineers of Japan IPSJ/ITSCJ Standardization Contribution Award (2017) IPSJ/ITSCJ Project Editor Award (2016 and 2013) Information Processing Society of Japan Society Activity Contribution Award (2010) IPA/SEC Journal Best Paper Award (2007) Information Processing Society of Japan Yamashita Memorial Research Award (1998) Professor Kishi has led multiple JSPS-funded research projects, including recent work on 'variability management methods prioritizing usability through variability mining' (2020-2023) and 'utility-first modeling method' (2017-2020). His industry collaborations, particularly with automotive systems developers, demonstrate the practical impact of his research. He maintains active membership in major professional societies including IEEE Computer Society, ACM, and the Information Processing Society of Japan.

Toby Murrayمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Secure Systems Engineering
• +۵ مورد دیگر

Toby Murray is a Professor in the School of Computing and Information Systems at the University of Melbourne, where he serves as Director of the Defence Science Institute and Co-Lead of the Computer Science Research Group. His work bridges formal methods, cybersecurity, and practical system security, with significant contributions to verified security and vulnerability detection. Murray's research focuses on building highly secure computing systems cost-effectively, with expertise in formal verification, information flow security, and vulnerability detection. His current research projects include Verisimilar (Verified, Secure Machine Learning), EDEFuzz (Detecting excessive data exposure in web applications), COVERN (Proving information flow security of concurrent programs), and Time Protection (Proving timing channel freedom for seL4). His work combines theoretical rigor with practical implementation, resulting in multiple open-source tools including SecC, Legion, and Underflow. Murray's recent publications demonstrate a consistent focus on verified security properties across diverse domains, from neural networks to concurrent systems. His work often bridges the gap between formal methods and practical security concerns, with increasing attention to machine learning security and policy implications of technical security measures. His publications span top venues in security, formal methods, and software engineering. Distinguished Paper Award at ICSE 2024 for EDEFuzz work on detecting excessive data exposure in web applications Extensive media commentary on cybersecurity issues including CrowdStrike outage analysis and social media regulation Regular contributions to The Conversation and Pursuit on cybersecurity policy matters Murray has advised numerous PhD students to completion, including Lianglu Pan (EDEFuzz), Zhiyuan Zhang, Mo Zhang, and Renlord Yang. He currently supervises multiple PhD students working on security verification, machine learning security, and web application security. His service includes being Program Chair for CSF'25, Associate Editor for IEEE Security & Privacy and ACM TOPS, and membership in IFIP's WG 1.7 and WG 2.3. His research group has developed multiple significant software tools including SecC (Verified Security for Concurrent C Programs), Legion (Principled Automatic Test Case Generation), and Underflow (Compositional Vulnerability Detection for C Programs), all available under open source licenses. Murray's work often involves discovering and reporting bugs in security analysis tools during his research, demonstrating the practical impact of his verification approaches.

Andy D. Pimentelمشاهده پروفایل

استاد

• Multi-core embedded systems
• System-level design, modeling and simulation
• Design space exploration
• +۷ مورد دیگر

Andy D. Pimentel is a Full Professor at the University of Amsterdam, where he chairs the Parallel Computing Systems (PCS) group within the Systems and Networking Lab at the Informatics Institute. His work focuses on the design, programming, and run-time management of multi-core and multi-processor computer systems, with particular attention to performance, power/energy consumption, system dependability, and design productivity. His academic background includes: PhD in Computer Science, 1998, University of Amsterdam MSc in Computer Science, 1993, University of Amsterdam Professor Pimentel's research spans multiple critical areas in modern computing systems. His primary interests include multi-core embedded systems, system-level design and simulation, design space exploration, performance and power analysis, system dependability, hardware/software co-design, run-time resource management, and Edge AI. His work addresses the growing challenges of making computer systems faster, more sustainable, energy efficient, reliable, and secure in an era of increasing computational demands and climate concerns. The PCS group he leads performs research on the modeling, analysis and optimization of extra-functional aspects of computing systems, which play a pivotal role in their work. An analysis of Professor Pimentel's recent publications reveals a strong focus on edge computing, distributed AI, and energy-efficient system design. His work bridges theoretical computer architecture with practical implementation challenges, particularly in the context of resource-constrained environments. Key trends include the adaptation of AI models for edge devices, thermal management in advanced architectures, and optimization of multi-core systems for both performance and energy efficiency. His research increasingly addresses sustainability concerns in computing, reflecting broader industry and academic priorities. His notable scientific achievements include: IEEE CEDA Outstanding Service Recognition Award DATE Fellow Award Professor Pimentel has served in numerous leadership roles in the academic community, including as General Chair of Design Automation and Test in Europe (DATE) 2024, Vice General Chair of IEEE/ACM Embedded Systems Week 2025, and General Chair of IEEE/ACM Embedded Systems Week 2026. He has secured significant research funding for projects related to sustainable computing, edge AI, and multi-core system design. His professional service includes board membership with the ICT Research Platform Nederland (IPN) since 2020 and leadership roles in major conferences such as DATE, Embedded Systems Week, and SAMOS. The Parallel Computing Systems group he chairs is a vibrant research team within the Systems and Networking Lab at the Informatics Institute. The PCS group focuses on the challenges of modern computing systems, particularly addressing the extra-functional aspects like performance, power consumption, and system dependability. Their work is highly relevant to current technological challenges in edge computing, sustainable systems design, and the integration of AI into resource-constrained environments.

Justus Kebschullمشاهده پروفایل

استادیار

• Neural Circuits
• Connectomics
• Cellular and Molecular Neuroscience
• +۱۲ مورد دیگر

Justus Kebschull is an Assistant Professor in the Department of Biomedical Engineering at Johns Hopkins University School of Medicine. His research bridges neuroscience, genomics, and molecular engineering to understand brain structure, evolution, and function across vertebrates. He is affiliated with the Biomedical Engineering Program and the Neuroscience Training Program, mentoring graduate students and leading a dynamic research lab. Research Interests: Dr. Kebschull's work focuses on neural circuits , connectomics , and molecular neuroscience , with a strong emphasis on evolutionary perspectives. He develops and applies cutting-edge technologies such as MAPseq, BRICseq, in situ sequencing, single-cell RNA-seq, and viral tracing to map brain connectivity and gene expression at single-cell resolution. His lab investigates how brain regions and cell types evolve, how circuits adapt to new functions, and how these principles are disrupted in neurodevelopmental disorders and addiction. Publication Trends: His recent publications highlight a strong focus on comparative connectomics , cerebellar evolution , and high-throughput neuroanatomical methods . His work integrates connectivity data with transcriptomic and functional activity profiles, enabling a systems-level understanding of brain organization. Key themes include circuit duplication in brain evolution, scalability of neural mapping, and cross-species analysis from mice to sharks. Scientific Recognition: While no specific awards are listed, his publication record in top-tier journals such as Science , Nature , Cell , and Neuron reflects significant scientific impact and recognition in the neuroscience community. Advising and Research Support: Dr. Kebschull actively mentors graduate students and postdoctoral researchers. His lab is expanding and currently recruiting PhD students, postdocs, and technicians. His research is supported by competitive funding, enabling the development of novel tools for brain mapping and disease modeling. Research Environment: The Kebschull Lab is a highly interdisciplinary team situated at the intersection of neuroscience, synthetic biology, virology, and computational biology. The lab fosters innovation in molecular tool development and applies these to fundamental questions in brain evolution and disease. Ongoing projects include high-throughput comparative connectomics, developmental mechanisms of circuit formation, and the impact of drugs and disorders on neural architecture.

• Wireless Communications
• Internet of Things (IoT)
• Edge Computing
• +۷ مورد دیگر

Zheng Chang is a Professor at the Institute of Computing Technology, School of Computer Science and Technology, University of Chinese Academy of Sciences in Beijing, China. With a PhD from the University of Jyväskylä (2013), Chang has established a prolific research career with over 240 publications spanning from 2011 to 2025. Chang maintains strong collaborative ties with researchers at the Chinese Academy of Sciences' Shenyang Institute of Automation and has developed significant international collaborations, particularly with Finnish researchers including Timo Hämäläinen. Chang's research focuses on cutting-edge areas at the intersection of wireless communications, artificial intelligence, and edge computing. Their work prominently features federated learning, UAV networks, resource allocation, and privacy-preserving techniques for IoT applications. Recent publications demonstrate a strong emphasis on vehicular edge intelligence, split learning architectures, and RIS-assisted communications. The research output shows consistent growth with 42 publications in 2024 alone, indicating an active and expanding research program. Chang's 15 most recent publications reveal a clear research trajectory toward addressing the challenges of resource-constrained edge environments through innovative learning architectures. The work spans theoretical frameworks for privacy preservation in federated learning to practical implementations for UAV networks and vehicular systems. A notable trend is the integration of AI-generated content techniques with traditional federated learning approaches to overcome data scarcity issues in edge environments. While specific awards aren't documented in the provided text, Chang's extensive publication record in top-tier IEEE journals including IEEE Transactions on Wireless Communications, IEEE Internet of Things Journal, and IEEE Transactions on Vehicular Technology demonstrates significant scholarly impact. The research has been widely cited, with multiple highly cited co-authors including Timo Hämäläinen (66 co-authored papers), Zhu Han (38 papers), and Geyong Min (31 papers). Chang's work shows strong practical applications across multiple domains including intelligent transportation systems, smart agriculture, healthcare IoT, and next-generation 6G networks. The research program appears well-funded through collaborations with major institutions and demonstrates clear translational potential for real-world deployment in edge computing environments.

• Biomedical Engineering
• Biomedical Signal Processing
• Entropy Analysis
• +۷ مورد دیگر

Georgios Manis is an Associate Professor in the Department of Computer Science and Engineering at the School of Engineering, University of Ioannina, Greece. He holds a PhD from the National Technical University of Athens and has been a faculty member at the University of Ioannina since 2002, progressing from Lecturer to Associate Professor in 2018. He has also served as temporary teaching staff at the University of Patras, University of Crete, and University of Ioannina in the late 1990s and early 2000s. Education: B.Sc. in Computer Engineering (Diploma), National Technical University of Athens (NTUA), 1987–1992 MSc in Advanced Methods in Computer Science (Distributed and Parallel Systems), Queen Mary, University of London, 1992–1993 PhD in Computer Engineering, NTUA, School of Electrical and Computer Engineering, 1993–1997 His research interests lie at the intersection of Biomedical Engineering and Computing Systems , with a strong emphasis on Biomedical Signal Processing , Entropy Analysis , and Machine Learning . He has pioneered work in Bubble Entropy —a parameter-free entropy measure—and developed fast algorithms for entropy computation. His work also extends to compiler design and parallel computing, particularly in the automatic parallelization of recursive functions and loops. The trends in his recent publications reflect a dual focus: (1) biomedical applications involving entropy, heart rate analysis, and disease diagnosis using machine learning (especially Random Forests and SVMs), and (2) high-performance computing, including parallelization techniques and compiler optimizations for multi-core and SVP architectures. His research is highly interdisciplinary, combining signal processing, algorithm design, and clinical applications. Scientific Leadership and Recognition: Guest Editor, Special Issue on “Entropy in Biomedical Engineering”, Entropy (MDPI) Member of the IPAN Laboratory, University of Ioannina Active contributor to IEEE, Elsevier, and MDPI journals He has supervised several graduate students and is involved in funded research projects such as Palimpsest and Homore , focusing on smart systems for cultural interaction and elderly monitoring. His advising contributions are evident in co-authored papers with students like Evanthia Tripoliti and Aristeidis Mastoras. He teaches both undergraduate and postgraduate courses, including Compilers I/II and Biomedical Data Analysis . Laboratories and Teams: He is a member of the IPAN lab at the University of Ioannina, which supports interdisciplinary research in informatics and biomedical applications. His collaborative network includes researchers from Greece and abroad, particularly in the fields of biomedical signal analysis and entropy-based methods.

Eugenio Miguel Isern Riutortمشاهده پروفایل

مدرس ارشد

• Microelectronics
• Integrated Circuit Testing
• Sensor Design
• +۵ مورد دیگر

Dr. Eugenio Miguel Isern Riutort serves as a Senior Lecturer in the Department of Electronic Technology within the School of Industrial Engineering and Construction at the University of the Balearic Islands (UIB). His academic profile shows active engagement across multiple degree programs including Automation and Industrial Electronic Engineering, Telematics Engineering, and the Master's Degree in Industrial Engineering, where he teaches core courses in Analogue Electronics, Electronic Instrumentation, and related subjects. Beginning his research career in January 1991 with a pre-doctoral scholarship from the Ministry of Education and Science at the Polytechnic University of Catalonia, Dr. Isern Riutort has established three primary research domains. His foundational work focuses on test and verification methodologies for integrated circuits, where he has developed techniques for fault detection through current consumption analysis (both static IDDQ and dynamic IDDT). This research has evolved to address challenges posed by technological parameter variations in modern microelectronics, leading to innovations in predictive testing, oscillation-based testing, and auto-tuning techniques. A second research stream involves designing radiation sensors using standard MOS integrated circuits, with recent work focusing on floating gate MOS transistors that produce outputs proportional to total ionizing dose. Most recently, he has been developing non-conventional computing methodologies accelerated in hardware to enable artificial intelligence applications for massive and highly complex problems. His publication record demonstrates consistent scholarly output across these domains, with particular emphasis on practical applications of theoretical concepts in microelectronics testing and sensor design. The articles reflect a progression from fundamental circuit testing techniques to specialized applications in radiation detection and, most recently, hardware acceleration for AI systems. His work bridges theoretical foundations with experimental validation, as evidenced by his focus on both fault modeling and sensor design with experimental measurements. Dr. Isern Riutort actively supervises Final Degree Projects and Master's Theses in Automation and Industrial Electronic Engineering while teaching across multiple programs. His teaching portfolio spans from foundational Analogue Electronics courses to advanced Electronic Instrumentation Systems, demonstrating comprehensive expertise across the electronics curriculum. He maintains a personal academic website (personal.uib.eu/eugeni.isern) and has established research profiles across major academic networks including ORCID, ResearcherID, Scopus, and Dialnet. As a member of the Electronic Engineering (GEE) Consolidated R+D+I Group at UIB, he participates in a collaborative research framework that supports his work in electronics and related technologies. His office is located in room F107 on the first floor of the Mateu Orfila i Rotger building (Physics building) at the university.

Jozef Gruskaمشاهده پروفایل

استاد

• Descriptional complexity of grammars and languages
• Systolic and cellular automata and systems
• Quantum information processing
• +۳ مورد دیگر

Jozef Gruska is a Professor at the Faculty of Informatics, Masaryk University in Brno, Czech Republic, where he has been a faculty member since 1997. A pioneer in computer science in Czechoslovakia, he has spent over six decades contributing to theoretical computer science, particularly in descriptional complexity, quantum information processing, and automata theory. His international career includes positions at the Slovak Academy of Sciences, University of Hamburg, and University of Minnesota. Gruska's research interests span multiple areas of theoretical computer science. He is considered one of the founders of research into descriptional complexity and systolic automata. His recent work has focused on quantum information processing, quantum automata, and entanglement. He has been instrumental in establishing quantum computing as a significant research area in Europe and Asia, particularly through the AQIS conference series. His perspective on informatics as a fundamental science that encompasses mathematics has been influential in shaping theoretical computer science in Central Europe. His research output shows a clear evolution from classical automata theory to quantum computing, with significant contributions in both areas. The publications demonstrate his ability to bridge theoretical computer science with physics, particularly in understanding quantum phenomena from an information processing perspective. His work on quantum entanglement as an information resource has been particularly influential in establishing connections between computer science and quantum physics. Computer Pioneer Award of the IEEE Computer Society (1996) IFIP Silver Core medal (1995) Gold medal of Masaryk University (1997) Main award of the Rector of Masaryk University (twice) Bolzano medal of Czech Academy of Sciences (2004) Elected member of Academia Europaea (2006) Gruska has been highly active in academic service, founding four major conference series (MFCS, SOFSEM, LATIN, AQIS) and serving on numerous program committees. He led significant research projects including Parallel and Distributed Computing (2005-2011) and Quantum Information Processing (2000-2008). As head of the Graduate School at Masaryk University, he supervised numerous PhD students. His international collaborations, particularly with Asian institutions, have been extensive, with 24 talks in India alone and multiple visits to Japan, Korea, and China. He has organized regular research activities throughout his career, including the weekly ALA (Algorithms, Languages and Automata) seminar for 35 years in Bratislava and Informatics colloquia at Masaryk University for 23 semesters. His leadership in establishing the Central European Quantum Information Processing workshop (annually since 2004) and MEMICS for PhD students (since 2005) demonstrates his commitment to fostering research communities.

David Hung-Chang Duمشاهده پروفایل

استاد

• Intelligent Storage Systems
• Sensor/Vehicular Networks
• Cyber Physical Systems
• +۵ مورد دیگر

David Hung-Chang Du is a Professor and Qwest Chair Professor in the Department of Computer Science and Engineering at the University of Minnesota, Twin Cities. He served as the Center Director of the NSF multi-university I/UCRC Center of Research in Intelligent Storage (CRIS) from 2009-2021, which was sponsored by 18 companies with $3.35M industrial membership funding. Prior to that, he organized an Intelligent Storage Consortium at Digital Technology Center with industrial funding from 2002-2009. He was also a Program Director at the National Science Foundation CISE/CNS Division from March 2006 to August 2008. Dr. Du received his B.S. degree in Mathematics from National Tsing-Hua University (Taiwan) in 1974 and M.S. and Ph.D. degrees from University of Washington (Seattle) in 1980 and 1981 respectively. He joined University of Minnesota as a faculty member in 1981 and has been there for over 40 years. He has also been a visiting professor in Germany, Korea, Singapore, Hong Kong and Taiwan. Dr. Du's research focuses on intelligent storage systems, sensor/vehicular networks, and cyber physical systems. His early career work included parallel processing and database design, followed by Computer-Aided Design for VLSI circuits in the 1980s and 1990s. From the late 1980s to present, he has worked on computer networking and its related applications including multimedia computing. Starting from 2000, his research has focused on new memory and storage technologies for handling extremely large volumes of available data and long-term data preservation. His current research focuses on hyper-converging infrastructure, recognizing that the Internet has become the largest existing computer system where data collection, storage, and networking must be integrated. His recent publications (2019-2022) demonstrate continued innovation across multiple domains including DNA storage technologies, hybrid storage systems, key-value store optimization, and edge computing. These works reflect his ability to adapt to emerging technological landscapes while maintaining focus on fundamental storage and systems challenges. The publications show strong industry collaboration, particularly with major technology companies like Facebook, where his team has characterized and optimized key database workloads. IEEE Fellow (since 1998) Fellow of the Minnesota Supercomputer Institute ACM Recognition of Service Award (2013) IEEE Certificate of Appreciation (2012, 2007) NSF Director's Award for Collaborative Integration (2008) Best Paper Award, International Conference on Internet of Vehicles (2015) Best Paper Award, International Conference on Computer Design (1998) Dr. Du has been highly active in professional service, serving as Editor of IEEE Transactions on Computers (1993-1998), member of several editorial boards, and holding leadership positions in numerous conferences including General Chair for IEEE Security and Privacy Symposium (2009), Program Committee Co-Chair for International Conference on Parallel Processing (2009), and General Chair for IEEE International Conference on Distributed Computing Systems (2010-2011). He has graduated 67 Ph.D. students (58 as single adviser and 9 jointly supervised) and 109 Master's students over his 40+ year career. His research has been supported by substantial grants from NSF, industry partners, and other funding sources totaling millions of dollars.

• Autonomous Underwater Vehicles
• Digital Signal Processing
• Embedded System Design
• +۵ مورد دیگر

Claudio Sansoe' is a Tenured Associate Professor at the Department of Electronics and Telecommunications (DET) , Politecnico di Torino . He teaches courses including Applied Electronics and Digital Electronic Design across Electronic, Computer Science, and Mechatronics Engineering programs. Research focus: Autonomous underwater vehicles, embedded systems, low-power electronics, and highly parallel architectures. Key contributions: Development of nanosatellite technologies, underwater control systems, and reconfigurable FPGA accelerators. His work aligns with ERC sectors like robotics, signal processing, and sustainable infrastructure (SDG 9). He leads student team PoliTOcean and has secured grants for optical network control, electromagnetic interference reduction, and rebreather systems.

• Highly Parallel Architectures
• Power Electronics
• Control Systems
• +۵ مورد دیگر

Francesco Gregoretti was a former faculty member at the Polytechnic of Turin , affiliated with the Department of Electronics and Telecommunications (DET) . He contributed to teaching and academic leadership, including roles as Course Owner for Applied Electronics in recent academic years (2019/20, 2020/21) and as a collaborator in Computer Engineering courses. His doctoral program involvement spanned Electronics and Communications Engineering cycles from 2003/2004 (19th cycle) to 2012/2013 (28th cycle) . Research interests focused on highly parallel architectures , DC-DC switch-mode power conversion , and heterogeneous computing platforms . He led research groups like CodeSimulink (automatic synthesis of analog circuits) and projects addressing high-performance software acceleration. Key projects include: ASPIDA (2002–2005) – Asynchronous open-source processor development Sviluppo di un ambiente di coprogettazione hardware/software basato su Simulink (2001–2003) – EU-funded Design of HW and SW Platforms for Sensor Networks (2007–2008) – Commercially funded Publications emphasize power electronics and parallel computing, with recent works (2021, 2020) on real-time monitoring and digital control frameworks. Earlier contributions (1993–1994) explored SIMD array processors for high-performance computing. No scientific awards are listed. However, he co-invented a patent ( Magnetic application in cancer research and therapeutic aid ) with Romano Borchiellini, Maurizio Bressan, Umberto Lucia, Bartolomeo Montrucchio, and Emilio Paolucci, reflecting interdisciplinary engagement. His academic narrative includes decades of project management and teaching, with a focus on merging theoretical research (parallel architectures) with applied engineering (power systems and sensor networks). The listed doctoral cycles and teaching roles highlight sustained contributions to academic training in electronics and telecommunications.

Krzysztof Spalikمشاهده پروفایل

استاد

• Phylogenetics
• Evolutionary Biology
• Plant Taxonomy
• +۳ مورد دیگر

Prof. Krzysztof Spalik is a distinguished academic serving as Dean of the Faculty of Biology at the University of Warsaw and Head of the Scientific Council of the Biological-Chemical Research Centre. He leads the Committee of Environmental and Evolutionary Biology at the Polish Academy of Sciences (PAS). His research focuses on phylogenetics, evolution, taxonomy, and biogeography of Apiaceae, with particular emphasis on economically important plants like carrots and medicinal genera such as Ferula and Thapsia. His current project investigates ecological factors shaping secondary woodiness in Apioideae. Spalik has held numerous leadership roles, including deputy head of the Committee for Evolutionary and Theoretical Biology PAS and membership in expert panels for the National Science Centre Poland. He is a recipient of the 2013 Academic Teacher of the Year award for his contributions to education in exact and natural sciences at UW. Spalik actively engages in educational research, collaborating with the Institute of Educational Research and serving on the Central Examination Board. His teaching portfolio includes Botany, Ecological Education, Evolutionism, and Taxonomy, reflecting his commitment to both research and pedagogy. His research has led to groundbreaking taxonomic revisions (e.g., Laserocarpum in Greece) and advancements in phylogenetic methodologies, such as the Fast mvSLOUCH tool for analyzing multivariate trait evolution. Spalik’s work bridges molecular systematics with ecological adaptation, addressing topics like dispersal mechanisms, drought resistance, and inflorescence evolution in Apiaceae. Over 50 peer-reviewed publications and active roles in international collaborations underscore his influence in plant evolutionary biology.

Christoforos Kachrisمشاهده پروفایل

استادیار

• Hardware Accelerators
• FPGAs
• Edge AI
• +۵ مورد دیگر

Christoforos Kachris is an Assistant Professor at the Department of Electrical and Electronics Engineering, University of West Attica since 2023. Previously, he co-founded and led InAccel, a startup pioneering FPGA deployment in the cloud, securing €500k in funding and winning awards like the Venture Impact Award (2021) and DeepBlue Cup (2019). He led EU projects such as VINEYARD (€6.3M, 2016–2018), the first to deploy FPGAs in cloud data centers. His research spans reconfigurable computing, hardware accelerators, cloud computing, and optical interconnects, with over 90 publications and 2,700+ citations. Education: Ph.D. (2007, Delft University of Technology), M.Sc. (2003, Technical University of Crete), and Diploma (2001, Technical University of Crete). His Ph.D. focused on FPGA-based network processing, with internship at Xilinx Research Labs, resulting in a US patent on configurable transactional memories. Research interests include machine learning on embedded systems, FPGAs, edge AI, reconfigurable computing, and optical interconnects. He has advised numerous students, many now in tech roles at Cisco, IBM, Ericsson, and startups. Notable contributions include a highly cited survey on optical interconnects in data centers and leadership in projects like VINEYARD and CloudAccel (Principal Investigator). Awards include Venture Impact Award and recognition in international hardware competitions.

Charlie Garrodمشاهده پروفایل

عضو هیئت علمی

• distributed database systems
• computer science education
• teaching assistant mentorship
• +۶ مورد دیگر

Charlie Garrod is an Associate Teaching Professor in the Software and Societal Systems Department within Carnegie Mellon University's School of Computer Science. His academic career focuses primarily on undergraduate computer science education and related areas such as teaching assistant and faculty mentorship. Institution: Carnegie Mellon University School: School of Computer Science Department: Software and Societal Systems Department Position: Associate Teaching Professor Dr. Garrod received his B.S. in Computer Science from Harvey Mudd College in 2001 and completed both his M.S. and Ph.D. in Computer Science at Carnegie Mellon University in 2006 and 2008, respectively. His educational background laid the foundation for his expertise in distributed database systems and software engineering education. His research interests center around computer data management systems, with particular emphasis on the performance, scalability, and power management of highly scalable distributed systems. As a teaching professor, his research program is intentionally focused on undergraduate and Master's student research projects rather than large-scale independent research. His work bridges theoretical computer science with practical applications in transportation information systems, mobile location services, and database scalability. Dr. Garrod's publication history reveals a strong trajectory in distributed systems and database technologies, with recent work shifting toward educational topics such as mentoring teaching assistants. His publications span prestigious venues including ACM Transactions on Algorithms, VLDB, ICDE, and SIGCHI, with his work on the Tiramisu transportation system earning a CHI 2011 Honorable Mention. His research demonstrates consistent contributions to database caching, query optimization, and consistency management for web applications. CHI 2011 Honorable Mention for 'Field Trial of Tiramisu: Crowd-Sourcing Bus Arrival Times to Spur Co-Design' As an educator, Dr. Garrod has mentored numerous students through formal courses and undergraduate research projects. He has developed and taught a wide range of courses including software design and engineering, algorithms and data structures, theoretical computer science, distributed systems, and databases. His teaching philosophy emphasizes practical application of theoretical concepts, with a focus on preparing students for real-world software engineering challenges. He has been actively involved in developing pedagogical approaches for computer science education, particularly in the mentorship of teaching assistants. Dr. Garrod maintains an active teaching schedule, currently instructing courses such as 15-210 Parallel and Sequential Data Structures and Algorithms, 17-480/17-780 API Design, and 07-070 Teaching Techniques for Computer Science. His extensive teaching portfolio demonstrates deep commitment to computer science education across multiple institutions and course levels.

Miron Kłosowskiمشاهده پروفایل

استادیار

• CMOS Image Sensor Design
• Analog-to-Digital Converters
• Field-Programmable Gate Arrays
• +۵ مورد دیگر

Dr. Miron Kłosowski serves as an Assistant Professor at the Department of Microelectronic Systems within the Faculty of Electronics Telecommunications and Informatics at Gdańsk University of Technology. His primary workplace is located in Building A of the Faculty, room 309, where he conducts research and teaching activities in microelectronic systems and image sensor technologies. Dr. Kłosowski obtained his "dr inż." (Doctor of Engineering) degree on January 23, 2001, in the field of Electronics (Technology) from the Faculty of Electronics Telecommunications and Informatics. His academic journey has focused on the intersection of analog circuit design and digital image processing. His research program centers on advanced microelectronic systems with particular emphasis on image sensors and analog-to-digital conversion architectures. Dr. Kłosowski's work bridges theoretical circuit design with practical applications in imaging technology through: CMOS image sensor architecture and optimization for reduced noise Innovative analog-to-digital converters with embedded processing capabilities Low-power circuit design techniques for sensor interfaces Digital correction methods for image sensor non-uniformities Field-programmable gate array implementations for real-time signal processing Massively parallel imaging array architectures Analysis of Dr. Kłosowski's publication record (2017-2024) reveals a consistent research trajectory toward more integrated, efficient solutions for digital pixel sensors. His most recent work demonstrates significant advancements in on-the-ramp processing techniques that enable simultaneous image acquisition and filtering. The research spans both theoretical circuit innovations and practical implementations with applications in biomedical imaging and general-purpose camera technology. His educational contributions include adapting hardware teaching methodologies to remote environments during the pandemic, as documented in his IEEE Transactions on Education publication. Dr. Kłosowski maintains an extensive teaching portfolio across multiple engineering disciplines, regularly instructing courses in programmable circuits, FPGA applications, and digital signal processing. His teaching responsibilities span undergraduate and graduate programs in Electronics and Telecommunications, Informatics, and Biomedical Engineering, with consistent course offerings through the 2024/25 academic year. He participates in research initiatives including the HAPADS project (Highly Accurate and Autonomous Programmable Platform for Providing Air Pollution Data Services to Drivers and Public), which is funded through Norwegian and EEA funds under the Applied Research Program. This project is realized through the Department of Microelectronic Systems under agreement NOR/POLNOR/HAPADS/0049/2019-00.