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

Markus Jochimمشاهده پروفایل

پژوهشگر

• Dialectology
• Phonetics
• Tool Development for Phonetic Research
• +۳ مورد دیگر

Markus Jochim is a Researcher at the Institut für Phonetik und Sprachverarbeitung (IPS) of Ludwig-Maximilians-Universität München. His primary roles include serving as a Research Assistant on the 'Typology of vowel and consonant quantity in Southern German variety (DFG-DACH)' project and as a Software Developer/Architect for the 'Kommunikationswerkstatt PLUS (BMBF, Lehrerbildung@LMU)' initiative. His research focuses on dialectology, tool development for phonetic research, laboratory phonology, and software engineering, particularly in the context of speech databases and open-source contributions. Jochim holds a Dr. phil. degree and is deeply involved in the development of the EMU Speech Database Management System (EMU-SDMS), with open-source contributions hosted on GitHub. His work bridges theoretical phonetics and applied technology, emphasizing collaborative tools for linguistic research. His research areas include: Quantitative analysis of vowel/consonant length in German dialects Acoustic and perceptual studies of speech production Development of phonetic research software Analysis of language rhythm and phonological contrasts Jochim's recent publications explore topics such as hypoarticulation effects in Bavarian dialects, spectral cues in German varieties, and software tools for speech databases. His work reflects a commitment to advancing both theoretical understanding and practical applications in phonetics.

Kritagya Raj Upadhyayمشاهده پروفایل

استادیار

• Cybersecurity
• Blockchain and Smart Contracts
• Artificial Intelligence
• +۴ مورد دیگر

Dr. Kritagya Raj Upadhyay is an Assistant Professor in the Department of Computer Science at Middle Tennessee State University (MTSU). Specializing in Blockchain and Smart Contracts , Cybersecurity , Artificial Intelligence , Data Cooperatives , and Metaverse , his research focuses on developing architectures and algorithms that address uncertainty, trust, privacy, and security in emerging technologies. Research Interests: Blockchain for Trusted Artificial Intelligence Smart Contracts Security and Scalability Data Cooperatives for Privacy Protection Metaverse Threat Modeling Fuzzy Logic in Legal Contract Interpretation Recent Publications demonstrate expertise in blockchain applications, metaverse security, and AI integration across diverse domains. His work spans Smart Contract Vulnerability Detection , Legal Contract Automation , and Secure IoT Systems . Scientific Awards : MTSU Data Science Institute Seed Grant ($5,000) - 2024 Best Research Paper Award - IEEE TPS-ISA 2023 Outstanding Ph.D. Student Award - University of North Texas 2023 NSA Innovation Award - 2021 Dr. Upadhyay mentors graduate students like Samir Poudel (Second Best Poster Awardee 2023) and teaches courses including Blockchain and Smart Contracts , Secure Software Systems , and Computer Science I at MTSU.

• Computer Science
• Information Technology
• Marine Conservation Technology
• +۳ مورد دیگر

Jason Holdsworth is a Lecturer at James Cook University (JCU), specializing in Digital Technology and Computer Science. He holds a PhD in Computer Science from JCU, with earlier degrees including a BSc (Hons) and a double major BSc in Computer Science from the same institution. His research focuses on applying computer technology to real-world challenges, such as marine conservation through mobile apps and image classification systems for WWF, and improving abalone farming via image segmentation techniques. He is also engaged in educational technology, particularly enhancing adult learner engagement through digital methods. Holdsworth has been recognized with awards including the Advance Queensland Community Digital Champion (2017) and CSIRO STEM Professional (2017). He actively contributes to JCU’s Indigenous Australian Datathon Steering Committee and has advised students on topics like autonomous CNN architecture selection. His work spans healthcare technology (e.g., VR in hemodialysis), embedded systems (C++20 coroutines on microcontrollers), and collaborative learning tools (e.g., academagogy frameworks). Over 41 publications highlight his interdisciplinary research, including studies on asynchronous IoT programming, mobile application performance models, and collaborative emergency management systems. His work often bridges theory and practice, emphasizing sustainable tech solutions for education, healthcare, and environmental conservation.

• Supply Chain Management
• Information Technology
• Logistics
• +۲ مورد دیگر

Randy Bradley is a Professor at the Supply Chain Management Institute within the University of Tennessee. His research encompasses supply chain management, information technology integration, and logistics optimization, with applications in healthcare and automotive industries. His primary research interests include supply chain digital transformation, information governance frameworks, healthcare logistics efficiency, technology adoption in operations, and sustainable supply chain strategies. Bradley's recent publications demonstrate a focus on healthcare supply chains, open-source software ecosystems, and racial disparities in oncology. His work frequently combines empirical analysis with practical frameworks for operational improvement. He maintains active research collaborations and contributes to industry discussions through conference presentations and industry partnerships.

Goksel Misirliمشاهده پروفایل

مدرس ارشد

• Synthetic Biology
• Systems Biology
• Computational Design
• +۷ مورد دیگر

Goksel Misirli is a Senior Lecturer in Computing at the School of Computer Science and Mathematics, Keele University. He holds a PhD in Computing Science from Newcastle University (thesis: 'Data integration strategies for informing computational design in synthetic biology') and a BSc in Control and Computer Engineering. Previously, he worked as a postdoctoral researcher at Newcastle University and as a software engineer at companies like Ericsson. His research focuses on computational design paradigms for synthetic biology, leveraging semantic web technologies, ontologies, and data integration. Key areas include algorithm development, model-driven design automation, and standardization efforts like the Synthetic Biology Open Language (SBOL). He also explores cloud computing applications for distributed computational workflows. He is actively involved in SBOL standard communities and has contributed to versions 3.0 and later. His work emphasizes computational tools for biological system design, such as BioRxToolbox and libSBOLj3. Teaching includes courses on Cloud Computing, Web Technologies, and Communications and Networks. Misirli’s research spans synthetic biology, systems biology, and bioinformatics, with a focus on bridging computing and biological systems. His recent work includes advancements in genetic circuit design, microbiome analysis, and standardized data exchange frameworks.

Maria Luisa Sanchez Ferrerمشاهده پروفایل

استاد

• Obstetrics
• Gynecology
• Reproductive Health
• +۵ مورد دیگر

Maria Luisa Sanchez Ferrer is a Professor at the Faculty of Medicine, Universidad Miguel Hernández de Elche, affiliated with the Department of Surgery, Pediatrics, Obstetrics and Gynecology. Her research focuses on reproductive health, particularly pelvic floor disorders, polycystic ovary syndrome (PCOS), and gynecological pathologies. She leads the 'Gynecology, Obstetrics and Human Reproduction' research group. She earned her PhD in 2005 with a thesis titled Aportaciones al conocimiento de la embriología de la vagina , supervised by Dr. Pedro Acién Álvarez and Dr. Francisco José Sánchez del Campo. Her work spans clinical and experimental studies, including surgical techniques for pelvic organ prolapse, endometriosis, and environmental influences on pregnancy outcomes (e.g., the NELA cohort studies). Key research themes include maternal-fetal medicine, neonatal health, and innovative anatomical training methods using Thiel-embalmed cadavers. She has contributed to understanding polyamine roles in pregnancy, vitamin metabolism, and the microbiome of female reproductive tracts. Her publications emphasize interdisciplinary approaches, linking basic science to clinical practice. Notable projects include randomized trials comparing sacropexy vs. lateral suspension for prolapse repair, studies on caffeine's inverse association with PCOS, and investigations into bisphenol A's epigenetic effects during gestation.

Vladimir Milovanovićمشاهده پروفایل

دانشیار

• Electrical Engineering
• Computer Science
• Signal Processing
• +۷ مورد دیگر

Dr. Vladimir Milovanović is an Associate Professor at the Faculty of Engineering, University of Kragujevac, Serbia, holding a position as Chair of the Department of Electrical Engineering and Computer Sciences. His academic career is anchored in interdisciplinary research at the intersection of electrical engineering, computer science, and biomedical applications. His research focuses on hardware design, radar sensor systems, biomedical signal processing, and machine learning applications. Notable areas include CMOS circuit design, FPGA-based implementations, and parameterizable hardware generators for signal processing tasks. He also explores medical imaging analysis using deep learning techniques for conditions like disc hernia diagnosis. Recent work emphasizes radar technology (FMCW transceivers, signal processing architectures), embedded systems (FPGA development, IP core utilization), and high-performance streaming data algorithms. His publications span over two decades, demonstrating expertise in analog/digital circuit design, comparative classifier analysis in biomedical contexts, and hardware-software co-design methodologies. Dr. Milovanović collaborates with industry on energy-efficient MIMO arrays and semiconductor gas sensors. His contributions include open-source HDL models for digital signal processors and comparator circuits optimized for low-power and high-speed applications.

• Computer Science
• Electrical Engineering
• Computer Architecture
• +۳ مورد دیگر

Oliver M. Vojinović serves as an Assistant Professor in the Department of Electrical Engineering and Computing at the Faculty of Electronic Engineering, University of Niš. Appointed to his current academic rank in 2017 after serving as an assistant trainee since 2001, he maintains active roles in teaching and research within Serbia's academic framework. His educational foundation includes a Bachelor's degree (2000) and Master's degree (2008), both in Electrical Engineering and Computer Science from the Faculty of Electronic Engineering. These qualifications established his technical expertise in computing systems and electrical engineering disciplines. Dr. Vojinović's research spans Computer Science, Electrical Engineering, and Education Technology, with concentrated efforts in Computer Architecture simulation tools and optimized Signal Processing implementations. His work bridges theoretical computing concepts with practical engineering applications, particularly through development of educational simulation environments like SimArch for computer architecture instruction. Analysis of his publication history reveals consistent contributions to folded FIR filter architectures and computer science education methodologies. The trajectory shows evolving focus from hardware implementation (2002-2004) toward pedagogical applications of computing (2005-2007), demonstrating interdisciplinary integration of engineering principles with educational innovation. Currently engaged in one national and one international research project, he contributes to academic advancement through project-based learning initiatives and TEMPUS mobility programs. His institutional involvement includes participation in faculty quality assurance frameworks and continuous education programs at the University of Niš.

Csaba Zoltán KERTÉSZمشاهده پروفایل

مدرس

• Embedded Systems
• Microcontroller Applications
• Graphical User Interfaces
• +۷ مورد دیگر

Csaba Zoltán KERTÉSZ is a Lecturer at the Department of Electronic and Computers, Faculty of Electrical Engineering and Computer Science, Technical University of Brașov. His research focuses on embedded systems, microcontroller applications, graphical user interfaces, digital signal processing, and real-time operating systems. He has contributed to IoT/M2M communication, wireless sensor networks, and SDR platforms. He has also explored the use of GitHub in collaborative learning and automotive industry-supported curriculum design. Key research interests include: Embedded GUI development frameworks IoT gateway systems using SDR Real-time monitoring and control systems HbbTV architecture performance analysis His recent work (2021-2024) emphasizes: AI-driven programming assessment tools SIMD extension optimization Wireless sensor networks for water distribution Reconfigurable IoT infrastructure Publications span over 15 years, showing sustained contributions in embedded systems, telecommunications, and educational technology. No specific awards mentioned. Labs/Teams: Actively involved in the University's embedded systems and IoT research groups.

Michael Hankeمشاهده پروفایل

استاد

• Neuroimaging
• Data Management
• Computational Neuroscience
• +۲ مورد دیگر

Michael Hanke is Professor at the Institute of Neuroscience and Medicine at Research Center Jülich, leading research in Brain and Behavior (INM-7). His work focuses on neuroimaging, data management, and reproducible research methodologies in neuroscience. Research interests include neuroinformatics, open science initiatives, computational neuroscience, and developing tools for reproducible analysis of large-scale neuroimaging datasets. Specializes in creating infrastructures for FAIR data management. Recent publications focus on research data management (particularly DataLad ecosystem), neuroimaging workflow standardization, reproducible analysis pipelines, and applications in neuroimmunology. Work emphasizes open science practices and collaborative research infrastructure. Developed HeuDiConv for DICOM conversion and contributed to BIDS standards for neuroimaging data organization. Active in community initiatives including OHBM Brainhack and NFDI Neuroscience.

Michael John Deckerمشاهده پروفایل

استادیار

• Software Engineering
• Source Code Analysis
• Program Comprehension
• +۳ مورد دیگر

Michael John Decker is an Assistant Professor at Bowling Green State University specializing in software engineering research and education. He teaches courses including Software Architecture & Design, CS Capstone, and Advanced Software Engineering from his office in Hayes 242, with research deeply integrated into source code analysis and software evolution infrastructure development. His educational background includes a Ph.D. from Kent State University (2017) and a Master's degree from The University of Akron (2012), both in Computer Science. Decker's research centers on software engineering with emphasis on source code analysis, program comprehension, and software maintenance/evolution. He actively develops the srcML infrastructure for syntactic representation of source code and explores natural language processing applications for identifier analysis and documentation generation. His work bridges empirical studies of developer practices with tool development to enhance code understandability and maintenance efficiency. Analysis of his recent publications reveals consistent focus on syntactic differencing techniques, identifier semantics, and automated documentation systems. The research combines empirical validation with practical tooling, demonstrating strong trends in leveraging domain knowledge for code change comprehension and natural language integration in software artifacts. His scientific recognition includes: Most Influential Paper Award at SCAM'21 (2021) for 'Lightweight Transformation and Fact Extraction with the srcML Toolkit' Best Challenge Entry Award at DysDoc3 for 'Automatically Redocumenting Source Code' $750K NSF Grant for Syntactic Differencing Infrastructure development Decker actively secures research funding including the significant NSF grant and serves in leadership roles at major conferences (ICPC'23 Tool Track Co-Chair, ICPC'23 Session Chair). While specific student advisees aren't listed, his research involves extensive collaboration through labs and conference committees. He is a core researcher in the Software DeveloMent Laboratory (SDML) advancing srcML infrastructure and the Source Code Analysis and Natural Language Lab (SCANL) focusing on NLP applications for source code. Current projects include syntactic differencing enhancements and identifier analysis systems for improved software evolution support.

Sebastian Baltesمشاهده پروفایل

استاد

• Empirical Software Engineering
• Software Development Processes
• Tool and Process Improvement
• +۳ مورد دیگر

Sebastian Baltes is a Professor of Software Engineering at the University of Bayreuth, Germany, and an Adjunct Professor at the University of Adelaide, Australia. His research focuses on empirical studies of software developers' work habits, tool/process improvements, and bridging empirical research with industrial practice. He holds a PhD from the University of Trier and has industry experience at SAP and QAware. He teaches courses on Software Engineering, Advanced SE, and related topics across multiple universities, including University of Bayreuth, Trier, and Adelaide. His research emphasizes data-driven decision-making and has led to influential work on test flakiness, Stack Overflow code reuse, and developer demographics. His academic contributions span over 50 publications in venues like ICSE, FSE, and Empirical Software Engineering. He leads the Software Engineering Group at Bayreuth and actively contributes to the SE community through editorial roles and industry collaborations.

• Software Reliability
• Software Security
• Symbolic Execution
• +۶ مورد دیگر

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group. He holds an ERC Consolidator Grant and is an EPSRC Early-Career Fellow. His research focuses on enhancing software reliability and security through techniques like symbolic execution and dynamic analysis. Education: PhD in Computer Science (Stanford University), M.Eng. and B.S. in Computer Science and Mathematics (MIT). Research interests include software engineering, computer systems, and security, with a focus on practical tools for testing and verification. His work has led to advancements in symbolic execution, compiler testing, and dynamic software updates. Key publications span topics like KLEE, symbolic execution optimization, and compiler fuzzing. Awards include the BCS Roger Needham Award, Humboldt Research Award, and SIGOPS Hall of Fame recognition. He advises PhD students and postdocs, focusing on systems programming and compilers. His lab develops tools like KLEE and explores multi-version execution and greybox fuzzing.

Nata Stulovaمشاهده پروفایل

پژوهشگر

• Software Engineering
• Formal Methods
• Natural Language Processing
• +۳ مورد دیگر

Nata Stulova is a Researcher currently working as a staff research scientist at MacPaw's Technological R&D Center, focusing on software engineering research involving formal and informal program specifications. Formerly, she held academic roles including senior postdoctoral researcher at the University of Bern (SCG), researcher at EPFL's LARA Lab, and PhD work at the Technical University of Madrid (UPM). Her research spans software documentation consistency, NLP applications, runtime verification, and low-code tools. She has led multiple projects addressing code comment quality, empirical studies on documentation practices, and tool development for requirements engineering. Despite transitioning to industry in 2022, she maintains active collaboration with academia, publishing in top conferences like ICSE and IEEE Transactions. She holds a PhD in Computer Science from UPM and has authored numerous peer-reviewed articles and conference papers. Her work emphasizes bridging academic research with industry applications, particularly in software analysis and developer productivity. Education: PhD in Computer Science, Technical University of Madrid (2018) MSc in Artificial Intelligence, Technical University of Madrid (2013) BSc in Applied System Analysis, NTUU "KPI" (2012) Research Interests: Her work focuses on improving software quality through automated documentation tools, runtime verification techniques, and low-code solutions for requirements engineering. She explores NLP methods for detecting inconsistent or outdated comments and optimizing static analysis efficiency. Recent projects include SwiftEval (LLM-generated code evaluation) and RepliComment (cloned comment detection). She also emphasizes practical applications of formal methods in dynamic languages like Prolog and Python. Grants & Funding: ASA: Agile Software Assistance TRACES: Resource-Aware Software Tools N-GREENS: Energy-Efficient Software Labs/Teams: Core member of the Ciao system development team at IMDEA Software Institute, contributor to the Software Composition Group (SCG) at UniBe, and collaborator with MacPaw's TR&D team on industry-focused R&D.

• Programming Languages
• Formal Verification
• Software Engineering
• +۳ مورد دیگر

Prof. Ralf Jung is an Assistant Professor at ETH Zürich's Department of Computer Science, leading the Programming Language Foundations Lab under the Institute for Programming Languages and Systems. His work focuses on formal verification of programming languages, particularly Rust and Iris. Previously, he earned his PhD at Saarland University and MPI-SWS, advised by Derek Dreyer, followed by a postdoc at MIT CSAIL's PDOS group. Research Interests: Formal foundations of Rust, including tools like Miri for detecting undefined behavior and MiniRust for precise specification. Iris logical framework for modular verification of programming languages at scale. Concurrent and distributed systems verification using separation logic. Advising & Labs: He leads the Programming Language Foundations Lab and is hiring postdocs. His work integrates theoretical rigor with practical tooling for real-world language verification challenges. Labs/Teams: Programming Language Foundations Lab at ETH Zürich, collaborating with the Rust language team and global research community.